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


Article - 2003


September 27, 2008

Bibliography

1

B. Buchberger.
Algorithm Invention and Verification by Lazy Thinking.
Analele Universitatii din Timisoara, Seria Matematica - Informatica, XLI:41-70, 2003.
special issue on Computer Science - Proceedings of SYNASC'03.

2

T. Ida and B. Buchberger.
Proving and Solving in Computational Origami.
Analele Universitatii din Timisoara, Seria Matematica - Informatica, XLI:247-263, 2003.
special issue on Computer Science - Proceedings of SYNASC'03.

3

L. Kovacs and T. Jebelean.
Practical Aspects of Imperative Program Verification in Theorema.
Analele Universitatii din Timisoara, Seria Matematica - Informatica, XLI:135-154, 2003.
special issue on Computer Science - Proceedings of SYNASC'03.

4

K. Nakagawa.
Logicographic symbols.
Journal of Symbolic Computation: Special Issue, 2003.

5

M. Rosenkranz.
Symbolic solution of simple BVPs on the operator level.
SIGSAM Bulletin, 37(3):84-87, 2003.

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