
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 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.
20101116A 
The Softwarepark Hagenberg. B. Buchberger. November 16, 2010. Contributed talk at OCG  AARIT Convention on "European Perspectives of Austrian IT Research", Vienna, Austria. [bib]


20101111A 
The Softwarepark Hagenberg and Cloud Computing. B. Buchberger. November 11, 2010. Contributed talk at IBM Workshop on Cloud Computing, Geinberg, Austria. [bib]


20100803A 
Theorema: Where We Stand. B. Buchberger. August 35, 2010. Contributed talk at CIAO 2010 (19th Clam  Inka  OMRS Workshop), RISC, Austria. [bib]


20050701B 
Label Management in Theorema. F. Piroi, B. Buchberger. July, 2005. Contributed talk at 4th International Conference on Mathematical Knowledge Management. [bib]


20050401A 
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]


20040922A 
Algorithm Supported Mathematical Theory Exploration. B. Buchberger. September 2224, 2004. (Springer Lecture Notes in Artificial Intelligence, Vol. 3249, ISSN 03029743, ISBN 3540232125). Contributed talk at AISC 2004 (7th International Conference on Artificial Intelligence and Symbolic Computation), RISC, Johannes Kepler University, Austria. [pdf] [bib]


20040527A 
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]


20040919A 
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]


20030330A 
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]


20030212A 
The Institute eAustria: Objectives and a Model Project on Program Verification. B. Buchberger. February 12, 2003. Contributed talk at ComputerAided Verification of Information Systems: A Practical, IndustryOriented Approach, organized by the Institute eAustria Timisoara, Universitatea de Vest, Timisoara, Romania. [bib]


20030212B 
The Objective of the Institute eAustria and the Role of the Scientific Project. Practical and Theoretical Asptects of Program Verification. B. Buchberger. February 12, 2003. Contributed talk at ComputerAided Verification of Information Systems: A Practical, IndustryOriented Approach, RomanianAustrian Workshop, organized by the Institute eAustria Timisoara, West University, Timisoara. [bib]


20030215A 
Theorema: Current Work. B. Buchberger. February 1618, 2003. Contributed talk at Second International Conference on Mathematical Knowledge Management, Bertinoro, Italy, discussion session. [bib]


20020924A 
Formal Theory Exploration:The Lazy Thinking Paradigm. B. Buchberger. September 16, 2002. Contributed talk at Calculemus Meeting, Pisa, Italy. [bib]


20021020A 
Logic, Mathematics, Computer Science: The Accumulated Thinking Technology of Mankind. B. Buchberger. October 2022, 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]


20011207A 
Groebner Rings. B. Buchberger. December 714, 2001. Contributed talk at International Conference on Computational Algebraic Geometry, University of Hyderabad, India. [bib]


20010925A 
Introduction to Mathematical Knowledge Management. B. Buchberger. September 2426, 2001. Contributed talk at First International Workshop on Mathematical Knowledge Management, RISCLinz, Austria. [bib]


20010924A 
Mathematical Knowledge Management in THEOREMA. B. Buchberger. September 2426, 2001. Contributed talk at First International Workshop on Mathematical Knowledge Management (MKM 2001), RISCLinz, Austria, 17 pages. [bib]


20010326A 
Mathematik: Denktechnologie fuer das SoftwareZeitalter (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]


20010219B 
The PCS Prover in Theorema. B. Buchberger. February 1923, 2001. Lecture Notes in Computer Science 2178, 2201. ISSN 03029743, ISBN 354042959X. 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]


20010926A 
The Role of Logicographic Symbols for Mathematical Knowledge Management. B. Buchberger, K. Nakagawa. September 2426, 2001. Contributed talk at Proceedings of the First International Workshop on Mathematical Knowledge Management (B. Buchberger, O. Caprotti eds), RISCLinz, www.risc.unilinz.ac.at/institute/conferences/MKM2001/. [bib]


20001117A 
ITRevolution: Anforderungen an die ITRevolutionaere. B. Buchberger. November 17, 2000. Contributed talk at MCI Conference on the IT Revolution, Innsbruck, Austria. [bib]


20000525A 
Logicographic Symbols: A New Concept in Logic Syntax. B. Buchberger, K. Nakagawa. Kiev, May 25, 2000. Contributed talk at INTAS Workshop. [bib]


20000710A 
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]


19990401A 
Distance Teaching of Mathematics Using Theorema. B. Buchberger, T. Jebelean. April 13, 1999. Contributed talk at 3rd Technion Symposium on Software for Communication, Hagenberg, Austria. [bib]


19991006A 
Mathematics: Obsolete Knowledge or Key Technology?. B. Buchberger. October 6, 1999. Contributed talk at Seminar "European Women in Management", RISC, Hagenberg. [bib]


19990825A 
Theorema: A Proving System Based on Mathematica. B. Buchberger. August 25, 1999. Contributed talk at International Mathematica Symposium, RISC, Hagenberg. [bib]


19990818A 
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]


19991122A 
Towards Algorithm Verification in Theorema. B. Buchberger. November 22, 1999. Contributed talk at Workshop on Validated Software, Schloss Dagstuhl, Germany. [bib]


19980203A 
Groebner Bases: The Early Days. B. Buchberger. February 3, 1998. Contributed talk at Conference "33 Years of Groebner Bases", RISC, Hagenberg, Austria. [bib]


19980202A 
Introduction to Groebner Bases. B. Buchberger. February 2, 1998. Contributed talk at Conference "33 Years of Groebner Bases", RISC, Hagenberg, Austria. [bib]


19980629A 
Overview on the Theorema System. B. Buchberger. June 29, 1998. Contributed talk at International Theorema Workshop, RISC, Hagenberg, Austria. [bib]


19980112A 
The Main Theorem and Elementary Applications of Groebner Bases Theory. (8 hours). B. Buchberger. January 1217, 1998. Contributed talk at Intensive Course on Groebner Bases, RISC, Hagenberg, Austria. [bib]


19980810A 
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]


19970721A 
A Survey of the Theorema project. B. Buchberger, T. Jebelean, F. Kriftner, M. Marin, E. Tomuta, D. Vasaru. July 2123, 1997. Contributed talk at ISSAC'97 (International Symposium on Symbolic and Algebraic Computation), Maui, Hawaii. [bib]


19970500A 
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]


19970727A 
Application of Theorema for Proof Training. B. Buchberger, T. Jebelean. July 27, 1997. Contributed talk at IMACS Computer Algebra Conference, Maui, Hawaii, USA. [bib]


19970526A 
Functors for Mathematics. B. Buchberger. May 26, 1997. Contributed talk at Conference "Computer Algebra and Algebraic Geometry", Dagstuhl, Germany. [bib]


19970400A 
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]


19970130A 
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]


19970606A 
Overview on Theorema. B. Buchberger. June 6, 1997. Contributed talk at First International Theorema Workshop, RISC, Hagenberg, Austria. [bib]


19970915A 
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'97II. [bib]


19970428B 
Special Provers within the Theorema Project. B. Buchberger, M. Marin, E. Tomuta, D. Vasaru. April 2830, 1997. Contributed talk at CALCULEMUS'97 (International Workshop on Systems for Integrated Computation and Deduction), Trento, Italy. [bib]


19970428A 
The Present State of the Theorema Project and the Predicate Logic Prover. B. Buchberger, T. Jebelean, F. Kriftner. April 2830, 1997. Contributed talk at CALCULEMUS'97 (International Workshop on Systems for Integrated, Computation and Deduction), Trento, Italy. [bib]


19970917A 
The Theorema Project: An Overview. B. Buchberger. September 17, 1997. Contributed talk at Symposium on the TARA Project, University of Tsukuba, Japan. [bib]


19970728A 
The WhiteBox / BlackBox Principle in the Didatics of Symbolic Computation. B. Buchberger. July 28, 1997. Contributed talk at IMACS Computer Algebra Conference, Maui, Hawaii, USA. [bib]


19960310A 
Overview on the Theorema Project at RISC. B. Buchberger. March 10, 1996. Contributed talk at TMR Meeting "Calculemus", Univ. di Roma III, Italy. [bib]


19961116A 
The Present State of the Theorema Project. B. Buchberger. November 16, 1996. Contributed talk at TMR Meeting Calculemus, Dagstuhl, Germany. [bib]


19930300A 
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]


19881000A 
Determinant Polynomials and Groebner Bases. B. Buchberger. October, 1988. Contributed talk at Workshop on Groebner Bases, Cornell University, USA. [bib]


19870200A 
The Parallelization of CriticalPair/Completion Procedures on the LMachine. B. Buchberger. February, 1987. Contributed talk at Japanese Symp. on Functional Programming, RIKEN Institute. [bib]


19850900B 
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]


19850900A 
The LLanguage for the Parallel LMachine (A Parallel Architecture for AI Applications). B. Buchberger, P. Hintenaus. September, 1985. (InformatikFachberichte, Vol. 106, pp. 120131). Contributed talk at Conference of the Austrian Society for Aritificial Intelligence, Vienna. [pdf] [bib]


19850700A 
The LMachine: An Attempt at Parallel Hardware for Symbolic Computation. B. Buchberger. July, 1985. ( Springer Lecture Notes in Computer Science 229, pp. 333347). Contributed talk at AAECC Conference, Grenoble. [pdf] [bib]


19850401A 
The Parallel LMachine for Symbolic Computation. B. Buchberger. April 13, 1985. (Lectures Notes in Computer Science, Vol. 204, pp. 541542). Contributed talk at EUROCAL '85 (European Conference on Computer Algebra), Linz, Austria. [pdf] [bib]


19840000F 
A CriticalPair/Completion Algorithm for Finitely Generated Ideals in Rings. B. Buchberger. May 2328, 1984. (Lecture Notes in Computer Science, Vol. 171, pp.137161 ). Contributed talk at Symposium "Rekursive Kombinatorik", Muenster. [pdf] [bib]


19840605A 
The Present State of the LNetworks Project. B. Buchberger. June 58, 1984. Contributed talk at MIMI 84 (Conference on Mini and Microcomputers and Their Applications), Bari. [pdf] [bib]


19830116A 
A CriticalPair/Completion Algorithm for Ideals in Z[x1, ... , xn]. B. Buchberger. January 1622, 1983. (Tagunsbericht 41983, pp.2). Contributed talk at Workshop "Anwendbare Algebra", Mathematisches Forschungsinstitut Oberwolfach. [bib]


19830600A 
Components for Restructurable MultiMicroprocessor Systems of Arbitrary Topology. B. Buchberger. June, 1983. Contributed talk at 21st Symp. on Mini and Microcomputers, MIMI 83, Lugano. [bib]


19830300A 
Forschung und Lehre in der Arbeitsgruppe CAMPLinz (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]


19831004A 
Groebner Bases in General Rings. B. Buchberger. October 4, 1983. Contributed talk at Les Journées de SaintEtienne: Algorithmique, Calcul Formel, Arithmetique, Université de SaintEtienne. [bib]


19830300D 
LNetworks: MultiMicroprocessor Systems for Parallel Algorithms in Computer Algebra. B. Buchberger. March, 1983. Contributed talk at European Computer Algebra Conference (EUROCAL 83), Informal Session, London. [bib]


19831003A 
Parallel Symbolic Computation Using the LMachine. B. Buchberger. October 38, 1983. Contributed talk at 5eme Les Journées de SaintEtienne: Algorithmique, Calcul Formel, Arithmetique, Université de SaintEtienne, U.E.R de Sciences. [bib]


19810113A 
A Simplified Proof of the Characterization Theorem for GroebnerBases. L. Bachmair, B. Buchberger. January 1315, 1981. Contributed talk at Joint SAMAFCET/NIGSAM/SEASSMC Meeting on Computer Algebra, Antwerp, Belgium. [bib]


19810302B 
LNetzwerke: Eine paralleles Sprachkonzept mit HardwareRealisierung (Lnetworks: A Parallel Language Concept with Hardware Implementation). B. Buchberger, B.Quatember. March 23, 1981. Contributed talk at Symposium "Reports form Austrian Computer Science Institutes", University of Graz, Austria. [bib]


19810302A 
Mathematik fuer Informatik: Ein didaktisches Projekt (Mathematics for Computer Science: A Didactic Project). B. Buchberger, F. Lichtenberger. March 23, 1981. Contributed talk at Symposium "Reports form Austrian Computer Science Institutes", University of Graz, Austria. [bib]


19800900A 
A Universal VariableTopology MultiMicrocomputerSystem. B. Buchberger, K. Aspetsberger. September, 1980. Contributed talk at 6th International Symphosium on Mini and Microcomputers, MIMI '80, Budapest, Hungary. [pdf] [bib]


19790918B 
Automatisches Beweisen und Kuenstliche Intelligenz (Automated Theorem Proving and Artificial Intelligence). B. Buchberger. September 1820, 1979. Contributed talk at Workshop on Cryptographical Methods, Institute of System Sciences, University of Linz, Austria. [bib]


19790000A 
Computer Trees: A Concept for Parallel Processing. B. Buchberger, J. Fegerl, F. Lichtenberger.1979. Contributed talk at Microprocessing and Microsystems. [pdf] [bib]


19790918A 
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 1819, 1979. Contributed talk at Symposium "Reports form Austrian Computer Science Institutes", University of Linz, Austria. [bib]


19780200A 
ComputerTrees and Their Programming. B. Buchberger. February 1618, 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]


19770321A 
SimulationUniversal Automata. B. Buchberger, W. Menzel. March 2125, 1977. (Report No.41, Universitaet Dortmund, Abteilung Informatik, pp. 3034). Contributed talk at International Workshop on Semantics of Programming Languages, Bad Honnef. [bib]


19750202A 
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]


19721100A 
Modifications of Programs at Execution Time. B. Buchberger. November, 1972. Contributed talk at Symposium on Programming Languages, Oberwolfach, Germany. [bib]


19720400A 
Ueber gewisse Zerlegungen von GoedelNummerierungen (On Certain Decompositions of Goedel Numberings). B. Buchberger. April, 1972. Contributed talk at Symposium on Mathematical Logic, Oberwolfach, Germany. [bib]




