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


TechRepMisc


September 27, 2008

Bibliography

1
H. Anai, K. Horimoto, and T. Kutsia, 2007.
2
C. Benzmueller and W. Windsteiger.
Computer-supported mathematical theory development.
Technical Report 04-14, RISC Report Series, University of Linz, Austria, July 2004.
ISBN 3-902276-04-5.
3
B. Buchberger.
Computer-supported mathematical theory exploration: Schemes, failing proof analysis, and metaprogramming.
Technical report, RISC Report Series, University of Linz, Austria, Juni 2004.
4
B. Buchberger.
A note on automated generation of an algorithm verification method.
Technical Report 2004-03, Johannes Kepler University Linz, Spezialforschungsbereich F013, March 2004.
5
B. Buchberger.
Ein dank an meine schule, June 2005.
6
B. Buchberger and K. Nakagawa.
Mathematical knowledge editor: A research plan.
Technical report, Johannes Kepler University Linz, 2004.
Spezialforschungsbereich SF013 ``Scientific Computing'', FWF (Austrian National Science Foundation).
7
B. Buchberger and the Theorema Group.
Theorema, version 1.0.
Published on CD-ROM, CALCULEMUS '99, Trento, Italy, July 1999.
Developed at RISC, Hagenberg, Austria.
8
A. Craciun.
Lazy Thinking Synthesis of a Groebner Bases Algorithm.
Poster presentation at Calculemus'06, 13th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Genova, Italy, July 7-9 2006.
9
A. Craciun and B. Buchberger.
The lazy thinking paradigm: Top-down theory exploration using Theorema.
Poster presentation at the Calculemus Midterm Review Meeting, University of Saarlandes, Saarbruecken, Germany, March 2003.
10
A. Craciun and B. Buchberger.
Algorithm synthesis case studies: Sorting of tuples by lazy thinking.
Technical Report 04-16, RISC Report Series, University of Linz, Austria, October 2004.
11
A. Craciun and B. Buchberger.
Preprocessed lazy thinking: Synthesis of sorting algorithms.
Technical Report 04-17, RISC Report Series, University of Linz, Austria, October 2004.
12
M. Erascu and T. Jebelean.
Verification of Imperative Programs using Symbolic Execution and Forward Reasoning in the Theorema System.
Technical Report 07-12, RISC Linz, July 1 2007.
Presented at First Austria-Japan Workshop on Symbolic Computation and Software Verification, Linz, Austria, July 1st 2007.
13
M. Giese and B. Buchberger.
Towards practical reflection for formal mathematics.
Technical Report 07-05, RISC Report Series, University of Linz, Austria, 2007.
14
M. Hodorog and A. Craciun.
A Case Study in Systematic Theory Exploration: Natural Numbers.
Technical report, RISC Report Series, University of Linz, Austria, October 2007.
RISC,University of Linz, Austria.
15
M. Kauers, M. Kerber, R. Miner, and W. Windsteiger.
Calculemus/mkm 2007 - work in progress.
Technical Report 07-06, RISC Report Series, University of Linz, Austria, 2007.
16
B. Konev.
Metavariable method for natural deduction within Theorema.
Technical report, RISC - Report 99-34, 1999.
17
L. Kovacs, November 18-19 2005.
British Computer Society (BSC) - Formal Aspects of Computing Science (FACS) award. (Joint work with T. Jebelean and N. Popov).
18
L. Kovacs.
Using combinatorial and algebraic techniques for automatic generation of loop invariants.
Technical Report 05-16, RISC Report Series, University of Linz, Austria, 2005.
19
L. Kovacs and T. Jebelean.
Combining Computer Algebra and Computational Logic for Imperative Program Verification in Theorema.
Poster presentation at Calculemus'06, Genova, Italy, July 6-9 2006.
20
L. Kovacs and T. Jebelean.
Finding polynomial invariants for imperative loops in the Theorema system.
Technical Report 03-06, RISC Report Series, University of Linz, Austria, 2006.
21
L. Kovacs, T. Jebelean, and D. Kapur.
Using symbolic summation and polynomial algebra for imperative program verification in Theorema.
Technical report, RISC-Linz, 2006.
submitted to MatCom Journal.
22
Kusper, Schreiner, and Lovas.
Integrating temporal specifications as runtime assertions into parallel debugging tools.
Technical report, RISC, 2002.
Technical Report 02-07, RISC-Linz.
23
G. Kusper.
Solving the resolution-free sat problem in polynomial time by sub-model propagation.
Technical Report 01-06, RISC-Linz, February 2001.
24
G. Kusper.
Solving the sat problem by hyper-unit propagation.
RISC Linz Report Series 02-02, Research Institute for Symbolic Computation, J. Kepler University Linz, 2002.
25
T. Kutsia.
Unification in a free theory with sequence variables and flexible arity symbols and its extensions.
Technical report, Johannes Kepler University, Linz, 2002.
SFB Report 02-6.
26
T. Kutsia.
Solving equations involving sequence variables and sequence functions.
Technical Report 04-01, RISC Report Series, University of Linz, Austria, January 2004.
27
T. Kutsia, 2006.
28
T. Kutsia, 2007.
29
T. Kutsia, 2007.
Series of lectures.
30
T. Kutsia and B. Buchberger.
Predicate logic with sequence variables and sequence function symbols.
Technical Report 05-17, RISC Report Series, University of Linz, Austria, 2005.
31
T. Kutsia and M. Marin.
Matching with regular constraints.
Technical Report 05-05, RISC Report Series, University of Linz, Austria, 2005.
32
T. Kutsia and M. Marin.
A rule-based framework for solving regular context sequence constraints.
Technical report, RISC Report Series, University of Linz, Austria, 2006.
33
T. Kutsia and M. Marin.
Austria-japan workshop on symbolic computation and software verification.
Technical Report 07-09, RISC Report Series, University of Linz, Austria, 2007.
34
F. Piroi.
Tools for using automated provers in mathematical theory exploration.
Technical Report 04-12, RISC Report Series, University of Linz, Austria, August 2004.
PhD Thesis.
35
F. Piroi and B. Buchberger.
Label management in mathematical theories.
Technical Report 2004-16, Johann Radon Institute for Computational and Applied Mathematics (RICAM), November 2004.
36
F. Piroi, B. Buchberger, C. Rosenkranz, and T. Jebelean.
Organisational Tools for MKM in Theorema.
Technical Report 07-11, RISC Report Series, University of Linz, Austria, 2007.
37
F. Piroi and T. Jebelean.
Advanced Proof Presentation in Theorema.
Technical Report SFB 01-38, Research Institute for Symbolic Computation, J. Kepler University Linz, October 2001.
38
N. Popov.
Operators in recursion theory.
Technical Report 03-06, RISC, 2003.
39
N. Popov.
Verification of simple recursive programs in Theorema: Completeness of the method.
Technical Report 05-06, RISC Report Series, University of Linz, Austria, June 2005.
40
N. Popov and T. Jebelean.
Verification of simple recursive programs: Sufficient conditions.
Technical Report 04-06, RISC Report Series, University of Linz, Austria, June 2004.
41
C. Rosenkranz.
The Status Quo of MKM. Current Trends in Knowledge Buildup and Retrieval.
Technical Report 07-13, RISC Report Series, University of Linz, Austria, September 2007.
42
M. Rosenkranz.
Symbolic solution of boundary value problems.
Poster at the ISSAC Conference, Philadelphia (USA), August 2003.
43
E. Tomuta and B. Buchberger.
Combining Provers in the Theorema System.
Technical report, the Research Institute for Symbolic Computation, Johannes Kepler University, 1998.
RISC report 98-02.
44
W. Windsteiger.
On a solution of the mutilated checkerboard problem using the Theorema set theory prover.
Technical Report 01-26, RISC-Linz, 2001.
45
W. Windsteiger.
Theorema: Ein Rahmen für Mathematik, Algorithmik und Didaktik.
Technical Report 22, RISC, 2001.
In German.
46
W. Windsteiger.
Exploring an algorithm for polynomial interpolation in the Theorema system.
Technical report, Laboratoire d'Informatique de Paris 6, 2003.
Proceedings of Calculemus'03, September 10-12, Rome, Italy.
47
W. Windsteiger, 2004.
48
W. Windsteiger.
Wie erfinde ich mathematische algorithmen? wie beweise ich mathematische algorithmen?
Technical Report 05-18, RISC Report Series, University of Linz, Austria, December 2005.
Presentation slides for a presentation given at Schwerpunktfach Mathematik, Europagymnasium Auhof, December 15, 2005.




Please direct your comments or eventual problem reports to webmaster.

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