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


UnpublishedUnInvited - 2001


September 27, 2008

Bibliography

1
T. Jebelean.
Natural style predicate logic proving in Theorema.
ICAI'01: 5th International Conference on Applied Informatics Eger, Hungary, January 2001.
2
T. Jebelean and B. Buchberger.
Theorema: A system for the working mathematician.
Contributed talk at SNSC'01, Hagenberg, Austria, September 2001.
3
G. Kusper.
Solving the Resolution-Free SAT Problem in Polynomial Time by Sub-Model Propagation.
5th International Conference on Applied Informatics Eger, Hungary, January 2001.
4
T. Kutsia.
Unification in the empty and flat theories with sequence variables and flexible arity symbols.
Contributed talk at the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus'01), Siena, Italy, June 2001.
5
T. Kutsia and K. Nakagawa.
System description: Interface between Theorema and external automated deduction systems.
Contributed talk at the 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus'01), Siena, Italy, June 2001.
6
K. Nakagawa and B. Buchberger.
Presenting proofs using logicographic symbols.
Contributed talk at Workshop on Proof Transformation and Presentation (PTP-01 in IJCAR-2001), Siena, Italy, June 2001.
7
J. Robu.
Mechanical proof of geometry theorems involving inequalities.
Presented at 4th Joint Conference on Pure and Applied Mathematics, June 2001.
8
W. Windsteiger.
A set theory prover in Theorema.
Talk given at the CAL'01 workshop at the EUROCAST'01, Las Palmas de Gran Canaria, 2001.




Please direct your comments or eventual problem reports to webmaster.

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