* B. Buchberger.
Mathematica: A System for Doing Mathematics by Computer?
In: A. Miola, M.Temperini (eds), Advances in the Design of Symbolic
Computation Systems, Springer New York - Vienna, 1997, pp.3-23.
1998 B.Buchberger.
Introduction to Groebner Bases.
In: International Conference "33 years of Groebner Bases"
(B. Buchberger, F.Winkler eds.),
Cambridge University Press in
"London Mathematical Society Lecture Note Series" no 251, pp.5.-25.
Technical reports
============
RISC-Report 97-04: Bruno Buchberger, Wolfgang Schreiner
CONCERT: A Software Architecture for Coordinating Education Sessions
in Distributed Environments
RISC-Report 97-34: Bruno Buchberger, Tudor Jebelean, Daniela Vasaru
Theorema: A System for Formal Scientific Training in Natural
Language Presentation
(to be published in proceedings of ED-MEDIA 98)
Bruno Buchberger:
A Note on Computing Times in Different Programming Styles in Mathematica
in The First International Theorema Workshop (RISC-Report 97-20)
Bruno Buchberger, Mircea Marin
Proving by Simplification
in The First International Theorema Workshop (RISC-Report 97-20)
Bruno Buchberger
Proving, Solving, Computing. A Language Environment Based on Mathematica
in The First International Theorema Workshop (RISC-Report 97-20)
Bruno Buchberger
The Theorema prover for equalities over the natural numbers
in The First International Theorema Workshop (RISC-Report 97-20)
Bruno Buchberger, Daniela Vasaru
Theorema: The Induction Prover over Lists
in The First International Theorema Workshop (RISC-Report 97-20)
Bruno Buchberger, Franz Kriftner
Theorema: The Language
in The First International Theorema Workshop (RISC-Report 97-20)
Bruno Buchberger, Tudor Jebelean
Theorema: The Predicate Logic Prover
in The First International Theorema Workshop (RISC-Report 97-20)
Editor of Proceedings
=================
Bruno Buchberger, Franz Winkler (editors):
International Conference "33 years of Groebner Bases",
published by Cambridge University Press in
"London Mathematical Society Lecture Note Series" no 251, 560 pages.
Bruno Buchberger, Daniela Vasaru (editors):
The First International Theorema Workshop
9-10 June, 1997
RISC, Hagenberg, Austria
published in RISC-Reports series no. 97-20
Talks
==========
Bruno Buchberger.
Functor Programming in Mathematica.
Colloquium talk: Australian National University, Computer Science Dep.,
Feb 8, 1996.
Bruno Buchberger.
Introduction to Groebner Bases I and II.
Colloquium talk: Australian National University, Computer Science Dep.,
Canberra,
Feb. 12 and 15, 1996.
Bruno Buchberger.
Funtional Programming in Mathematica.
Colloquium talk: Mac Quarie Univ., Sydney, Feb 16, 1996.
B. Buchberger.
Groebner Bases: Some Details.
Colloquium talk: University of Sydney, Feb 19, 1996.
B.Buchberger.
RISC and the Software Park Hagenberg.
Colloquium talk: Australian Chamber of Commerce, Canberra,
Feb. 22, 1996.
B.Buchberger.
Beyond Mathematica: The Future of Mathematical Software Systems.
Public Lecture at Australian National University, Canberra.
Feb. 25, 1996.
B.Buchberger.
Overview on the Apply Math Project at RISC.
TMR Meeting "Caclulemus", Univ. di Roma III, March 10, 1996.
B. Buchberger.
Future Directions in Mathematical Software Systems: Combining Algebra and Logic.
Invited Talk at Symposium of the Academia Europea, Amsterdam, April 4, 1996.
B.Buchberger.
A Language for Pure and Algorithmic Math.
Colloquium talk: Wolfram Research International, Champaign/Illinois, May
17, 1996.
B.Buchberger.
Functor Programming in Mathematica.
Colloquium talk: University of Delaware, Departmant for Information and
Systems Sciences.
May 24, 1996.
B.Buchberger.
Zur Zukunft der Computer-Algebra.
Invited Talk: Symposium at the Occasion of the Honoray Doctorate for George
Collins.
May 28, 1996.
B.Buchberger.
Computer-Algebra und Theorem Proving
Colloquium talk: Deutsches Forschungsinstitut fuer kuenstliche
Intelligenz, Saarbruecken.
June 30, 1996.
B.Buchberger.
Which Mathematics for Which Students?
Invited talk at Derive Conference, GMD, Bonn, July 2, 1996.
B.Buchberger.
Integrating theorem proving into computer algebra systems.
Computer Algebra Conference at the Fujitsui Labs, in Numazu, Japan,
August 13,1996.
B.Buchberger.
Proving and Computing.
Invited talk at the
"Multiparadigm Logic Programming" Conference, Bonn, Sep 6, 1996.
B. Buchberger.
The RISC Institute and the Software Park in Hagenberg, Austria.
Colloquium talk: Panasonic Headquarters, Tokyo,
Oct 16, 1996.
B.Buchberger.
The Theorema Project at the RISC Institute.
Colloquium talk: University of Kyoto, Dep. of Computer Science,
Oct. 28, 1966.
B.Buchberger.
The Present State of the Theorema Project.
TMR Meeting Calculemus, Dagstuhl, Nov. 16, 1996.
B.Buchberger.
Towards Integrating Theorem Proving and Computer Algebra.
Invited talk at Symposium on the Occasion of Prof. Ton Levelt's retirement.
Univ. of Nijmegen, Jan. 10, 1997.
B.Buchberger.
The Cooperation between University and Industry.
Invited talk at the TARA Satellite Symposium,
University of Tsukuba, Japan,
Feb. 18, 1997.
B.Buchberger.
A Short Course on Automated Theorem Proving Using Mathematica.
Univ. of Hiroshima, Dep. of Computer Science,
Feb.26-28, 1997.
Bruno Buchberger:
"Natural Language Proof in Nested Cells Representation",
presented at the First International Workshop on Proof
Transformation and
Presentation,
Schloss Dagstuhl, Germany, April 1997.
Bruno Buchberger, Tudor Jebelean, Franz Kriftner:
"The Present State of the Theorema Project and the Predicate Logic
Prover",
presented at CALCULEMUS'97 (International Workshop on Systems for
Integrated
Computation and Deduction,
Trento, Italy, April 1997).
Bruno Buchberger, Mircea Marin, Robert Pollak, Elena Tomuta, Daniela
Vasaru:
"Special Provers within the Theorema Project",
presented at CALCULEMUS'97 (International Workshop on Systems for
Integrated
Computation and Deduction,
Trento, Italy, April 1997).
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin,
Robert Pollak,
Elena Tomuta, Daniela Vasaru:
"A Survey of the Theorema Project and its Applications
for Interactive Textbooks in Mathematics",
presented at MaTILDA'97 (International Workshop on Mathematical
Tools in
Interactive Learning,
Amsterdam, May 1997).
B,Buchberger.
The Theorema Project: An Overview.
Colloquium talk: Univ. of Brno, Institute of Computer Science,
May 6, 1997.
B.Buchberger.
Two Examples of Computer Algebra Research.
Invited talk at
International Workshop "Mathematical Physics - today,
Priority Technologies - for tomorrow", 12--17 May 1997,
University of Kiev.
B.Buchberger.
Functors for Mathematics.
Conference "Computer Algebra and Algebraic Geometry",
Dagstuhl, May 26, 1997.
B.Buchberger.
Using Mathematica for Theorem Proving.
Televideo talk at International Mathematica Symposium, Helsinki,
June 26, 1997.
B.Buchberger.
On Overview on the Theorema Project.
Colloquium talk at GMD, Bonn,
July 3, 1997
B.Buchberger.
Forschung am RISC.
Hearing of the Austrian Academy of Science, Vienna,
4 July 1997.
B.Buchberger, T.Jebelean.
Application of Mathematica for Proof Training.
IMACS-Computer Algebra Conference, Maui, Hawaii, July 27, 1997.
B. Buchberger:
Computing, Solving, Proving: A Survey on the Theorema Project.
Invited talk at the Logic Programming and Nonmonotonic Reasoning Conference,
Dagstuhl, July 30, 1997.
B.Buchberger.
The Theorema Project: An Overview.
Symposium on the TARA Project, Univ. of Tsukuba, Japan,
Sep. 17, 1997.
Bruno Buchberger, Tudor Jebelean, Franz Kriftner, Mircea Marin, Robert Pollak,
Elena Tomuta, Daniela Vasaru
"Progress of the Theorema Project",
presented at CALCULEMUS'97-II (Edinburgh, UK, September 1997)
B.Buchberger.
A Short Course on Groebner Bases.
University of Electro-Communications, Dep. of Computer Science, Tokyo,
Oct. 8-9, 1997.
B.Buchberger.
Introduction to Groebner Bases and Applications.
University of Tsukuba, Institute of Mathematics,
Oct. 26, 1997.