Publications of the Project F1302
UnpublishedUnInvited - 2000
September 27, 2008
UnpublishedUnInvited - 2000
September 27, 2008
Bibliography
- 1
- B. Buchberger, C. Dupré,
T. Jebelean, K. Kriftner, K. Nakagawa,
D. Vasaru, and W. Windsteiger.
The Theorema Project: A Progress Report.
8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, St. Andrews, Scotland, August 6-7, 2000. - 2
- B. Buchberger and D. Vasaru.
The Theorema PCS prover.
Jahrestagung der DMV, Dresden, September 18-22, 2000. - 3
- Theorema Group.
Theorema: A system for supporting mathematical proving implemented in Mathematica.
Conference of the Association for Symbolic Logic, Chicago, June 2000.
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