Publications of the Project F1302

PhdThesis

September 27, 2008

PhdThesis

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
- T. Jebelean.

*Non-conventional Algorithms for Multiple Precision Arithmetic*.

Habilitation thesis, RISC, University of Linz, December 2001. - 5
- 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. - 6
- T. Kutsia.

*Solving and Proving in Equational Theories with Sequence Variables and Flexible Arity Symbols*.

PhD thesis, RISC, Johannes Kepler University, Linz, Austria, 2002. - 7
- T. Kutsia.

*Contributions to Equational Reasoning*.

Habilitation thesis, RISC, University of Linz, Austria, 2007.

Ongoing. - 8
- M. Marin.

*Functional Logic Programming with Distributed Constraint Solving*.

PhD thesis, RISC Institute, April 2000. - 9
- K. Nakagawa.

*Supporting User-Friendliness in the Mathematical Software System Theorema*.

PhD thesis, Research Institute for Symbolic Computation, January 2002. - 10
- F. Piroi.

*Tools for Using Automated Provers in Mathematical Theory Exploration*.

PhD thesis, Research Institute for Symbolic Computation, Johannes Kepler University of Linz, Austria, August 2004.

Also available as RISC Tech Report no. 04-12. - 11
- N. Popov.

*Functional Program Verification in Theorema*.

PhD thesis, RISC, University of Linz, Austria, 2007.

ongoing. - 12
- J. Robu.

*Geometry Theorem Proving in the Frame of the Theorema Project*.

PhD thesis, Johannes Kepler University, Linz, 2002. - 13
- C. Rosenkranz.

*Retrieval and Structuring of Large Mathematical Knowledge Bases: A Theorema Approach*.

PhD thesis, RISC, University of Linz, Austria, 2007.

ongoing. - 14
- M. Rosenkranz.

*The Green's Algebra: A Polynomial Approach to Boundary Value Problems*.

PhD thesis, RISC, University of Linz, 2003. - 15
- E. Tomuta.

*An Architecture for Combining Provers and its Applications in the Theorema System*.

PhD thesis, The Research Institute for Symbolic Computation, Johannes Kepler University, 1998.

RISC report 98-14. - 16
- R. Vajda.

*Supporting Exploration in Elementary Analysis by Computational, Graphical and Reasoning Tools*.

PhD thesis, RISC, University of Linz, Austria, 2007.

ongoing. - 17
- D. Vasaru-Dupré.

*Automated Theorem Proving by Integrating Proving, Solving and Computing*.

PhD thesis, RISC Institute, May 2000.

RISC report 00-19. - 18
- W. Windsteiger.

*A Set Theory Prover in Theorema: Implementation and Practical Applications*.

PhD thesis, RISC Institute, May 2001. - 19
- 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

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