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


Article - 2005


September 27, 2008

Bibliography

1
B. Buchberger, A. Craciun, T. Jebelean, L. Kovacs, T. Kutsia, K. Nakagawa, F. Piroi, N. Popov, J. Robu, M. Rosenkranz, and W. Windsteiger.
Theorema: Towards computer-aided mathematical theory exploration.
Journal of Applied Logic, 4(4):470-504, 2006.
2
L. Kovacs, N. Popov, and T. Jebelean.
Verification environment in Theorema.
Annals of Mathematics, Computing and Teleinformatics (AMCT), 1(2):27-34, 2005.
3
G. Kusper.
Solving the resolution-free sat problem by hyper-unit propagation in linear time.
Annals of Mathematics and Artificial Intelligence, 43(1-4):129-136, 2005.
4
S. Saminger, R. Vajda, and W. Windsteiger.
Using a computer-algebra system and a theorem prover to stimulate creativity in learning mathematics.
International Journal of Computers for Mathematical Learning, 2005.
Submitted.



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