
Invited Talks at Conferences:
Copyright: If you download papers, please, respect the copyright of the publishers
indicated at the various papers. If no publisher is explicitly
mentioned, the copyright is with Bruno Buchberger.
If you download a paper, I would appreciate if you send an email
to buchberger@risc.unilinz.ac.at
with the title of the paper. If you use material from the papers,
please, cite them appropriately.
The files with extension .nb are Mathematica notebooks. For
reading them you need Mathematica installed, see
Wolfram
. For executing the formulae in the input cells in some of the
papers, in addition to Mathematica, you need our Theorema system,
see Theorema.
20140320A 
Innovative HR Management. B. Buchberger. March 20, 2014. Invited talk at LSZ Future of Work Congress, Stegersbach. [zip] [bib]


20140805A 
Soft Math / Math Soft. B. Buchberger. August 59, 2014. Invited talk at ICMS 2014 (4th International Congress on Mathematical Software), Seoul, Korea. [zip] [bib]


20140904A 
Software: From Basic Research to Startups. B. Buchberger. September 4, 2014. Invited talk at ASQT 2014, Klagenfurt, Austria. [zip] [bib]


20140702A 
The Future of Mathematics: A Personal View and Comments on Math Education. B. Buchberger. July 2, 2014. Invited talk at TIME 2014, Krems, Austria. [zip] [bib]


20140717A 
The Theorema Approach to Mathematics. B. Buchberger. July 17, 2014. Invited talk at PAS 2014, Vienna, Austria. [zip] [bib]



+ . x (Essentials of Groebner bases). B. Buchberger. Doctorate College "Scientific Computing", RISC, Johannes Kepler University, Campus Hagenberg, Austria, September 36, 2013. Invited talk at International Workshop on Gröbner Bases. [bib]


20130211A 
Artificial Unintelligence by Natural Intelligence: Case Study Mathematical Algorithm Synthesis. B. Buchberger. Innsbruck, Austria, February 1113, 2013. Invited talk at AIA 2013 (IASTED International Conference on Artificial Intelligence and Applications). [bib]


20130304B 
Gröbner Bases Theory and Applications: An Introduction. B. Buchberger. Khemarak University, Phnom Penh, Cambodia, March 46, 2013. Invited talk at The 2nd International Conference on Mathematics and Technology in Mathematics Education. [bib]



ITResearch, IT–Education: Purists and Populists. B. Buchberger. University of Applied Sciences, Hagenberg, Austria, June 1213, 2013. Invited talk at International IT Conference. [bib]


20130413A 
ITScience Based Economy: Case Study JKU Softwarepark in Austria. B. Buchberger. Islamic University of Gaza, April 1317, 2013. Invited talk at PICICT 2013 (Palestinian International Conference on Information and Communication Technology). [bib]



Mathematics of 21st Century: A Personal View. B. Buchberger. RISC, Johannes Kepler University, Campus Hagenberg, Austria, July 56, 2013. Invited talk at Conference on Symbolic Computation for Software Science (SCSS 2013). [bib]


20130304A 
The Role of Mathematical Thinking for 21st Century Society. B. Buchberger. Khemarak University, Phnom Penh, Cambodia, March 46, 2013. Invited talk at The 2nd International Conference on Mathematics and Technology in Mathematics Education. [bib]


20130304C 
The WhiteBox / BlackBox Principle for Teaching Math Using "Technology". B. Buchberger. Khemarak University, Phnom Penh, Cambodia, March 46, 2013. Invited talk at The 2nd International Conference on Mathematics and Technology in Mathematics Education. [bib]


20121216A 
Can Mathematical Invention be Automated?. B. Buchberger. Bangkok, Thailand, December 16, 2012. Invited talk at ATCM 2012 (Asian Technology Conference in Mathematics). [bib]


20120710A 
Mate is Meta. B. Buchberger. RISC, Johannes Kepler University, Castle of Hagenberg, July 10, 2012. Invited talk at School on Integration, Summation, and Special Functions in Quantum Field Theory. [bib]


20120712A 
Mathematics is Blind. B. Buchberger. Johannes Kepler University, Institute FAW, July 12, 2012. Invited talk at International Conference on "Computers Helping People". [bib]


20120127A 
Symbolic Computation at RISC. B. Buchberger. Institute AIST, Tokyo, January 27, 2012. Invited talk at International Conference on 10 Years of CBRC (Computational Biology Research Center). [bib]


20110714A 
New Math Methods: Symbolic Computation. B. Buchberger. Research Institute for Symbolic Computation, Hagenberg, Austria, July 14, 2011. Invited talk at Internatinal Conference on "Software Applications in Tunnel Engineering". [bib]


20100723A 
Algorithm Synthesis by Lazy Thinking: Case Study Groebner Bases. B. Buchberger. RISC, Hagenberg, Austria, July 2325, 2010. Invited talk at LOPSTR 2010 (20th International Symposium on LogicBased Program Synthesis and Transformation). [bib]


20100629A 
Can Invention in Mathematics (Computer Science) be Automated ?. B. Buchberger. Bolyai Institute, Szeged, Hungary, June 29, 2010. Invited talk at PhD Presentation Conference. [nb] [bib]


20101105A 
From Euclid to Mayr. B. Buchberger. Technical University of Munich, Germany, November 5, 2010. Invited talk at Laudatio at the Academic Ceremony on the Occasion of E. W. Mayr's 60th Birthday. [bib]


20101015A 
Guenther Haring: Ein Leben fuer die oesterreichische Mathematik. B. Buchberger. University of Vienna, October 15, 2010. Invited talk at Workshop at the Occasion of Professor G. Haring's Retirement. [bib]


20100830A 
How Can Algorithms be Invented Automatically?. B. Buchberger. Graz, Austria, August 30  September 1, 2010. Invited talk at AEIECS (Conference of the Academia Europaea, Sections Informatics and Earth and Cosmic Science). [bib]


20090511A 
A New Symbolic Method for Linear Boundary Value Problems Using Groebner Bases. B. Buchberger. Beijing, May 11, 2009. Invited talk at Conference on the Occasion of Professor Wu's 90th Birthday. [bib]


20090612A 
How to Replace Senior Mathematicians by Machines. B. Buchberger. University of Barcelona, Mathematical Institute, June 12, 2009. Invited talk at Conference on the Occasion of Professor Lorenzo Robbiano's 65th Birthday. [bib]


20090629A 
Lazy Thinking: An Approach to Systematic Mathematical Theory Exploration. B. Buchberger. RISC, Johannes Kepler University, Hagenberg, Austria, June 29, 2009. Invited talk at Conference AUTOMATHEO. [bib]


20090712A 
Mathematical Invention: How Much Can be Automated?. B. Buchberger. RISC, Johannes Kepler University, Hagenberg, Austria, July 12, 2009. Invited talk at Conference CADGME 2009 (Computer Algebra and Dynamic Geometry in Mathematical Education). [bib]


20090615A 
Stephen Wolfram: A New Kind of Scientist. B. Buchberger. Technical University, Munich, Germany, June 15, 2009. Invited talk at Laudatio for Stephen Wolfram at the Occasion of Obtaining the F.L. Bauer Award. [bib]


20090910A 
Symbolic Computation: Automation on the Object and the Meta Level. B. Buchberger. Upper Austrian University of Applied Sciences, Linz, September 10, 2009. Invited talk at IEEE Conference LINDI 09 (Logostic und Industriell Informatics). [bib]


20090617A 
The Spiral of Automation. B. Buchberger. Vienna, Austria, June 17, 2009. Invited talk at Conference 40 Years of Austrian Society of Data Processing. [bib]


20080727A 
Automated Algorithm Synthesis in Theorema.. B. Buchberger. RISC, Johannes Kepler University, Hagenberg, July 2730, 2008. Invited talk at Conferences ACA (Applied Computer Algebra) 2008, Workshop Symbolic Computation and Deduction in System Design and Verification. [bib]


20080418A 
Automated Algorithm Synthesis: Implementation in Theorema. B. Buchberger. Graduate School of Informatics, Kyoto, April 1819, 2008. Invited talk at AustriaJapan Workshop on Symbolic Computation and Software Verification. [bib]


20080330A 
Functors in Theorema. B. Buchberger. Budapest, Hungary, March 30, 2008. Invited talk at ACCAT (Workshop Applied and Computational Category Theory) at ETAPS (European Joint Conferences on Theory and Practice of Software). [bib]


20080428A 
Groebner Bases in Theorema Using Functors. B. Buchberger. Beihang University, Beijing, China, April 2830, 2008. Invited talk at Conference on Symbolic Computation and Cryptography. [bib]


20070606A 
Algorithm Synthesis by Lazy Thinking. B. Buchberger. BabesBolyai University, ClujNapoca, Romania, June 68, 2007. Invited talk at Conference on Knowledge Engineering: Principles and Techniques. [bib]


20070619A 
Algorithm Synthesis by Lazy Thinking. B. Buchberger. University of Pecs, Hungary, June 1923, 2007. Invited talk at CADGME (Computer Algebra and Dynamic Geometry in Math Education). [bib]


20070430A 
Introduction to Groebner Bases. B. Buchberger. Samos, Greece, April 30  May 4, 2007. Invited talk at Workshop on Emerging Topics in Cryptographic Design and Cryptoanalysis. [bib]


20070331A 
The Role of Proving and Programming for Math Education. B. Buchberger. Sultan Qabos University, Oman, March 31April 2, 2007. Invited talk at Conference on Learning Technologies and Mathematics. [bib]


20060306A 
Automated Synthesis of a Gröbner Bases Algorithm. B. Buchberger. RICAM  RISC, Linz, Austria, March 6, 2006. Talk at Workshop "Formal Gröbner Bases Theory". [pdf] [bib]


20060626A 
Formal Mathematics: A Key to the Future. B. Buchberger. June 2630, 2006. Invited talk at "Engineering and Life Sciences", Avignon, France. [nb] [pdf] [bib]


20060817A 
Mathematical Theory Exploration. B. Buchberger. August 1720, 2006. Invited talk at IJCAR, Seattle, USA. [pdf] [nb] [bib]


20060926A 
Mathematical Theory Exploration: Case Study Groebner Bases. B. Buchberger. September 2629, 2006. Invited talk at SYNASC 2006, Timisoara. [nb] [pdf] [bib]


20060109A 
Symbolic Computation: SelfApplication of Algorithmic Mathematics. B. Buchberger. CastroUrdiales, Spain, January, 9, 2006. Invited talk at MAP 2006 (Mathematics, Algorithms, Proofs). [nb] [pdf] [bib]


20060424A 
Symbolic Computation: Some Thoughts about the Future. B. Buchberger. April 2428, 2006. Invited talk at LL2006 (Loops and Legs in Quantum Physics), Eisenach, Germany. [pdf] [nb] [bib]


20060306B 
The Objectives of Formal Mathematics and the Workshop on Formal Gr�bner Bases Theory. B. Buchberger. RICAM, RISC, March 6, 2006. Invited talk at Workshop "Formal Gr�bner Bases Theory". [pdf] [nb] [bib]


20050709A 
A Historic Introduction to Gröbner Bases. B. Buchberger. IASBS (Institute for Advanced Studies in Basic Sciences), Zanjan, Iran, July, 7, 2005. Invited talk at School on Gröbner Bases and Applications. [nb] [pdf] [bib]


20050725A 
A View on the Future of Symbolic Computation. Bruno Buchberger. July 2527, 2005. Invited talk at ISSAC 2005 (International Symposium on Symbolic and Algebraic Computation), Bejing. [bib]


20050516B 
Algorithmic Algorithm Invention in the Theorema Project. Bruno Buchberger. University of Vaasa, Finland, May 1618, 2005. Invited talk at Conference on Algorithms and Information Theory. [bib]


20050517B 
Algorithmic Algorithm Invention in the Theorema Project. B. Buchberger. May, 17, 2005. Invited talk at AIT (Algorithmic Information Theory), Vaasa, Finland. [nb] [pdf] [bib]


20050312A 
Algorithmic Algorithm Synthesis: Case Study Gröbner Bases. B. Buchberger. March 12, 2005. Invited talk at University of Ohio, Ashland, USA. [pdf] [nb] [bib]


20050303A 
Das Projekt "Austrian ITPark in Timisoara" (Westrum�nien). B. Buchberger. March, 3, 2005. Invited talk at CATT, Linz. [ppt] [bib]


20050803A 
Formal Mathematical Theory Exploration in Theorema. B. Buchberger. University of Munich, August, 36, 2005. Invited talk at Summer School on Theoretical Computer Science, Marktoberdorf. [zip] [bib]


20050709B 
From Gröbner Bases to Automated Theorem Proving and Back. B. Buchberger. IASBS (Institute for Advanced Studies in Basic Sciences) , Zanjan, Iran, July, 10, 2005. Invited talk at School on Gröbner Bases and Applications. [pdf] [nb] [bib]


20050516A 
Introduction to Gröbner Bases. Bruno Buchberger. University of Vaasa, Finland, May 1618, 2005. Invited talk at Introduction to Gröbner Bases. [pdf] [nb] [bib]


20050926A 
Lazy Thinking: A New Method for Algorithm Synthesis. B. Buchberger. September, 25, 2005. Invited talk at Algebraic and Numerical Algorithms and Computerassisted Proofs, Schloss Dagstuhl, Wadern, Germany. [nb] [pdf] [bib]


20050512A 
Mathematik: Die Kunst des effektiven Handelns. B. Buchberger. May 12, 2005. Invited talk at MathSpace, Wien. [nb] [pdf] [bib]


20050522A 
Symbolic Computation: Current Trends. B. Buchberger. Research Institute DESY, Zeuthen (Berlin), Germany, May 26, 2005. Invited talk at ACAT05 (Algorithmic Information Theory). [pdf] [nb] [bib]


20050315A 
Theorema: A System for Formal Mathematics. B. Buchberger. March 15, 2005. Invited talk at North Carolina State University, Dept of Computer Science. [pdf] [nb] [bib]


20040903A 
A Formal Knowledge Base for Groebner Bases Theory. B. Buchberger. September 14, 2004. Invited talk at Annual Conference of the Japanese Society for Symbolic and Algebraic Computation (JSSAC), Atsugi, Japan. [nb] [bib]


20041124A 
Algorithmic Invention of Algorithms: Case Study Groebner Bases. B. Buchberger. November 2426, 2004. Invited talk at Symposium Polynomial Systems Solving, University Paris VI. [bib]


20040126A 
ComputerSupported Mathematical Theory Exploration: A Shift of Paradigm in Mathematical Software. B. Buchberger. January 2628, 2004. Invited talk at Mathematica Gulf Conference 2004, Sultan Qaboos University, Department of Mathematics and Statistics, organized by M. Rakha and M. Ben Rouma. [nb] [bib]


20040430A 
How I Managed to Automate Myself. B. Buchberger. April 30, 2004. Invited talk at Conference "The Future of Scientific Computing", The City College of New York. (Organizer: G. Baumslag). [bib]


20041101A 
Proving by First and Intermediate Principles. B. Buchberger. November 12, 2004. Invited talk at Workshop on Types for "Mathematics / Libraries of Formal Mathematics", University of Nijmegen, The Netherlands. [pdf] [bib]


20040525A 
The Algorithmic Invention of a Groebner Basis Algorithm. B. Buchberger. May 2526, 2004. Invited talk at Computer Algebra Workshop at Joint Institute for Nuclear Research (Dedicated to the Memory of G. Mescsheriakov), Dubna (Moscow), organized by V. Gerdt. [pdf] [ps] [nb] [bib]


20041021A 
The Theorema Project: An Overview. B. Buchberger. October 21, 2004. Invited talk at Workshop "Verification and Rewriting", Institute AIST, Amagasaki. [bib]


20040420A 
Was Sie nie ueber IT wissen wollten (What You Never Wanted to Know About IT). B. Buchberger. April 20, 2004. Invited talk at ITCOM 2004 Conference, Schloss Hagenberg, Austria, (Organizer: Bruno Bischinger). [bib]


20031001B 
Algorithm Invention and Verification by Lazy Thinking. B. Buchberger. October 14, 2003. Invited talk at Proceedings of SYNASC 2003, 5th International Workshop on Symbolic and Numeric Algorithms for Scientific Computing Timisoara, Romania, Mirton Publisher, pp. 226, ISBN: 9736611043. [nb] [bib]


20030224A 
Automated Proving, Solving, Computing: A Key to the Information Age. B. Buchberger. February 24, 2003. Invited talk at Presentation Day of the Computer Science Department of the University of Tsukuba, Japan. [nb] [bib]


20030825A 
Computational Mathematics, Computational Logic and Symbolic Computation. B. Buchberger. August 2530, 2003. Lecture Notes in Computer Science Vol. 2803, pp. 9899, ISSN 03029743. Invited talk at Computer Science Logic – Proceedings of 17th International Workshop CSL 2003, 12th Annual Conference of the EACSL, 8th Kurt Gödel Colloqium, KGC 2003, Vienna, Austria. [nb] [bib]


20030509A 
Humanistische Bildung versus Learning on Demand (Humanistic Education versus Learning on Demand). B. Buchberger. May 9, 2003. Invited talk at Conference eSchola 2003, Padaegogische Akademie, Linz, Austria. [ppt] [bib]


20030922B 
Mathematik an Fachhochschulen: Fachliche und didaktische Ueberlegungen (Mathematics at Polytechnical Universities  Considerations on Contents and Didactics). B. Buchberger. September 2226, 2003. Invited talk at 8th Meeting of the OMG (Austrian Mathematical Society), Bozen, Italy, Special Workshop on "Mathematik an Fachhochschulen", (Proceedings pp. 6870). [ppt] [bib]


20030922A 
Mathematik und Informatik: Eine Liebeserklaerung (Mathematics and Computer Science: A Declaration of Love). B. Buchberger. September 2226, 2003. Invited talk at 8th Meeting of the OMG (Austrian Mathematical Society), Bozen, Italy, (Proceedings: p. 6768). [ppt] [ExampleGeoProving.nb] [ExampleAnalysisProving.nb] [ExampleAlgorithmSynthesis.nb] [bib]


20030305A 
Systematic Theory Exploration: The Lazy Thinking Paradigm. B. Buchberger. March 5, 2003. Invited talk at Workshop on Computer Algebra, Research Institute of Mathematical Science, Kyoto, Japan. [nb] [bib]


20031210A 
The WhiteBox and BlackBox Usage of Mathematical Software Systems. B. Buchberger. December 1011, 2003. Invited talk at Symposium Mathematics and New Technologies: What do Learn, How to Teach?, Universidad Complutense de Madrid, Fondacion Ramon Areces. [ppt] [pdf] [RISCResearch.nb] [bib]


20030707A 
Verified Algorithm Development by Lazy Thinking. B. Buchberger. July 711, 2003. Invited talk at International Mathematica Symposium 2003, Imperial College, London. [nb] [bib]


20020906A 
Automated Proofs of Automated Geometry Provers. B. Buchberger. September 57, 2002. Invited talk at Forth International Workshop on Automated Deduction in Geometry, RISC, Schloss Hagenberg, Austria. [nb] [bib]


20020217A 
Focus Windows: A New Technique for Proof Presentation. B. Buchberger. February 1718, 2002. Invited talk at 2nd Workshop on Proving, Solving, Computing, Tokyo, organized by the SCORE Group, University of Tsukuba, Japan. [nb] [pdf] [ps] [abstract] [bib]


20020710A 
Teaching Without Teachers?. B. Buchberger. July 1013, 2002. Invited talk at VISITME (Vienna International Symposium on Information Technology in Math Education), University of Vienna, http://www.acdca.ac.at/visitme2002/. [talk.ppt] [pdf] [ps] [bib]


20020801A 
Theorema and Mathematical Knowledge Management. B. Buchberger. July 22  August 2, 2002. Invited talk at IMA 2002 Summer Program: Special Functions in the Digital Age, University of Minnesota, Minneapolis, USA. [nb] [pdf] [abstract] [ps] [bib]


20020911A 
Theorema: A Formal Frame for Mathematics. B. Buchberger. September 911, 2002. Invited talk at EACA  2002, Octavo Encuentro de Algebra Computational y Applicaciones, Penaranda de Duero, Universidad de Vallodolid, pp. 1132. [bib]


20010615A 
Groebner Bases and Theorema. B. Buchberger. June 1417, 2001. Invited talk at AAA 62  Workshop on General Algebra, Johannes Kepler University, Mathematical Institute, Linz, Austria. [bib]


20010219A 
Groebner Bases: A Short Introduction for Systems Theorists. B. Buchberger. February 1923, 2001. (Lecture Notes in Computer Science 2178, 2201. ISSN 03029743, ISBN 354042959X). Invited talk at EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory  Formal Methods and Tools for Computer Science), Las Palmas de Gran Canaria. [abstract] [pdf] [bib]


20011002A 
Groebner Rings and Modules. B. Buchberger. 25 October, 2001. Invited talk at 3rd International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, (Proceedings of SYNASC 2001, pp.2225, RISCLinz Report Series No. 0120). [pdf] [abstract] [ps] [bib]


20010625A 
Logicographic Symbols: A New Feature in Theorema. B. Buchberger. June 2527, 2001. Invited talk at Symbolic Computation  New Horizons, (Proc. of the 4th International Mathematica Symposium, Tokyo Denki University, Chiba New Town Campus, Japan, Y. Tazawa ed., pp. 2330). [pdf] [abstract] [ps] [bib]


20011016A 
Mathematik: Im Auge des Hurrikans. Konsequenzen wissenschaftlicher Revolutionen fuer die Politik. (Mathematics: In the Eye of the Hurrican. Implications for the Austrian Research Policy.). B. Buchberger. October 27, 2001. Invited talk at Wissenschaftstag der oesterreichischen Forschungsgemeinschaft, Semmering, Austria. [bib]


20010125A 
Schichten in der Automatisierung der Mathematik (Layers in the Automation of Mathematics). B. Buchberger. Technical University Vienna, Institut fuer Simulation, January 25, 2001. Invited talk at Workshop "Symbolic Computation". [bib]


20010131A 
THEOREMA: Automated Theorem Proving for the Practice. B. Buchberger. Jan. 28  Feb. 3, 2001. Invited talk at 5th International Conference on Applied Informatics, Eger, Hungary. [bib]


20010927A 
Theorema: Extending Mathematica by Automated Proving. B. Buchberger. September 2728, 2001. (Electronic proceedings edited by D. Bosanac, D. Ungar, pp. 1011, ISBN 9536076713). Invited talk at PrimMath 2001 (The Programming System Mathematica in Science, Technology and Teaching), University of Zagreb, Electrotechnical and Computer Science Faculty. [ps] [abstract] [pdf] [nb] [bib]


20010628A 
THEOREMA: Proving, Solving, Computing. B. Buchberger. June 28, 2001. Invited talk at Conference in Honor of Professor Shigeru Igarashi, Tsukuba, Japan. [bib]


20001207A 
Computer und Mathematik (Computers and Mathematics). B. Buchberger. December 7, 2000. Invited talk at Mathematics Education School, Seidel Stiftung, Munich. [bib]


20000917A 
Computerunterstuetztes mathematische Beweisen: Theorie oder Praxis? (ComputerSupported Mathematical Proving: Theory or Practice?). B. Buchberger. September 1722, 2000. Invited talk at Jahrestagung der Deutschen MathematikerVereinigung, Dresden, Germany. [bib]


20000613A 
eLesen, eRechnen, eSchreiben: Neue Kulturtechniken? (eReading, eCalculating, eWriting: New Basic Cultural Techniques?). B. Buchberger. July 13, 2000. Invited talk at Tagung "Neue Technologien und Zukunft", Stift Reichersberg. [bib]


20001206A 
ITForschung in Oesterreich: Der Weg nach vorn ... (IT Research in Austria). B. Buchberger. December 6, 2000. Invited talk at AT Event, Vienna. [bib]


20001004D 
Mathematics and Computer Science: A Personal View. B. Buchberger. October 46, 2000. Invited talk at Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2000), University of the West Timisoara, Romania, (in Proceedings pp. 109116). [bib]


20000300A 
Mathematik am Computer: Die naechste Ueberforderung? (Mathematics on the Computer: The Next Overtaxation?). B. Buchberger. March, 2000. Invited talk at DidaktikReihe der Oesterreichischen Mathematischen Gesellschaft (Proceedings of a Symposium for Highschool Teachers, September 24, 1999, Graz, Austria, Vol.131, pp. 3756). [bib]


20000713A 
The Impact of New Technologies on Mathematical Research. B. Buchberger. July 1014, 2000. Invited talk at 3rd European Congress of Mathematics (3ecm), Institut d'Estadistica de Catalunya, Panel on New Technologies in Mathematics, Barcelona. [bib]


20000925A 
The Theorema Project: Logic and Algebra. B. Buchberger. September 2526, 2000. Invited talk at Workshop on Computer Algebra and Representation Theory, Bielefeld, Germany. [bib]


20000926A 
The Vertical Layers in Mathematics. B. Buchberger. September 2526, 2000. Invited talk at Workshop on Computer Algebra and Representation Theory, Bielefeld, Germany. [bib]


20000626B 
Theorem Proving For and With Groebner Bases Theory. B. Buchberger. June 2730, 2000. Invited talk at 2nd International Workshop on Multidimensional (nD) Systems, Csocha Castle, Lower Silesia, Poland, (in Proceedings pp. 1522, K. Galkowski ed.). [bib]


20001101B 
Theorema: ComputerAsssisted Proving. B. Buchberger. November 13, 2000. Invited talk at Academy Colloquium on Constructive Algebra and Systems Theory, Amsterdam, The Netherlands, Koninklijke Nederlandse Akademie von Wetenschappen, (2 pages in Proceedings). [bib]


20001004C 
Theory Exploration with Theorema. B. Buchberger. October 46, 2000. Invited talk at Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computation (SYNASC 2000), University of the West Timisoara, Romania, (in Proceedings pp. 116). [bib]


19991213A 
ComputerMathematik in der Schule (ComputerMathematics in High School). B. Buchberger. December 13, 1999. Invited talk at Teacher Training Seminar of the Upper Austrian Pedagogic Institute, RISC, Hagenberg. [bib]


19990528A 
Groebner Bases: The First Years. B. Buchberger. May 28, 1999. Invited talk at Colloqium at the Occasion of the 100th Anniversary of W. Groebner, University of Innsbruck, Austria. [bib]


19991218A 
Mathematics: The Technology of Reasoning. B. Buchberger. December 1820, 1999. Invited talk at 4th Asian Technology Conference in Mathematics, Guangzhou, China. [bib]


19991200E 
Mathematik am Computer: Die naechste Ueberforderung? (Mathematics on the Computer: The Next Overtaxation?). B. Buchberger. September 24, 1999. Invited talk at Annual Conference of the Austrian Mathematical Society, Graz, Austria, (Available as SFB Report No. 9939, Johannes Kepler University Linz, Spezialforschungsbereich F013, December, 1999, 16 pages). [bib]


19990902A 
Staerken und Grenzen des mathematischen Modellierens (Potential and Limitation of Mathematical Modeling). B. Buchberger. September, 1999. Invited talk at Summer Academy Pro Scientia on "Model and Reality", Tainach, Austria. [bib]


19991023A 
The Theorema Project: Current State. B. Buchberger. October 23, 1999. Invited talk at Mathematica Developers' Conference, Wolfram Research International, UrbanaChampaign. [bib]


19990603A 
Theorema: A New Kind of Mathematical System. B. Buchberger. June 3, 1999. Invited talk at COCOA Conference in Torino, Italy. [bib]


19991216A 
Theorema: A System for Supporting Mathematical Proving. B. Buchberger. December 16, 1999. Invited talk at Workshop of the Japanese Consortium on Formal Methods, Nagoya, Japan. [bib]


19990000B 
Theory Exploration Versus Theorem Proving. B. Buchberger. July 1112, 1999. Invited talk at Calculemus '99 Workshop, (Electronic Notes in Theoretical Computer Science, 23/3, Elsevier). [bib]


19990924B 
Views on the Future of Computer Science. B. Buchberger. September 24, 1999. Invited talk at Workshop of the Japanese Consortium on Formal Methods, Nagoya, Japan. [bib]


19980400A 
Can Computers Replace Mathematicians?. B. Buchberger. April, 1998. Invited talk at Symposium "Symbolic Computation", Technical University Wien, Austria. [bib]


19980809A 
Computer Support for Inventing Groebner Bases Theory. B. Buchberger. August 10, 1998. Invited talk at IMACS Conference on Applied Computer Algebra, Prague, Czech Republic. [bib]


19980618A 
Groebner Bases: An Introduction. B. Buchberger. June 18, 1998. Invited talk at Annual Meeting of the Mathematics Department of the University of Wales, Gregynod, UK. [bib]


19980808A 
The Theorema System. B. Buchberger, T. Jebelean. August, 1998. Invited talk at MFCS'98 (International Conference on Mathematical Foundations of Computer Science), Brno, Czech Republic. [bib]


19980619A 
Theorema: ComputerAssisted Mathematical Proving. B. Buchberger. June 19, 1998. Invited talk at Annual Meeting of the Mathematics Department of the University of Wales, Gregynod, UK. [bib]


19980600A 
Theorema: Theorem Proving for the Masses Using Mathematica. B. Buchberger. June 20, 1998. Invited talk at Worldwide Mathematica Conference, Chicago, USA, (Available as SFB Report No. 9804, Johannes Kepler University Linz, Spezialforschungsbereich F013, June, 1998, 27 pages.). [bib]


19970604A 
Computer Algebra and Theorem Proving. B. Buchberger. June 4, 1997. Invited talk at COCOA V Conference, Herstmonceux Castle, UK. [bib]


19970513A 
Computer Algebra Research: Two Examples. B. Buchberger. May 13, 1997. Invited talk at Symposium "Mathematical Physics  Today", Priority Technologies  for Tomorrow, University of Kiev, Ukrain. [bib]


19970730A 
Computing, Solving, Proving: A Survey on the Theorema Project. B. Buchberger. July 30, 1997. Invited talk at Workshop on Logic Programming and Nonmonotonic Reasoning, Conference Center Dagstuhl, Germany. [bib]


19970306A 
Cooperation Between Universities and Industry. B. Buchberger. March, 1997. Invited talk at International TeleConference of the Tsukuba Advanced Research Alliance, University of Tsukuba, Japan. [bib]


19970000D 
Introduction to Groebner Bases. B. Buchberger. July 25August 6, 1997. Invited talk at NATO Advanced Study Institute on Logic of Computation, Marktoberdorf, Germany, (Logic of Computation, NATO ASI Series, Series F: Computer and Systems Sciences, Vol. 157, pp. 3566). [bib]


19970701A 
Theorema: Using Mathematica for Doing Simple Mathematical Proofs. B. Buchberger. July 1, 1997. Invited talk at International Mathematica Symposium, Helsinki, Finnland. (Per Teleconferencing.). [bib]


19970110A 
Towards Integrating Theorem Proving and Computer Algebra. B. Buchberger. January 10, 1997. Invited talk at Conference in Honor of Prof. Tony Levelt, University of Nijmegen, The Netherlands. [bib]


19960400A 
Future Directions in Symbolic Math Systems: Combining Algebra and Logic. B. Buchberger. April, 1996. Invited talk at Symposium of the Academia Europea, Amsterdam, The Netherlands. [bib]


19960813A 
Integrating Theorem Proving into Computer Algebra Systems. B. Buchberger. August 13, 1996. Invited talk at Computer Algebra Conference at the Fujitsui Labs in Numazu, Japan. [bib]


19961101A 
Mathematica as a Rewrite Language. B. Buchberger. November 14, 1996. Invited talk at Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, pp. 113, World Scientific, Singapore), Shonan Village Center. [pdf] [abstract] [ps] [bib]


19960906A 
Proving, Solving and Computing. B. Buchberger. September 6, 1996. Invited talk at Multiparadigm Logic Programming Conference, Bonn, Germany. [bib]


19960326A 
Symbolic Computation: Computer Algebra and Logic. B. Buchberger. March 2628, 1996. Invited talk at Frontiers of Combining Systems, Munich, (Proceedings of FROCOS 1996 1st International Workshop on Frontiers of Combining Systems, Applied Logic Series, Vol.3, pp.193220, Kluwer Academic Publisher). [ps] [abstract] [pdf] [bib]


19960528A 
The Future of Computer Algebra. B. Buchberger. May 28, 1996. Invited talk at Symposium at the Occasion of the Honoray Doctorate for George Collins, University of Tuebingen, Germany. [bib]


19961102A 
Using Mathematica for Doing Simple Mathematical Proofs. B. Buchberger. November 2, 1996. Invited talk at 4th Mathematica Users' Conference, Tokyo, (in Proceedings pp. 8096, Wolfram Media Publishing). [bib]


19960702A 
Which Mathematics for Which Students?. B. Buchberger. July 26, 1996. Invited talk at Derive Conference, GMD, Birlinghoven / Bonn, Germany. [bib]


19950600A 
Groebner Bases: Theory and Applications. B. Buchberger. June, 1995. Invited talk at Summer School "Theory of Computation", Marktoberndorf, Germany. [bib]


19950919A 
New Math Systems Without Constraints. B. Buchberger. September 1922, 1995. Invited talk at Constraint Programming Conference 95, Cassis, France. [bib]


19950905A 
Symbolic Computation Software Systems: The Current State of Technology. B. Buchberger. September 57, 1995. Invited talk at EUROSIM 95 Conference, Technical University, Vienna. [bib]


19940400A 
Symbolic Computation  Theory and Practice. B. Buchberger. April, 1994. Invited talk at Conference GAMM 94, Braunschweig, Germany. [bib]


19920700A 
A Survey on Groebner Bases. B. Buchberger. July, 1992. Invited talk at Conference ICALP 92, Vienna, Austria. [bib]


19920900B 
Teaching Math By Math Software: The White Box / Black Box Principle. B. Buchberger. September, 1992. Invited talk at Mathematica 92 Conference, Rotterdam, The Netherlands. [bib]


19920900A 
Teaching Math By Math Software: The White Box / Black Box Principle. B. Buchberger. September, 1992. Invited talk at Conference ACDCA 92 (Austrian Center for Didactics of Computer Algebra), Krems, Austria. [bib]


19900900A 
Computer Algebra  Symbolic and Algebraic Computation. B. Buchberger. September, 1990. Invited talk at Mathematical Congress of the GDR Society, Dresden, Germany. [bib]


19900305A 
Determinant Polynomials and Groebner Bases. B. Buchberger. March 57, 1990. Invited talk at Symposium on "Symbolic Computation" on the Occasion of E. Engeler's 60th Birthday, ETH Zuerich, Switzerland. [bib]


19900521A 
Groebner Bases and Sylvester Matrices. B. Buchberger. May 2125, 1990. Invited talk at Workshop on "Algorithms in Algebraic Geometry", DIMACS Research Center at Rutgers Universiy, N.J., USA. [bib]


19900602A 
Speeding Up Groebner Bases Computation by Parallel Determinant Computation. B. Buchberger. June 2, 1990. Invited talk at Symposium on the Occasion of Abhyankar's 60th Birthday, Purdue University, Lafayette, Indiana, USA. [bib]


19900619A 
Symbolic Computation  Theory and Practice.. B. Buchberger. June 1921, 1990. Invited talk at US Army Conference on "Applied Mathematics and Computer Science", Cornell University, NY, USA. [bib]


19890300A 
A Survey on Groebner Bases. B. Buchberger. March, 1989. Invited talk at Conference on Computer Aided Proofs in Analysis, University of Cincinnati, USA. [bib]


19880600A 
Algebraic Methods in Geometrical Reasoning. B. Buchberger. June, 1988. Invited talk at 4th ACM Symposium on Computational Geometry, UrbanaIllinois, USA. [bib]


19880700A 
Generalized Sylvester Matrices and Gröbner Bases. B. Buchberger. July, 1988. Invited talk at Workshop on "Algorithms in Geometry and Algebra", Cornell University, USA. [bib]


19870600A 
A Tutorial on Groebner Bases. B. Buchberger. June, 1987. Invited talk at EUROCAL 87 (International Conference on Computer Algebra), Leipzig, Germany. [bib]


19870300A 
Applications of Groebner Bases in NonLinear Computational Geometry. B. Buchberger. March 2326, 1987. Invited talk at Workshop on Scientific Software, Minneapolis, USA, (IMA Volumes in Mathematics and its Applications, Vol. 14, pp. 5988, Springer  New York). [pdf] [pdf] [pdf] [bib]


19870300B 
Groebner Bases and Computational Geometry. B. Buchberger. March, 1987. Invited talk at PostDoc Course "Scientific Computation", University of Minneapolis, USA. [bib]


19870700A 
Groebner Bases, An Algorithmic Algebraic Method for NonLinear Geometry. B. Buchberger. July, 1987. Invited talk at SIAM Conference on Applied Geometry, Albany, USA. [bib]


19870900A 
Mathematics  the Future of Computer Science? Computer Science  the Future of Mathematics?. B. Buchberger. September, 1987. Invited talk at 4th Austrian Mathematical Meeting, Brixen, Italy. [bib]


19870500A 
Tutorial on Groebner Bases and Their Applications. B. Buchberger. May, 1987. Invited talk at IBMSchool "Trends in Computer Algebra", Bad Neuenahr, Germany. [bib]


19860000C 
Applications of Groebner Bases for Geometrical Reasoning. B. Buchberger.1986. Invited talk at Conference "Geometric Reasoning", Oxford, UK, 1986. [bib]


19850000C 
Hensel Codes for Exact Computation. B. Buchberger. July, 1985. Invited talk at Conference "Computer Algebra and Its Applications in Theoretical Physics", Dubna, Russia. [bib]


19850500A 
History and Basic Features of the CriticalPair/Completion Approach. B. Buchberger. May, 1985. Invited talk at Conference on Rewrite Technique and Applications, Dijon, France, (Lecture Notes in Computer Science, Vol. 202, pp. 145, Springer). [bib]


19850000D 
Parallel Symbolic Computation Using the LMachine. B. Buchberger.1985. Invited talk at Applied Algebra and Error Correcting Code Conference, Grenoble, France. [bib]


19850000E 
Survey on CriticalPair/Completion Algorithms. B. Buchberger. May, 1985. Invited talk at Rewrite Technique and Applications Conference, Dijon, France. [bib]


19840000C 
A Survey on Computer Algebra. B. Buchberger. September, 1984. Invited talk at Workshop Computer Algebra, University of Leipzig, Germany. [bib]


19840000E 
A Survey on Groebner Bases. B. Buchberger.1984. Invited talk at Summer School on Algebraic Manipulation, Rome, Italy. [bib]


19840000A 
Solution of Algebraic Equations by Groebner Bases. B. Buchberger. August, 1984. Invited talk at Second International Symposium on Symbolic and Algebraic Computation, RIKEN, Tokyo, Japan. [bib]


19840000D 
The LMachine for Parallel Inference. B. Buchberger. December, 1984. Invited talk at Fifth Generation and Supercomputer Conference, Rotterdam, The Netherlands. [bib]


19841200A 
Towards a Connection Machine for Logical Inference. W. Bibel, B. Buchberger. December, 1984. Invited talk at Fifth Generation and Supercomputer Conference, Rotterdam, The Netherlands, (appeared in Future Generation Computer Systems 1/3, pp.177188). [pdf] [bib]


19830000B 
A New Approach to Math for Computer Science. B. Buchberger.1983. Invited talk at Conference "Mathematics in Computer Science", University of Udine, Italy. [bib]


19830000C 
A Survey on Groebner Bases. B. Buchberger.1983. Invited talk at 5th International Conference on Mathematical Methods for Solving Physical Problems, Dubna, Russia. [bib]


19830000A 
A Survey on Groebner Bases. B. Buchberger.1983. Invited talk at Conference "Algorithmique  Calcul Formelle  Arithmetique", Univ. de SaintEtienne, France. [bib]


19831003B 
Groebner Bases: A Method in Symbolic Mathematics. B. Buchberger. October 38, 1983. Invited talk at "Les Journées de SaintEtienne: Algorithmique, Calcul Formel, Arithmetique", Université de SaintEtienne, (U.E.R de Sciences, pp. II.1II.10, CAMP Punl.Nr. 8324.0). [bib]


19831026A 
Matematica nei curricoli di Computer Science: USA, Germania, Austria (Mathematics in the Computer Science Curricula in the US, Germany, and Austria). B. Buchberger. October 26, 1983. Invited talk at Symposium "Le Matematiche nel Corso di Laurea in Scienze dell' Informazione", Institute of Mathematics, Computer Science and Systems, University of Udine. [bib]


19831103A 
Mathematik fuer Informatiker (Mathematics for Computer Scientists). B. Buchberger. November 2, 1983. Invited talk at Symphosium "Mathematics for Computer Scientists", Studienkommision fuer Hochschuldidaktik an den FHS in BadenWuertemberg. [bib]


19820315A 
Computerunterstuetzter Algorithmenentwurf (ComputerAided Algorithm Design). B. Buchberger. March 1524, 1982. Invited talk at Fruehjahrsschule Kuenstliche Intelligenz, Teisendorf, (InformatikFachberichte, Vol. 59, pp. 141202, Springer Verlag Berlin). [pdf] [bib]


19820515A 
Groebner Bases: Results and Problems. B. Buchberger. May 15, 1982. Invited talk at 1st Delaware Computer Algebra Workshop, University of Delaware, Department of Computer and Information Sciences. [bib]


19821000A 
Mathematik fuer InformatikVordiplom (Mathematics for Computer Science Undergraduates). B. Buchberger. October, 1982. Invited talk at Workshop on "Mathemathics for Computer Science", organized by the Students' Union, University of Vienna, Austria. [bib]


19820000C 
Survey on Automatic Programming. B. Buchberger.1982. Invited talk at Spring School in Artificial Intelligence, Teisendorf, Germany. [bib]


19810000A 
A New Approach to Math for Computer Science. B. Buchberger.1981. Invited talk at GI Workshop on Mathematical Education for Computer Science, Bonn, Germany. [bib]


19810511A 
Ziele und Inhalte der Mathematik in der Informatikausbildung an Universitaeten (Goals and Contents of Mathematics in the Computer Science Education in Universities). B. Buchberger. May 1112, 1981. Invited talk at Meeting of the Chapter 9/10 "Education" of the GI, Bad Honnef, Germany. [bib]


19801000A 
Mathematik fuer Informatik (Mathematics for Computer Science). B. Buchberger. October, 1980. Invited talk at Symposium on Mathematical Didactics, Institute of Mathematics, University of Kassel, Germany. [bib]


19790626A 
A Criterion for Detecting Unnecessary Reductions in the Construction of Groebner Bases. B. Buchberger. June 2628, 1979. Invited talk at EUROSAM 79 Symposium on Symbolic and Algebraic Manipulation, Marseille, (Lecture Notes in Computer Science, Vol. 72, pp. 321, Springer Berlin). [pdf] [bib]


19790626B 
Improved Algorithm for Groebner Bases for Polynomial Ideals. B. Buchberger. June 2628, 1979. Invited talk at EUROSAM 79 (European Conference on Symbolic and Algebraic Manipulation), Marseille, France. [bib]


19790918C 
MultiProzessor Systeme (Multiprocessor Systems). B. Buchberger. September 1820, 1979. Invited talk at Workshop on Cryptographical Methods, Institute of System Sciences, University of Linz, Austria. [bib]


19790906A 
Operationale Beschreibung von Lernzielen und problemorientierter Unterricht (Operational Description of Teaching Goals and ProblemOriented Teaching). B. Buchberger. September 67, 1979. Invited talk at Symposium on Didactic Aspects of Mathematics, University of Linz, Austria. [bib]


19780400B 
Systems with Universal Subsystems: Realization and Application. B. Buchberger, B. Quatember. April, 1978. Invited talk at Fourth European Meeting on Cybernetics and Systems Research, Linz, Austria, (Progress in Cybernetics and Systems Research, Vol. VII, pp. 2532, Hemisphere Publ. Corp.). [pdf] [bib]


19720800A 
Certain Decompositions of Goedel Numberings and the Semantics of Programming Languages. B. Buchberger. August, 1972. Invited talk at Symposium on Theoretical Programming, Novosibirsk, Russia. [bib]




