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 - 2004


September 27, 2008

Bibliography

1
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.
2
B. Buchberger.
Computer-supported mathematical theory exploration: Schemes, failing proof analysis, and metaprogramming.
Technical report, RISC Report Series, University of Linz, Austria, Juni 2004.
3
B. Buchberger.
A note on automated generation of an algorithm verification method.
Technical Report 2004-03, Johannes Kepler University Linz, Spezialforschungsbereich F013, March 2004.
4
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).
5
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.
6
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.
7
T. Kutsia.
Solving equations involving sequence variables and sequence functions.
Technical Report 04-01, RISC Report Series, University of Linz, Austria, January 2004.
8
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.
9
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.
10
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.
11
W. Windsteiger, 2004.




Please direct your comments or eventual problem reports to webmaster.

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