The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics
Home
Appointments
Papers
Misc
Contact

Technical Reports

Publication Lists

Annual Reports


Publications of the Project F1302


UnpublishedColloquium - 1998


September 27, 2008

Bibliography

1
B. Buchberger.
Intensive Course on Gröbner Bases (30 hours).
Universitad de Oriente, Santiago, Cuba, 1998.
2
B. Buchberger.
Symbolic Computation: Ein überblick.
Universität Hamburg, Institut für Informatik, 1998.
3
B. Buchberger.
Theorema: Automatisches Beweisen für Lehre und Forschung.
Universität Leipzig, Mathematisches Institut, 1998.
4
B. Buchberger.
Theorema: Computer-Supported Mathematical Proving.
Annual Meeting of the Mathematics Department of the University of Wales, UK, 1998.
5
B. Buchberger.
Theorema: Computer-Unterstuetztes mathematisches Beweisen, 1998-4-24.
Universität Karlsruhe, Institut für Informatik, 1998.
6
B. Buchberger.
The Theorema Project.
Universidad de Oriente, Santiogo, Cuba, 1998.
7
B. Buchberger.
The Theorema Project: An Introduction.
Research Institute IRST, Trento, 1998-2-19, 1998.




Please direct your comments or eventual problem reports to webmaster.

SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund