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


PhdThesis - 2002


September 27, 2008

Bibliography

1

T. Kutsia.
Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols.
PhD thesis, RISC, Johannes Kepler University, Linz, Austria, 2002.

2

K. Nakagawa.
Supporting User-Friendliness in the Mathematical Software System Theorema.
PhD thesis, Research Institute for Symbolic Computation, January 2002.

3

J. Robu.
Geometry Theorem Proving in the Frame of the Theorema Project.
PhD thesis, Johannes Kepler University, Linz, 2002.

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