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


September 27, 2008

Bibliography

1

B. Buchberger.
Towards the automated synthesis of a Gröbner Bases algorithm.
RACSAM - Revista de la Real Academia de Ciencias (Review of the Spanish Royal Academy of Science), Serie A: Mathematicas, 98(1):65-75, 2004.

2

L. Kovacs and T. Jebelean.
Automated generation of loop invariants by recurrence solving in Theorema.
Analele Universitatii din Timisoara, Seria Matematica - Informatica, XLII:151-166, 2004.
special issue on Computer Science - Proceedings of SYNASC'04.

3

M. Rosenkranz.
New symbolic method for solving linear two-point boundary value problems on the level of operators.
Journal of Symbolic Computation, 39(2):171-199, 2004.

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