The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1302


TechRepMisc - 2007


September 27, 2008

Bibliography

1

H. Anai, K. Horimoto, and T. Kutsia, 2007.

2

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.

3

M. Giese and B. Buchberger.
Towards practical reflection for formal mathematics.
Technical Report 07-05, RISC Report Series, University of Linz, Austria, 2007.

4

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.

5

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.

6

T. Kutsia, 2007.

7

T. Kutsia, 2007.
Series of lectures.

8

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.

9

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.

10

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.

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