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


InProceedingsReferred - 2000


September 27, 2008

Bibliography

1
B. Buchberger.
Mathematica and computer science: A personal view.
In T. Jebelean and V. Negru, editors, Proceedings of the Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing, (SYNASC'00), Timisoara, Romania, October 2000.
2
B. Buchberger.
Theorema Proving For and With Gröbner Bases.
In K. Galkowski and E. Rogers, editors, Proceedings of the Second International Workshop on Multidimensional (nD) Systems, June 27-30, Czocha Castle, Poland, pages 15-22, 2000.
3
B. Buchberger.
Theory exploration with Theorema.
In T. Jebelean and V. Negru, editors, Proceedings of the Second International Workshop on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'00), Timisoara, Romania, October 2000.
4
B. Buchberger, C. Dupré, T. Jebelean, K. Kriftner, K. Nakagawa, D. Vasaru, and W. Windsteiger.
The Theorema project: A progress report.
In M. Kerber and M. Kohlhase, editors, Proceedings of the 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, St. Andrews, Scotland, pages 100-115, August 2000.
5
B. Buchberger and K. Nakagawa.
Logicographic symbols: A new concept in logic syntax.
In Proceedings of the INTAS Conference on Rewriting Techniques and Efficient Theorem Proving, 2000.
6
B. Buchberger, D. Vasaru, and T. Jebelean.
The Theorema system: Current status and the proving-solving-computing cycle.
In Proceedings of RTETP (Rewriting Techniques and Efficient Theorem Proving), Kiev, June 2000.
7
T. Jebelean and B. Konev.
Using meta-variables for natural deduction in Theorema.
In M. Kerber and M. Kohlhase, editors, Proceedings of the CALCULEMUS 2000 8th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, pages 160-175, St. Andrews, Scotland, August 6-7 2000.
8
B. Konev and T. Jebelean.
Combining level-saturation strategies and meta-variables for predicate logic proving in Theorema.
In IMACS ACA 2000, St. Petersburg, Russia, June 2000.




Please direct your comments or eventual problem reports to webmaster.

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