Publications of the Project F1302
UnpublishedColloquium - 1998
September 27, 2008
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
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund