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


InProceedingsUnReferred - 1998


September 27, 2008

Bibliography

1
B. Buchberger.
Theorema: The Current Status.
In B. Buchberger and T. Jebelean, editors, Proceedings of the Second International Theorema Workshop, pages 5-37, 1998.
RISC report 98-10.
2
B. Buchberger, T. Jebelean, and K. Nakagawa.
Using the Predicate Logic Prover of Theorema for Formal Training in Mathematics.
In B. Buchberger and T. Jebelean, editors, Proceedings of the 2nd International Theorema Workshop, Hagenberg, Austria, pages 76-87, 1998.
3
B. Buchberger and W. Windsteiger.
The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols in the Theorema System.
In B. Buchberger and T. Jebelean, editors, Proceedings of the Second International Theorema Workshop, pages 88-98, 1998.
RISC report 98-10.
4
E. Tomuta, D. Vasaru, and M. Marin.
Handling Provers Cooperation in Theorema.
In B. Buchberger and T. Jebelean, editors, Proceedings of the Second International Theorema Workshop, pages 55-75, 1998.
RISC report 98-10.




Please direct your comments or eventual problem reports to webmaster.

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