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


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