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

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1302


InProceedingsReferred - 1998


September 27, 2008

Bibliography

1

B. Buchberger, K. Aigner, C. Dupre, T. Jebelean, F. Kriftner, M. Marin, K. Nakagawa, O. Podisor, E. Tomuta, Y. Usenko, D. Vasaru, and W. Windsteiger.
Theorema: An Integrated System for Computation and Deduction in Natural Style.
In Proceedings of CADE 98 (International Conference on Computer Aided Deduction), Lindau, Germany, July 5-10, 1998.
Workshop on integration of proving and computing.

2

B. Buchberger, T. Jebelean, and D. Vasaru.
Theorema: A System for Formal Scientific Training in Natural Language Presentation.
In Proceedings of ED-MEDIA 98 (International Conference on Educational Multimedia), Freiburg, Germany, pages 174-179, June 20-23 1998.

3

B. Buchberger and W. Windsteiger.
The Theorema Language: Implementing Object- and Meta-Level Usage of Symbols.
In Proceedings of Calculemus 98, Eindhoven, Netherlands, 1998.

4

F. Kriftner.
Theorema: The Language.
In B. Buchberger and T. Jebelean, editors, Proceedings of the Second International Theorema Workshop, Hagenberg, Austria, pages 39-54, 1998.
available as RISC report 98-10.

5

E. Tomuta and B. Buchberger.
Combining Provers in the Theorema System.
In Proceedings of the Sixth Rhine Workshop on Computer Algebra, March 31.-April 3, Sankt Augustin, Germany, 1998.

Please direct your comments or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund