
Artificial Intelligence = Symbolic Computation + Machine Learning. Bruno Buchberger. January 12, 2023. Invited colloquium talk at University of Applied Science, Hagenberg, Austria. [bib]



Künstliche Intelligenz in den Medien. Bruno Buchberger. Nov 8, 2023. Invited colloquium talk at OÖ Club der Journalisten, OÖ. Presseclub, OKZentrum, Linz. [bib]



What Should I Learn in the Age of ChatGPT?. Bruno Buchberger. October 24, 2023. Invited colloquium talk at TH OstWestfalenLippe, Lemgo. [bib]



Alpin Academy Virgen (AAV) Workshop. Buchberger. April 17, 2018. Invited colloquium talk at Virgen, Osttirol. [bib]



Building Information Modeling (BIM) Workshop. Buchberger. March 26, 2018. Invited colloquium talk at OÖ Wirtschaftskammer, Linz. [bib]



Der Softwarepark Hagenberg. Buchberger. June 21, 2018. Invited colloquium talk at RISC. [bib]



Formal Research Methods in Computer Science. Buchberger. Sommersemester, 2018. Invited colloquium talk at Alpen Adria University, Klagenfurt. [bib]



Gedanken zur Mathematik an der JKU beim Festakt "50 Jahre Mathematik an der JKU". Buchberger. November 26, 2018. Invited colloquium talk at Johannes Kepler University. [bib]



Mathematik, Artificial Intelligence, ... 200 % leben. Buchberger. March 1, 2018. Invited colloquium talk at BORG Schottengasse, Wien. [bib]



Artificial Intelligence: Endlich Schluss mit Mathematik?. Bruno Buchberger. August 15, 2017. Invited colloquium talk at Internationale Akademie Traunkirchen. [bib]



Digitalisierung: Chancen und Risiken. Bruno Buchberger. November 30, 2017. Invited colloquium talk at "Oberösterreichisches Medienforum", Raiffeisen Forum, Linz. [bib]



Gröbner Bases for NonLinear Systems: An Introduction and Recent Results. Bruno Buchberger. July 4, 2017. Invited colloquium talk at Technical University Munich, Department of Informatics. [bib]


20140501A 
From Basic Research to Startups: Personal Experiences as a Researcher and TechnoparkManager. B. Buchberger. May 1, 2014. Invited colloquium talk at National Sun Yat Sen University, Taiwan. [zip] [bib]


20140925A 
Innovationen im ländlichen Raum  Erfahrungen aus dem Softwarepark Hagenberg. B. Buchberger. September 25, 2014. Invited colloquium talk at Maschinenring. [zip] [bib]


20130522A 
Automated Algorithm Synthesis by the Lazy Thinking Method. B. Buchberger. May 22, 2013. Invited colloquium talk at Technical University of Vienna, Computer Science Department. [bib]



Groebner Bases: An Algorithmic Method for Multivariate Polynomial Systems. B. Buchberger. July 2226, 2013. Course (6 hours) at International Summer School on Trends in Computing. Invited colloquium talk at University of Tarragona, Spain. [bib]


20130503A 
How Much of Mathematical Invention Can be Automated?. B. Buchberger. May 3, 2013. Invited colloquium talk at Alan Mekler Lecture at Simon Frazer University, Math Department, Vancouver, Canada. [bib]



Mathematics of 21st Century: A Personal View. B. Buchberger. September 25, 2013. Invited colloquium talk at Math. Department, University of Genova, Italy. [bib]



Mathematics: The Turbo behind Science and Technology. B. Buchberger. September 24, 2013. Invited colloquium talk at Math. Department, University of Genova, Italy. [bib]


20130417A 
The Future of Mathematics: A Personal View. B. Buchberger. April 17, 2013. Invited colloquium talk at Islamic University of Gaza, School of Technical Sciences. [bib]


20120709A 
Computer Professor > Professor Computer?. B. Buchberger. July 9, 2012. Invited colloquium talk at Colloqium in Honor of Professor H Michael Moeller's Retirement. [bib]


20110616A 
Dinstinguished Lecture: Can Mathematical Invention be Automated?. B. Buchberger. June 16, 2011. Invited colloquium talk at University of Waterloo, Dept. of Computer Science. [bib]


20111010A 
Ist das Denken computerisierbar? (Is Thinking Computerizable?). B. Buchberger. October 10, 2011. Invited colloquium talk at KeplerSalon, Linz, Austria. [bib]


20110518A 
Lazy Thinking: A Method for the Automated Invention of Algorithms. B. Buchberger. May 18, 2011. Invited colloquium talk at University of Klagenfurt, Austria, Dept. of Computer Science. [bib]


20110314A 
Research at the Softwarepark Hagenberg and Industrial Effects. B. Buchberger. March 14, 2011. Invited colloquium talk at TU Munich, Germany, High Performance Computing Center, Garching. [bib]


20110212A 
The Softwarepark Hagenberg. B. Buchberger. February 12, 2011. Invited colloquium talk at Kasetsart University, Computer Science Department, Bangkok, Thailand. [bib]


20110214A 
The Softwarepark Hagenberg. B. Buchberger. February 14, 2011. Invited colloquium talk at King Mongkut Institute of Technology at Ladkrabang, Computer Science Department, Bangkok, Thailand. [bib]


20110215A 
The Softwarepark Hagenberg. B. Buchberger. February 15, 2011. Invited colloquium talk at Asian Institute of Technology, Computer Science Department, Bangkok, Thailand. [bib]


20110614A 
Theorema. B. Buchberger. June 14, 2011. Invited colloquium talk at University of Waterloo, Dept. of Computer Science. [bib]


20100701A 
An Introduction to Groebner Bases: Theory and Applications. B. Buchberger. July 1, 2010. Invited colloquium talk at University of Szeged, Bolyai Institute of Mathematics. [bib]


20101103A 
Thinking, Speaking, Writing. B. Buchberger. November 3, 2010. Invited colloquium talk at Technical University of Prague, Computer Science Department. [bib]


20090416A 
Algorithmic Algorithm Synthesis by the Lazy Thinking Approach: Case Study Groebner Bases. B. Buchberger. April 16, 2009. Invited colloquium talk at Colloquium Talk at University of Ohio, Athens, USA, Graduate Program in Algebra. [bib]


20090420A 
Groebner Bases Theory and Applications: An Introduction. B. Buchberger. April 20, 2009. Invited colloquium talk at University of Ohio, Athens, USA, Graduate Program in Algebra. [bib]


20090603A 
Lazy Thinking: A Method for the Automatic Invention of Algorithms. B. Buchberger. June 3, 2009. Invited colloquium talk at Colloquium Talk, University of Salzburg, Institute of Computer Science, Austria.. [bib]


20090514A 
Pure, Algorithmic, Applied, ... Mathematics: Which One is Better?. B. Buchberger. May 14, 2009. Invited colloquium talk at Public Talk at the Chinese Academy of Science, Institute for Computer and Systems Science. [bib]


20090418A 
Symbolic Solution of Boundary Value Problems in Theorema. B. Buchberger. April 18, 2009. Invited colloquium talk at Colloquium Talk at University of Ohio, Athens, USA, Graduate Program in Algebra. [bib]


20090309A 
The Softwarepark Hagenberg and the International Master's Program Informatics Hagenberg. B. Buchberger. March 9, 2009. Invited colloquium talk at POLBAN Polytechnic University, Computer Science Department, Bandung, Indonesia. [bib]


20090310A 
The Softwarepark Hagenberg and the International Master's Program Informatics Hagenberg. B. Buchberger. March 10, 2009. Invited colloquium talk at Wydiatama University, Computer Science Department, Bandung, Indonesia. [bib]


20090311A 
The Softwarepark Hagenberg and the International Master's Program Informatics Hagenberg. B. Buchberger. March 11, 2009. Invited colloquium talk at Polytechnic Electronics Negeri Surabaya, Computer Science Department, Indonesia. [bib]


20090312A 
The Softwarepark Hagenberg and the International Master's Program Informatics Hagenberg. B. Buchberger. March 12, 2009. Invited colloquium talk at Bina Darma University, Palembang, Computer Science Department, Indonesia. [bib]


20090313A 
The Softwarepark Hagenberg and the International Master's Program Informatics Hagenberg. B. Buchberger. March 13, 2009. Invited colloquium talk at Polytechnic University, Sekayu, Computer Science Department, Indonesia. [bib]


20090314A 
The Softwarepark Hagenberg and the International Master's Program Informatics Hagenberg. B. Buchberger. March 14, 2009. Invited colloquium talk at Guna Darma University, Palembang, Computer Science Department, Indonesia. [bib]


20080425A 
Automated Algorithm Synthesis in Theorema. Invited Colloqium at State Key Laboratory on Software Development Environment.. B. Buchberger. April 25, 2008. Invited colloquium talk at Beihan University, Beijing, China. [bib]


20080724B 
Overview on the Theorema Project. Contributed talk at: International Conference on Symbolic and Numeric Scientific Computing (SNSC). B. Buchberger. July 2426, 2008. Invited colloquium talk at RISC, Johannes Kepler University, Hagenberg. [bib]


20080724A 
Symbolic Functional Analysis: How it Started. Contributed talk at: International Conference on Symbolic and Numeric Scientific Computing (SNSC). B. Buchberger. July 2426, 2008. Invited colloquium talk at RISC, Johannes Kepler University, Hagenberg. [bib]


20061214A 
Automated Mathematical Theory Exploration: How Far Can We Go?. B. Buchberger. December 1415, 2006. Invited colloquium talk at DERI, Innsbruck. [nb] [pdf] [bib]


20060306C 
Automated Synthesis of a Groebner Bases Algorithm.Talk at Workshop "Formal Groebner Bases Theory. B. Buchberger. March 6, 2006. Invited colloquium talk at RICAM  RISC, Linz, Austria. [bib]


20061121A 
Die Zukunft der algorithmischen Mathematik: Kann mathematische Forschung automatisiert werden?. B. Buchberger. November 21, 2006. Invited colloquium talk at OCG, OVE, Graz. [nb] [pdf] [bib]


20060430A 
Groebner Bases: Tutorial for Newcomers. B. Buchberger. April 30, 2006. Invited colloquium talk at RICAM, RISC. [pdf] [nb] [bib]


20060131A 
Symbolic Computation: Current Trends. B. Buchberger. January, 31, 2006. Invited colloquium talk at Max Planck Institute for Physics, München. [nb] [pdf] [bib]


20060118A 
Symbolic Computation: Current Trends. B. Buchberger. Jan. 18, 2006. Invited colloquium talk at Max Planck Institute for Physics, Munich. [bib]


20051114A 
Algorithm Synthesis by Lazy Thinking: Case Study Gröbner Bases. B. Buchberger. November 14, 2005. UltraOmegaTheorema. Invited colloquium talk at DFKI, Saarland University. [pdf] [nb] [bib]


20050623A 
Algorithm Synthesis in Theorema: Case Study Gröbner Bases. B. Buchberger. June 23, 2005. Invited colloquium talk at University of Edinburgh, School of Informatics. [pdf] [nb] [bib]


20050420A 
Algorithmische Beweisverfahren: Das Ende der Mathematik?. B. Buchberger. April 20, 2005. Invited colloquium talk at Kepler Symposium, Universität Linz. [nb] [pdf] [bib]


20050202A 
Groebner Bases: An Introduction. B. Buchberger. Feb, 02, 2005. Invited colloquium talk at Softwarepark Hagenberg. [pdf] [nb] [bib]


20050602A 
GroebnerBasen: Eine Einfuehrung fuer LAKandidaten. B. Buchberger. June, 2, 2005. Invited colloquium talk at RISC. [pdf] [nb] [bib]


20040825A 
Algorithmic Algorithm Synthesis: Case Study Groebner Bases. B. Buchberger. August 25, 2004. Invited colloquium talk at Kuyshu University, Mathematical Department, Fukuoka, Japan. [nb] [bib]


20041029A 
Algorithmic Algorithm Synthesis: Case Study Groebner Bases. B. Buchberger. October 29, 2004. Invited colloquium talk at KAIST (University, Daejon). [bib]


20041028A 
Computer Algebra: A Key to the Future of Mathematics, Science, and Engineering. B. Buchberger. October 28, 2004. Invited colloquium talk at KIAS (Korean Institute of Advanced Studies, Seoul). [bib]


20041016A 
Didactic Principles for Using Computer Algebra in Class. B. Buchberger. October 16, 2004. Lecture for Highschool Teachers. Invited colloquium talk at Waseda Gakuin High School. [bib]


20041215A 
Elimination and SelfElimination. B. Buchberger. December 15, 2004. Invited colloquium talk at University of Bochum, Mathematical Institute. [bib]


20041009A 
Groebner Bases and Automated Theorem Proving. B. Buchberger. October 9, 2004. Invited colloquium talk at Toho University, Mathematical Institute, Tokyo – Tsudanuma. [bib]


20040125A 
Groebner Bases: Theory and Applications. B. Buchberger. January 25, 2004. Invited colloquium talk at Sultan Qaboos Universiy, Department of Mathematics and Statistics. [nb] [bib]


20040802A 
Groebner Basis: An Overview. B. Buchberger. August 24, 2004. Invited colloquium talk at Workshop on Computer Algebra, RIMS (Research Institute of Mathematical Sciences), Kyoto University, Japan. [tar] [PartI.ppt] [PartII.nb] [bib]


20041013A 
How to Give Talks and Write Papers. B. Buchberger. October 13, 2004. Lecture for Graduate Students. Invited colloquium talk at Kyoto University, Graduate School for Computer Science. [bib]


20041004A 
How to Work With the Literature. B. Buchberger. October 4, 2004. Lecture for Graduate Students. Invited colloquium talk at Kyoto University, Graduate School for Computer Science. [bib]


20041016B 
Let's Solve!. B. Buchberger. October 16, 2004. Teaching Experiment on Computer Algebra with High School Students. Invited colloquium talk at Waseda Gakuin High School. [bib]


20040803A 
The Importance of Formal Methods in Mathematics. B. Buchberger. August 24, 2004. Invited colloquium talk at Workshop on Computer Algebra, RIMS (Research Institute of Mathematical Sciences), Kyoto University, Japan. [PartI.ppt] [tar] [PartII.nb] [bib]


20040723A 
Theorema: An Overview. B. Buchberger. July 2223, 2004. Invited colloquium talk at Kyoto University, Graduate School of Computer Science. [nb] [bib]


20031119A 
Algorithm Invention and Verification by Lazy Thinking. B. Buchberger. November 19, 2003. Invited colloquium talk at Department of Computer Science, Lamar University, Texas, USA. [nb] [bib]


20031205A 
Algorithm Synthesis by Failing Correctness Proofs. B. Buchberger. December 5, 2003. Invited colloquium talk at Mathematisches Institut, Universitaet Muenchen. [nb] [bib]


20030307A 
Systematic Theory Exploration: The Lazy Thinking Paradigm. B. Buchberger. March 7, 2003. Invited colloquium talk at Mathematics Department, University of Kyushu, Fukuoka, Japan. [nb] [bib]


20021212A 
Computer Mathematik: Abstieg oder Aufstieg (Computer Mathematics: Descent or Ascent). B. Buchberger. December 12, 2002. Invited colloquium talk at Fachhochschule Ohm, Mathematical Department, Nuernberg, Germany. [bib]


20020313A 
Computer verstehen und benutzen (Understanding and Using Computers). B. Buchberger. March 13, 2002. Invited colloquium talk at Workshop of the Austrian Christian Teachers Association, at RISC, Schloss Hagenberg, Austria. [bib]


20020523A 
ComputerAlgebra: Abstieg oder Aufstieg? (Computer Algebra: Descent or Ascent ?). B. Buchberger. May 23, 2002. Invited colloquium talk at IWR (Institut fuer Wissenschaftliches Rechnen), Heidelberg, Germany. [nb] [ps] [pdf] [bib]


20020319A 
Forschung: Das Standortkriterium. Erfahrungen, Reflexionen, Visionen. (Research: A Decisive Criterion for Selecting Industrial Sites.). B. Buchberger. March 19, 2002. Invited colloquium talk at “Innovationsgespraeche”, Profactor Institute, Steyr, Austria. [bib]


20020506A 
Grundlagen des Rechnens (Fundamentals of Computing). B. Buchberger. May 6, 2002. Invited colloquium talk at RISC, Hagenberg, Talk for High School Students. [bib]


20021114A 
Technologien und laendlicher Raum (Technologies and the Rural Area). B. Buchberger. November 14, 2002. Invited colloquium talk at HBLA (Highschool) Elmberg near Linz, Austria, Workshop for Teachers and Parents. [bib]


20020307A 
Verified Algorithm Development by Lazy Thinking. B. Buchberger. March 7, 2002. Invited colloquium talk at Mathematics Department, University of Kyushu, Fukuoka. [bib]


20010127A 
Die eTechnologien: Neue Chancen fuer den laendlichen Raum (The eTechnologies: New Chances for Rural Areas). B. Buchberger. January 27, 2001. Invited colloquium talk at Landwirtschaftliche Fachschule Freistadt, Austria. [bib]


20010630A 
Euclid's Algorithm Using Theorema. B. Buchberger. June 30, 2001. Invited colloquium talk at Lecture for Teachers and Students, Konan High School, Japan. [bib]


20010702A 
Groebner Bases: A Practical Tool for Nonlinear Algebraic Equations. B. Buchberger. July 2, 2001. Invited colloquium talk at Kyushu University, Graduate School of Mathematics, Fukuoka, Japan. [bib]


20010911A 
Implementation of Groebner Bases: Using Functors in Theorema. B. Buchberger. September 11, 2001. Invited colloquium talk at Texas A&M University, Mathematical Department, USA. [bib]


20010909A 
Introduction to Groebner Bases: Theory and Applications. B. Buchberger. September 9, 2001. Invited colloquium talk at Texas A&M University, Dept. of Mathematics. [bib]


20010906A 
Logicographic Symbols: Combining Intuition and Formality. B. Buchberger. September 6, 2001. Invited colloquium talk at Computer Science Department, Lamar University, Texas, USA. [bib]


20010914A 
Mathematical Knowledge Management in Theorema. B. Buchberger. September 14, 2001. Invited colloquium talk at Texas A&M University, Dept. of Mathematics. [bib]


20010519A 
Predicate Logic as a Working Language Using THEOREMA. B. Buchberger. May 2125, 2001. Invited colloquium talk at University of the West, Timisoara, Romania. [bib]


20010130A 
The Didactics of Computer Mathematics. Short course for high school students and teachers. B. Buchberger. January 30, 2001. Invited colloquium talk at Konan High School, Kobe. [bib]


20010603A 
THEOREMA: A Frame for Formal Mathematics. B. Buchberger. June 3, 2001. Invited colloquium talk at Kyushu University, Mathematical Institute, Fukuoka, Japan. [bib]


20010314A 
THEOREMA: Formale Mathematik (Theorema: Formal Mathematics). B. Buchberger. March 14, 2001. Invited colloquium talk at University of Innsbruck, Mathematical Institute, Austria. [bib]


20010903A 
Three Lecture on Mathematics. B. Buchberger. September 1013, 2001. Invited colloquium talk at Texas A&M University, Mathematical Department, USA. [bib]


20000515A 
Automated Theorem Proving for the Practice. B. Buchberger. May 15, 2000. Invited colloquium talk at University of Salzburg, Mathematical Institute. [bib]


20000522A 
ComputerAlgebra: Das Ende der Mathematik? (Computer Algebra: The End of Mathematics?). B. Buchberger. May 22, 2000. Invited colloquium talk at Freie Universitaet Berlin, Mathematisches Institut, Germany. [pdf] [ps] [abstract] [bib]


20000301A 
Groebner Bases and Automated Theorem Proving. (10 hours). B. Buchberger. March 110, 2000. Invited colloquium talk at Intensive Course (10 hours) at the University of Texas at Beaumont. [bib]


20000324A 
Mathematik: Technologie des Denkens und Sprechens (Mathematics: Technology of Speaking and Thinking). B. Buchberger. March 24, 2000. Invited colloquium talk at Seminar for Highschool Teachers, Feldkirch. [bib]


20000615A 
Theorema: Automatisches Beweisen fuer die Praxis (Theorema: Automatisches Beweisen fuer die Praxis). B. Buchberger. June 6, 2000. Invited colloquium talk at University of Salzburg, Institute for Informatics, Salzburg, Austria. [bib]


20000228A 
Theorema: Beyond Computer Algebra. B. Buchberger. February 28, 2000. Invited colloquium talk at University of Texas at Beaumont, Computer Science Department. [bib]


19990416A 
Groebner Bases: Theory and Applications. B. Buchberger. April 16, 1999. Invited colloquium talk at University of Timisoara, Romania. [bib]


19990520A 
Theorema: A New Kind of Mathematical System. B. Buchberger. May 20, 1999. Invited colloquium talk at University of Debrecen, Hungary. [bib]


19990419A 
Theorema: A New Kind of Mathematical System. B. Buchberger. April 19, 1999. Invited colloquium talk at University of Cluj, Romania. [bib]


19990414A 
Theorema: A New Kind of Mathematical System. B. Buchberger. April 14, 1999. Invited colloquium talk at University of Timisoara, Romania. [bib]


19990615A 
Theorema: A Progress Report. B. Buchberger. June 15, 1999. Invited colloquium talk at GMD Bonn, Institut fuer Algorithmen, Germany. [bib]


19991025A 
Theorema: A System for Supporting Mathematical Proving. B. Buchberger. October 25, 1999. Invited colloquium talk at Carnegie Mellon University, Department of Mathematics, Pittsburgh, USA. [bib]


19991022A 
Theorema: A System for Supporting Mathematical Proving. B. Buchberger. October 22, 1999. Invited colloquium talk at University of Illinois at UrbanaChampaign, Department of Mathematics, USA. [bib]


19991018A 
Theorema: A System for Supporting Mathematical Proving. B. Buchberger. October 18, 1999. Invited colloquium talk at North Carolina State University, Department of Mathematics, USA. [bib]


19981005A 
Intensive Course on Groebner Bases. (30 hours). B. Buchberger. October 514, 1998. Invited colloquium talk at Universitad de Oriente, Santiago, Cuba. [bib]


19980622A 
Symbolisches Rechnen: Eine Uebersicht (Symbolic Computation: An Overview). B. Buchberger. June 22, 1998. Invited colloquium talk at Universitaet Hamburg, Institut fuer Informatik, Germany. [bib]


19981013A 
The Theorema Project. B. Buchberger. October 13, 1998. Invited colloquium talk at Universitad de Oriente, Santiago, Cuba. [bib]


19980224A 
The Theorema Project: An Introduction. B. Buchberger. February 24, 1998. Invited colloquium talk at Research Institute IRST, Trento, Italy. [bib]


19981125A 
Theorema: Automatisches Beweisen fuer mathematische Forschung und Lehre (Theorema: Automatic Proving for Math Research and Education). B. Buchberger. November 25, 1998. Invited colloquium talk at Universitaet Leipzig, Mathematisches Institut, Germany. [bib]


19980424A 
Theorema: ComputerAssisted Mathematical Proving. B. Buchberger. April 24, 1998. Invited colloquium talk at Universitaet Karlsruhe, Institut fuer Informatik, Germany. [bib]


19970226A 
A Short Course on Automated Theorem Proving Using Mathematica. B. Buchberger. February 2628, 1997. Invited colloquium talk at University of Hiroshima, Department of Computer Science, Japan. [bib]


19971008A 
An Intensive Course on Groebner Bases. B. Buchberger. October 89, 1997. Invited colloquium talk at University of ElectroCommunications, Department of Computer Science, Tokyo, Japan. [bib]


19971026A 
Introduction to Groebner Bases and Applications. B. Buchberger. October 26, 1997. Invited colloquium talk at University of Tsukuba, Institute of Mathematics, Japan. [bib]


19970703A 
On Overview on the Theorema Project. B. Buchberger. July 3, 1997. Invited colloquium talk at GMD, Institut fuer Algorithmen, Bonn/Birlinghoven, Germany. [bib]


19970506A 
The Theorema Project: An Overview. B. Buchberger. May 6, 1997. Invited colloquium talk at University of Brno, Institute of Computer Science, Chech Republic. [bib]


19970219A 
Theorem Proving and the RISA/ASIR System. B. Buchberger. February 19, 1997. Invited colloquium talk at Fujitsu Labs, Numazu, Japan. [bib]


19960317A 
A Language for Pure and Algorithmic Math. B. Buchberger. May 17, 1996. Invited colloquium talk at Colloquium talk: Wolfram Research International, Champaign/Illinois, USA. [bib]


19960225A 
Beyond Mathematica: The Future of Mathematical Software Systems. B. Buchberger. February 25, 1996. Invited colloquium talk at Public Lecture at Australian National University, Canberra, Australia. [bib]


19960630A 
ComputerAlgebra und Theorem Proving. B. Buchberger. June 30, 1996. Invited colloquium talk at Deutsches Forschungsinstitut fuer kuenstliche Intelligenz, Saarbruecken, Germany. [bib]


19960524A 
Functor Programming in Mathematica. B. Buchberger. May 24, 1996. Invited colloquium talk at University of Delaware, Department for Information and Systems Sciences, USA. [bib]


19960208A 
Functor Programming in Mathematica. B. Buchberger. February 8, 1996. Invited colloquium talk at Australian National University, Computer Science Department, Australia. [bib]


19960216A 
Funtor Programming in Mathematica. B. Buchberger. February 16, 1996. Invited colloquium talk at Mac Quarie University, Sydney, Australia. [bib]


19960123A 
Future Trends in Symbolic Computation: A Subjective View. B. Buchberger. January 23, 1996. Invited colloquium talk at Technical University of Vienna, Department of Computer Science, Austria. [bib]


19960219A 
Groebner Bases: Some Details. B. Buchberger. February 19, 1996. Invited colloquium talk at University of Sydney, Australia. [bib]


19960212A 
Introduction to Groebner Bases I and II. B. Buchberger. February 1215, 1996. Invited colloquium talk at Australian National University, Computer Science Department, Canberra, Australia. [bib]


19961028A 
The Theorema Project at the RISC Institute. B. Buchberger. October 28, 1996. Invited colloquium talk at University of Kyoto, Department of Computer Science, Japan. [bib]


19951201A 
Symbolic Computation: Organizing Complex Reasoning. B. Buchberger. December 1, 1995. Invited colloquium talk at International Institute of Applied Systems Analysis (IIASA), Laxemburg, Austria. [bib]


19931100A 
Computer Algebra between Mathematics, Computer Science, and Applications. B. Buchberger. November, 1993. Invited colloquium talk at Opening of the Computer Algebra Center in Kaiserslautern, Germany. [bib]


19830300C 
A Constructive Approach of the Theory of Polynomial Ideals. B. Buchberger. March, 1983. Invited colloquium talk at Institute for Mathematics, University of Udine. [bib]


19830718A 
A Multiprocessor System for Parallel Algorithms. B. Buchberger. July 18, 1983. Invited colloquium talk at Department of Electrotechnics and Electronics, University of Bari. [bib]


19830712A 
A Multiprocessor System for Parallel Algorithms. B. Buchberger. June 12, 1983. Invited colloquium talk at Institute for Mathematics, University of Genova, Italy. [bib]


19830713A 
An Introduction to Groebner Bases. B. Buchberger. June 13, 1983. Invited colloquium talk at Institute for Mathematics, University of Genova, Italy. [bib]


19830300B 
BuchstabenRechnen mit der Computer (Symbolic Computation with the Computer). B. Buchberger. March, 1983. Invited colloquium talk at Institute for Mathematics, University of Klagenfurt. [bib]


19830701A 
Critical Pair / Completion Algorithms in Rings. B. Buchberger. July 1, 1983. Invited colloquium talk at Institute for Computer Science, University of Grenoble. [bib]


19830601A 
CriticalPair/Completion Algorithmen: Übersicht und neue Ergebniss (Critical Pair / Completion Algorithms: Overview and New Results). B. Buchberger. June 1, 1983. Invited colloquium talk at Institute for Computer Science, University of Karlsruhe. [bib]


19831107A 
Eine Verbesserung des KnuthBendixAlgorithmus (An Improvement of the KnuthBendix Algorithm). B. Buchberger. November 7, 1983. Invited colloquium talk at Institute for Computer Science, University of Erlangen. [bib]


19831104A 
GroebnerBasen: eine algorithmische Methode fuer Probleme in Polynomidealen (Groebner Bases: an Algorithmic Method for Problems in Polynomials Rings). B. Buchberger. November 4, 1983. Invited colloquium talk at Institute for Applied Mathematics, University of Heidelberg. [bib]


19831107A 
LNetzwerke (Modulare, extendierbare, asynchrone Netzwerke fuer die Ekekution paralleler Algorithmen (LNetworks: Modular, Extendable, Asynchrone Networks for Executing Parallel Algorithms). B. Buchberger. November 15, 1983. Invited colloquium talk at Institute for Cybernetics, University of Viena. [bib]


19830510A 
Reduktionsringe: ein algorithmischer Zugang zu Problemen in Ringen (Reduction Rings: an Algorithmic Apporach for Problems in Rings). B. Buchberger. May 10, 1983. Invited colloquium talk at Institute for Computer Science, University of Kaiserslautern. [bib]


19831027A 
Simplification Modulo Polynomial Ideals by Groebner Basis. B. Buchberger. October 27, 1983. Invited colloquium talk at Institute for Computer Science, Italian National Research Council. [bib]


19820521A 
Algorithmic Methods in Polynomial Ideal Theory. B. Buchberger. May 21, 1982. Invited colloquium talk at Department of Mathematics, University of Delaware. [bib]


19820507A 
Algorithmic Methods in Polynomial Ideal Theory. B. Buchberger. May 7, 1982. Invited colloquium talk at Department of Electric Engineering, University of Pittsburh. [bib]


19820506A 
Algorithmic Methods in Polynomial Ideal Theory. B. Buchberger. May 6, 1982. Invited colloquium talk at Department of Mathematics, The Pennsylvania State University, University Park. [bib]


19820426A 
Computer Science in Austria and Possibilities for Graduate Studies. B. Buchberger. April 26, 1982. Invited colloquium talk at Department of Computer Science, University of Delaware. [bib]


19820401A 
Critical Pair / Completion Algorithms. B. Buchberger. April 1, 1982. Invited colloquium talk at Artificial Intelligence Seminar, Computer Science Department, University of Delaware. [bib]


19820617A 
Simplification Modulo Polynomial Ideals. B. Buchberger. June 17, 1982. Invited colloquium talk at IBM Thomas Watson Research Center, Yorktown Heigths, New York. [bib]


19820622A 
Some Proof Details in the Theory of GroebnerBases. B. Buchberger. June 22, 1982. Invited colloquium talk at Mathematical Sciences Department, Rensselaer Polytechnic Institute, Troy, New York. [bib]


19810204A 
Die ChurchRosserEigenschaft der Reduktion modulo Polynomidealen (ChurchRosser Property of Reductions Modulo Polynomial Ideals). B. Buchberger. February 4, 1981. Invited colloquium talk at Institute of Computer Science, University of Hagen, Germany. [bib]


19810202A 
Ein MultiprozessorSystem: Konzept, Algorithmen, Hardware (A MultiProcessor System: Concept, Algorithms, Hardware). B. Buchberger. February 2, 1981. Invited colloquium talk at Institute of Computer Science, University of Bonn, Germany. [bib]


19810203A 
Eine systematische Untersuchung des Begriffs der kreativen Mengen in der Algorithmentheorie (A Systematic Investigation of the Notion of Creative Sets in Algorithm Theory). B. Buchberger. February 3, 1981. Invited colloquium talk at Institute of Computer Science, University of Dortmund, Germany. [bib]


19791203A 
Die HardwareImplementierung rekursiver Prozeduren durch ein MultiprozessorSystem (The HardwareImplementation of Recursive Procedures by a MultiMicroprocessor System). B. Buchberger. December 3, 1979. Invited colloquium talk at Institute of Computer Science, University of Karlsruhe, Germany. [bib]


19780410A 
Ein Algorithmus zur Konstruktion von GroebnerBasen fuer Polynomideale (An Algorithm for Constructing Groebner Bases of Polynomial Ideals). B. Buchberger. April 10, 1978. Invited colloquium talk at Institute of Computer Science, University of Karlsruhe, Germany. [bib]


19781220A 
Eine konstruktive Loesung des Hauptproblems der Theorie der Polynomideale (A Constructive Solution of the Main Problem in the Theory of Polynomial Ideals). B. Buchberger. November 20, 1978. Invited colloquium talk at Institute of Computer Science, ETH Zurich, Switzerland. [bib]


19770204A 
Einige Untersuchungen zu universellen Automaten (Some Investigations on Universal Automata). B. Buchberger. February 4, 1977. Invited colloquium talk at Institute of Computer Science, University of Karlsruhe, Germany. [bib]


19760205A 
Maschinenunabhaengige Algorithmentheorie (MachineIndependent Algorithm Theory). B. Buchberger. February 5, 1976. Invited colloquium talk at Institute of Computer Science, University of Kaiserslautern, Germany. [bib]


19750303A 
Sistemi effettivi e la modificazione di programmi (Effective Systems and the Modification of Programs). B. Buchberger. March 3, 1975. Invited colloquium talk at Institute of Computer Science, University of Salerno, Italy. [bib]


19730626A 
Automatentheorie als Rahmen fuer die Semantik von Programmiersprachen (Automata Theory as a Framework for the Semantics of Programming Languages). B. Buchberger. June 26, 1973. Invited colloquium talk at Institute of Computer Science, University of Darmstadt, Germany. [bib]


19730100A 
Ein Fixpunktsatz in der Rekursionstheorie (A Fixpoint Theorem in Recursive Function Theory). B. Buchberger. January, 1973. Invited colloquium talk at Habilitation Lecture, University of Innsbruck, Austria. [bib]


19730604A 
Interpretation von Programmiersprachen durch Automaten (Interpretation of Programming Languages by Automata). B. Buchberger. June 4, 1973. Invited colloquium talk at Institute of Mathematics, University of Linz, Austria. [bib]


19730502A 
Ueber den Begriff des universellen Automaten (On the Notion of Universal Automaton). B. Buchberger. May 2, 1973. Invited colloquium talk at Institute of Computer Science, University of Dortmund, Germany. [bib]


19720700A 
Eine Interpretation der Blum'schen Komplexitaetsmasse (An Interpretation of Blum's Complexity Theory). B. Buchberger. July, 1972. Invited colloquium talk at Math. Physic. Society, University of Insbruck, Austria. [bib]


19720613A 
Ueber gewisse Zerlegungen von GoedelNumerierungen und die Semantik von Programmiersprachen (On Certain Decompositions of Gödel Numberings and the Semantics of Programming Languages). B. Buchberger. June 13, 1972. Invited colloquium talk at Institute of Computer Science, University of Munchen, Germany. [bib]


19710606A 
Associating Functions and the Operator of Conditioned Iteration. B. Buchberger. June 6, 1971. Invited colloquium talk at Institute for Mathematical Logic, University of Munchen, Germany. [bib]

