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


PhdThesis - 2007


September 27, 2008

Bibliography

1
A. Craciun.
Lazy Thinking Algorithm Synthesis in Groebner Bases Theory.
PhD thesis, RISC, University of Linz, Austria, 2007.
ongoing.
2
B. Dundua.
Rule-Based Programming with Context and Sequence Variables.
PhD thesis, RISC, University of Linz, Austria, 2007.
ongoing.
3
M. Hodorog.
Systematic Exploration of Mathematical Theories.
PhD thesis, RISC, University of Linz, Austria, 2007.
ongoing.
4
L. Kovacs.
Automated Invariant Generation by Algebraic Techniques for Imperative Program Verification in Theorema.
PhD thesis, RISC, Johannes Kepler University Linz, Austria, October 2007.
RISC Technical Report No. 07-16.
5
T. Kutsia.
Contributions to Equational Reasoning.
Habilitation thesis, RISC, University of Linz, Austria, 2007.
Ongoing.
6
N. Popov.
Functional Program Verification in Theorema.
PhD thesis, RISC, University of Linz, Austria, 2007.
ongoing.
7
C. Rosenkranz.
Retrieval and Structuring of Large Mathematical Knowledge Bases: A Theorema Approach.
PhD thesis, RISC, University of Linz, Austria, 2007.
ongoing.
8
R. Vajda.
Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools.
PhD thesis, RISC, University of Linz, Austria, 2007.
ongoing.
9
A. Zapletal.
A Compiler for Theorema.
PhD thesis, RISC, University of Linz, Austria, 2007.
ongoing.



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