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


September 27, 2008

Bibliography

1
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.
2
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.
3
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.
4
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.
5
T. Kutsia, 2006.
6
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.



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