* 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.