| |
Contributed 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 e-mail
to buchberger@risc.uni-linz.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.
|
A Personal Tribute to James Davenport. Bruno Buchberger. September 12, 2023. Contributed talk at SYNASC 2023. [bib]
|
|
| 2010-11-16-A |
The Softwarepark Hagenberg. B. Buchberger. November 16, 2010. Contributed talk at OCG - AARIT Convention on "European Perspectives of Austrian IT Research", Vienna, Austria. [bib]
|
|
| 2010-11-11-A |
The Softwarepark Hagenberg and Cloud Computing. B. Buchberger. November 11, 2010. Contributed talk at IBM Workshop on Cloud Computing, Geinberg, Austria. [bib]
|
|
| 2010-08-03-A |
Theorema: Where We Stand. B. Buchberger. August 3-5, 2010. Contributed talk at CIAO 2010 (19th Clam - Inka - OMRS Workshop), RISC, Austria. [bib]
|
|
| 2005-07-01-B |
Label Management in Theorema. F. Piroi, B. Buchberger. July, 2005. Contributed talk at 4th International Conference on Mathematical Knowledge Management. [bib]
|
|
| 2005-04-01-A |
Mathematical Knowledge Management in the Frame of Verification and Synthesis of Generic Algorithms for Groebner Bases. Camelia Rosenkranz, Ralf Hemmecke, Tudor Jebelean, Bruno Buchberger. April 1, 2005. Contributed talk at SFB Statusseminar, Strobl, Austria. [bib]
|
|
| 2004-09-22-A |
Algorithm Supported Mathematical Theory Exploration. B. Buchberger. September 22-24, 2004. (Springer Lecture Notes in Artificial Intelligence, Vol. 3249, ISSN 0302-9743, ISBN 3-540-23212-5). Contributed talk at AISC 2004 (7th International Conference on Artificial Intelligence and Symbolic Computation), RISC, Johannes Kepler University, Austria. [pdf] [bib]
|
|
| 2004-05-27-A |
Algorithmic Algorithm Synthesis: Case Study Groebner Bases. B. Buchberger. May 26 - June 2, 2004. Contributed talk at International Algebra Conference, Moscow State University. [nb] [bib]
|
|
| 2004-09-19-A |
Predicate Logic with Sequence Variables and Sequence Function Symbols. T. Kutsia, B. Buchberger. September, 2004. Contributed talk at the 3rd International Conference on Mathematical Knowledge Management (MKM'04). [pdf] [bib]
|
|
| 2003-03-30-A |
Calculemus at RISC: The THEOREMA Project. B. Buchberger. March 30, 2003. Contributed talk at Calculemus Midterm Review, Saarland University and German Research Center for AI (DFKI) Saarbruecken, Germany. [ppt] [bib]
|
|
| 2003-02-12-A |
The Institute e-Austria: Objectives and a Model Project on Program Verification. B. Buchberger. February 12, 2003. Contributed talk at Computer-Aided Verification of Information Systems: A Practical, Industry-Oriented Approach, organized by the Institute e-Austria Timisoara, Universitatea de Vest, Timisoara, Romania. [bib]
|
|
| 2003-02-12-B |
The Objective of the Institute e-Austria and the Role of the Scientific Project. Practical and Theoretical Asptects of Program Verification. B. Buchberger. February 12, 2003. Contributed talk at Computer-Aided Verification of Information Systems: A Practical, Industry-Oriented Approach, Romanian-Austrian Workshop, organized by the Institute e-Austria Timisoara, West University, Timisoara. [bib]
|
|
| 2003-02-15-A |
Theorema: Current Work. B. Buchberger. February 16-18, 2003. Contributed talk at Second International Conference on Mathematical Knowledge Management, Bertinoro, Italy, discussion session. [bib]
|
|
| 2002-09-24-A |
Formal Theory Exploration:The Lazy Thinking Paradigm. B. Buchberger. September 16, 2002. Contributed talk at Calculemus Meeting, Pisa, Italy. [bib]
|
|
| 2002-10-20-A |
Logic, Mathematics, Computer Science: The Accumulated Thinking Technology of Mankind. B. Buchberger. October 20-22, 2002. Contributed talk at Conference on Logic, Mathematics and Computer Science (LMCS 2002), Symposium in Honor of Bruno Buchberger's 60th Birthday, RISC, Hagenberg, Austria. [bib]
|
|
| 2001-12-07-A |
Groebner Rings. B. Buchberger. December 7-14, 2001. Contributed talk at International Conference on Computational Algebraic Geometry, University of Hyderabad, India. [bib]
|
|
| 2001-09-25-A |
Introduction to Mathematical Knowledge Management. B. Buchberger. September 24-26, 2001. Contributed talk at First International Workshop on Mathematical Knowledge Management, RISC-Linz, Austria. [bib]
|
|
| 2001-09-24-A |
Mathematical Knowledge Management in THEOREMA. B. Buchberger. September 24-26, 2001. Contributed talk at First International Workshop on Mathematical Knowledge Management (MKM 2001), RISC-Linz, Austria, 17 pages. [bib]
|
|
| 2001-03-26-A |
Mathematik: Denktechnologie fuer das Software-Zeitalter (Mathematics: Thinking Technology for the Software Age). B. Buchberger. March 26, 2001. Contributed talk at Presentation Day of the Software Competence Center Hagenberg, Schloss Hagenberg, Austria. [bib]
|
|
| 2001-02-19-B |
The PCS Prover in Theorema. B. Buchberger. February 19-23, 2001. Lecture Notes in Computer Science 2178, 2201. ISSN 0302-9743, ISBN 3-540-42959-X. Contributed talk at EUROCAST 2001 (8th International Conference on Computer Aided Systems Theory - Formal Methods and Tools for Computer Science), Las Palmas de Gran Canaria. [ps] [pdf] [abstract] [bib]
|
|
| 2001-09-26-A |
The Role of Logicographic Symbols for Mathematical Knowledge Management. B. Buchberger, K. Nakagawa. September 24-26, 2001. Contributed talk at Proceedings of the First International Workshop on Mathematical Knowledge Management (B. Buchberger, O. Caprotti eds), RISC-Linz, www.risc.uni-linz.ac.at/institute/conferences/MKM2001/. [bib]
|
|
| 2000-11-17-A |
IT-Revolution: Anforderungen an die IT-Revolutionaere. B. Buchberger. November 17, 2000. Contributed talk at MCI Conference on the IT Revolution, Innsbruck, Austria. [bib]
|
|
| 2000-05-25-A |
Logicographic Symbols: A New Concept in Logic Syntax. B. Buchberger, K. Nakagawa. Kiev, May 25, 2000. Contributed talk at INTAS Workshop. [bib]
|
|
| 2000-07-10-A |
The Facilities of Theorema for Teaching Logic and Mathematics. B. Buchberger, T. Jebelean et al. July 10, 2000. Contributed talk at IMA Conference on Applied Computer Algebra. [bib]
|
|
| 1999-04-01-A |
Distance Teaching of Mathematics Using Theorema. B. Buchberger, T. Jebelean. April 1-3, 1999. Contributed talk at 3rd Technion Symposium on Software for Communication, Hagenberg, Austria. [bib]
|
|
| 1999-10-06-A |
Mathematics: Obsolete Knowledge or Key Technology?. B. Buchberger. October 6, 1999. Contributed talk at Seminar "European Women in Management", RISC, Hagenberg. [bib]
|
|
| 1999-08-25-A |
Theorema: A Proving System Based on Mathematica. B. Buchberger. August 25, 1999. Contributed talk at International Mathematica Symposium, RISC, Hagenberg. [bib]
|
|
| 1999-08-18-A |
Theorema: A Proving System Based on Mathematica. B. Buchberger. August 18, 1999. Contributed talk at International Symposium on Symbolic and Numeric Scientific Computing, RISC, Hagenberg, Austria. [bib]
|
|
| 1999-11-22-A |
Towards Algorithm Verification in Theorema. B. Buchberger. November 22, 1999. Contributed talk at Workshop on Validated Software, Schloss Dagstuhl, Germany. [bib]
|
|
| 1998-02-03-A |
Groebner Bases: The Early Days. B. Buchberger. February 3, 1998. Contributed talk at Conference "33 Years of Groebner Bases", RISC, Hagenberg, Austria. [bib]
|
|
| 1998-02-02-A |
Introduction to Groebner Bases. B. Buchberger. February 2, 1998. Contributed talk at Conference "33 Years of Groebner Bases", RISC, Hagenberg, Austria. [bib]
|
|
| 1998-06-29-A |
Overview on the Theorema System. B. Buchberger. June 29, 1998. Contributed talk at International Theorema Workshop, RISC, Hagenberg, Austria. [bib]
|
|
| 1998-01-12-A |
The Main Theorem and Elementary Applications of Groebner Bases Theory. (8 hours). B. Buchberger. January 12-17, 1998. Contributed talk at Intensive Course on Groebner Bases, RISC, Hagenberg, Austria. [bib]
|
|
| 1998-08-10-A |
Using Theorema for Mathematical Education. B. Buchberger, T. Jebelean. August 10, 1998. Contributed talk at IMACS Conference on Applied Computer Algebra, Prague, Czech Republic. [bib]
|
|
| 1997-07-21-A |
A Survey of the Theorema project. B. Buchberger, T. Jebelean, F. Kriftner, M. Marin, E. Tomuta, D. Vasaru. July 21-23, 1997. Contributed talk at ISSAC'97 (International Symposium on Symbolic and Algebraic Computation), Maui, Hawaii. [bib]
|
|
| 1997-05-00-A |
A Survey of the Theorema Project and its Applications for Interactive Textbooks in Mathematics. B. Buchberger, T. Jebelean, F. Kriftner, M. Marin, E. Tomuta, D. Vasaru. May, 1997. Contributed talk at MATILDA'97 (International Workshop on Mathematical Tools in Interactive Learning), Amsterdam, The Netherlands. [bib]
|
|
| 1997-07-27-A |
Application of Theorema for Proof Training. B. Buchberger, T. Jebelean. July 27, 1997. Contributed talk at IMACS Computer Algebra Conference, Maui, Hawaii, USA. [bib]
|
|
| 1997-05-26-A |
Functors for Mathematics. B. Buchberger. May 26, 1997. Contributed talk at Conference "Computer Algebra and Algebraic Geometry", Dagstuhl, Germany. [bib]
|
|
| 1997-04-00-A |
Natural Language Proofs in Nested Cells Representation. B. Buchberger. April, 1997. Contributed talk at First International Workshop on Proof Transformation and Presentation, Schloss Dagstuhl, Germany. [bib]
|
|
| 1997-01-30-A |
Neural Networks and Symbolic Computation in Robotics. B. Buchberger, W. Jacak. January 30, 1997. Contributed talk at Real World Computing Conference, Poster Session, Tokyo, Japan. [bib]
|
|
| 1997-06-06-A |
Overview on Theorema. B. Buchberger. June 6, 1997. Contributed talk at First International Theorema Workshop, RISC, Hagenberg, Austria. [bib]
|
|
| 1997-09-15-A |
Progress of the Theorema Project. B. Buchberger, T. Jebelean, F. Kriftner, M. Marin, R. Pollak, E. Tomuta, D. Vasaru. Edinburgh, UK, September 15, 1997. Contributed talk at CALCULEMUS'97-II. [bib]
|
|
| 1997-04-28-B |
Special Provers within the Theorema Project. B. Buchberger, M. Marin, E. Tomuta, D. Vasaru. April 28-30, 1997. Contributed talk at CALCULEMUS'97 (International Workshop on Systems for Integrated Computation and Deduction), Trento, Italy. [bib]
|
|
| 1997-04-28-A |
The Present State of the Theorema Project and the Predicate Logic Prover. B. Buchberger, T. Jebelean, F. Kriftner. April 28-30, 1997. Contributed talk at CALCULEMUS'97 (International Workshop on Systems for Integrated, Computation and Deduction), Trento, Italy. [bib]
|
|
| 1997-09-17-A |
The Theorema Project: An Overview. B. Buchberger. September 17, 1997. Contributed talk at Symposium on the TARA Project, University of Tsukuba, Japan. [bib]
|
|
| 1997-07-28-A |
The White-Box / Black-Box Principle in the Didatics of Symbolic Computation. B. Buchberger. July 28, 1997. Contributed talk at IMACS Computer Algebra Conference, Maui, Hawaii, USA. [bib]
|
|
| 1996-03-10-A |
Overview on the Theorema Project at RISC. B. Buchberger. March 10, 1996. Contributed talk at TMR Meeting "Calculemus", Univ. di Roma III, Italy. [bib]
|
|
| 1996-11-16-A |
The Present State of the Theorema Project. B. Buchberger. November 16, 1996. Contributed talk at TMR Meeting Calculemus, Dagstuhl, Germany. [bib]
|
|
| 1993-03-00-A |
Systolic Multiprecision Arithmetic. B. Buchberger, T. Jebelean. March, 1993. Contributed talk at Impact TEMPUS JEP and Hungarian Transputer Users Group Workshop "Parallel Processing in Education'', Miskolc, Hungary. [bib]
|
|
| 1988-10-00-A |
Determinant Polynomials and Groebner Bases. B. Buchberger. October, 1988. Contributed talk at Workshop on Groebner Bases, Cornell University, USA. [bib]
|
|
| 1987-02-00-A |
The Parallelization of Critical-Pair/Completion Procedures on the L-Machine. B. Buchberger. February, 1987. Contributed talk at Japanese Symp. on Functional Programming, RIKEN Institute. [bib]
|
|
| 1985-09-00-B |
Exact Computation by Hensel Codes: Complete Procedures. B. Buchberger, K. Dittenberger. September, 1985. Contributed talk at Conference on Computer Algebra and Its Applications in Theoretical Physics, Dubna (Moscow). [bib]
|
|
| 1985-09-00-A |
The L-Language for the Parallel L-Machine (A Parallel Architecture for AI Applications). B. Buchberger, P. Hintenaus. September, 1985. (Informatik-Fachberichte, Vol. 106, pp. 120-131). Contributed talk at Conference of the Austrian Society for Aritificial Intelligence, Vienna. [pdf] [bib]
|
|
| 1985-07-00-A |
The L-Machine: An Attempt at Parallel Hardware for Symbolic Computation. B. Buchberger. July, 1985. ( Springer Lecture Notes in Computer Science 229, pp. 333-347). Contributed talk at AAECC Conference, Grenoble. [pdf] [bib]
|
|
| 1985-04-01-A |
The Parallel L-Machine for Symbolic Computation. B. Buchberger. April 1-3, 1985. (Lectures Notes in Computer Science, Vol. 204, pp. 541-542). Contributed talk at EUROCAL '85 (European Conference on Computer Algebra), Linz, Austria. [pdf] [bib]
|
|
| 1984-00-00-F |
A Critical-Pair/Completion Algorithm for Finitely Generated Ideals in Rings. B. Buchberger. May 23-28, 1984. (Lecture Notes in Computer Science, Vol. 171, pp.137-161 ). Contributed talk at Symposium "Rekursive Kombinatorik", Muenster. [pdf] [bib]
|
|
| 1984-06-05-A |
The Present State of the L-Networks Project. B. Buchberger. June 5-8, 1984. Contributed talk at MIMI 84 (Conference on Mini- and Microcomputers and Their Applications), Bari. [pdf] [bib]
|
|
| 1983-01-16-A |
A Critical-Pair/Completion Algorithm for Ideals in Z[x1, ... , xn]. B. Buchberger. January 16-22, 1983. (Tagunsbericht 4|1983, pp.2). Contributed talk at Workshop "Anwendbare Algebra", Mathematisches Forschungsinstitut Oberwolfach. [bib]
|
|
| 1983-06-00-A |
Components for Restructurable Multi-Microprocessor Systems of Arbitrary Topology. B. Buchberger. June, 1983. Contributed talk at 21st Symp. on Mini- and Microcomputers, MIMI 83, Lugano. [bib]
|
|
| 1983-03-00-A |
Forschung und Lehre in der Arbeitsgruppe CAMP-Linz (Research and Teaching Activities in the Working Group CAMP in Linz). B. Buchberger. March, 1983. Contributed talk at Symposium "Reports from Austrian Computer Science Institutes", Innsbruck, Austria. [bib]
|
|
| 1983-10-04-A |
Groebner Bases in General Rings. B. Buchberger. October 4, 1983. Contributed talk at Les Journées de Saint-Etienne: Algorithmique, Calcul Formel, Arithmetique, Université de Saint-Etienne. [bib]
|
|
| 1983-03-00-D |
L-Networks: Multi-Microprocessor Systems for Parallel Algorithms in Computer Algebra. B. Buchberger. March, 1983. Contributed talk at European Computer Algebra Conference (EUROCAL 83), Informal Session, London. [bib]
|
|
| 1983-10-03-A |
Parallel Symbolic Computation Using the L-Machine. B. Buchberger. October 3-8, 1983. Contributed talk at 5eme Les Journées de Saint-Etienne: Algorithmique, Calcul Formel, Arithmetique, Université de Saint-Etienne, U.E.R de Sciences. [bib]
|
|
| 1981-01-13-A |
A Simplified Proof of the Characterization Theorem for Groebner-Bases. L. Bachmair, B. Buchberger. January 13-15, 1981. Contributed talk at Joint SAM-AFCET/NIGSAM/SEAS-SMC Meeting on Computer Algebra, Antwerp, Belgium. [bib]
|
|
| 1981-03-02-B |
L-Netzwerke: Eine paralleles Sprachkonzept mit Hardware-Realisierung (L-networks: A Parallel Language Concept with Hardware Implementation). B. Buchberger, B.Quatember. March 2-3, 1981. Contributed talk at Symposium "Reports form Austrian Computer Science Institutes", University of Graz, Austria. [bib]
|
|
| 1981-03-02-A |
Mathematik fuer Informatik: Ein didaktisches Projekt (Mathematics for Computer Science: A Didactic Project). B. Buchberger, F. Lichtenberger. March 2-3, 1981. Contributed talk at Symposium "Reports form Austrian Computer Science Institutes", University of Graz, Austria. [bib]
|
|
| 1980-09-00-A |
A Universal Variable-Topology Multi-Microcomputer-System. B. Buchberger, K. Aspetsberger. September, 1980. Contributed talk at 6th International Symphosium on Mini- and Microcomputers, MIMI '80, Budapest, Hungary. [pdf] [bib]
|
|
| 1979-09-18-B |
Automatisches Beweisen und Kuenstliche Intelligenz (Automated Theorem Proving and Artificial Intelligence). B. Buchberger. September 18-20, 1979. Contributed talk at Workshop on Cryptographical Methods, Institute of System Sciences, University of Linz, Austria. [bib]
|
|
| 1979-00-00-A |
Computer Trees: A Concept for Parallel Processing. B. Buchberger, J. Fegerl, F. Lichtenberger.1979. Contributed talk at Microprocessing and Microsystems. [pdf] [bib]
|
|
| 1979-09-18-A |
Ein Ueberblick ueber die Forschungsaktivitaeten in der Arbeitsgruppe CAMP in Linz (An Overview on the Research Activities of the Working Group CAMP in Linz). B. Buchberger, F. Lichtenberger. September 18-19, 1979. Contributed talk at Symposium "Reports form Austrian Computer Science Institutes", University of Linz, Austria. [bib]
|
|
| 1978-02-00-A |
Computer-Trees and Their Programming. B. Buchberger. February 16-18, 1978. Contributed talk at Proc. of the 4th Coll. "Les arbres en algebre et en programmation", University of Lille, Dept. of Computer Science. [pdf] [bib]
|
|
| 1977-03-21-A |
Simulation-Universal Automata. B. Buchberger, W. Menzel. March 21-25, 1977. (Report No.41, Universitaet Dortmund, Abteilung Informatik, pp. 30-34). Contributed talk at International Workshop on Semantics of Programming Languages, Bad Honnef. [bib]
|
|
| 1975-02-02-A |
Effektive Systeme als Rahmen fuer die digitale Computerwissenschaft (Effective Systems as a Framework for Digital Computer Science). B. Buchberger. February 2, 1975. Contributed talk at Austrian Mathematical Syposium, Linz, Austria. [bib]
|
|
| 1972-11-00-A |
Modifications of Programs at Execution Time. B. Buchberger. November, 1972. Contributed talk at Symposium on Programming Languages, Oberwolfach, Germany. [bib]
|
|
| 1972-04-00-A |
Ueber gewisse Zerlegungen von Goedel-Nummerierungen (On Certain Decompositions of Goedel Numberings). B. Buchberger. April, 1972. Contributed talk at Symposium on Mathematical Logic, Oberwolfach, Germany. [bib]
|
|
|
|
|
