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


InProceedingsReferred - 2006


September 27, 2008

Bibliography

1
E. M. Clarke, A. S. Gavlovski, K. Sutner, and W. Windsteiger.
Analytica V: Towards the Mordell-Weil Theorem.
In A. Bigatti and S. Ranise, editors, Proceedings of Calculemus'06, Genova, Italy, 2006.
2
M. Giese.
Saturation up to redundancy for tableau and sequent calculi.
In M. Hermann and A. Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 13th Intl. Conf., LPAR 2006, Phnom Penh, Cambodia, volume 4246 of LNCS, pages 182-196, 2006.
3
M. Hodorog and A. Craciun.
Scheme-Based Systematic Exploration of Natural Numbers.
In D. Petcu, V. Negru, D. Zaharie, and T. Jebelean, editors, Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'06), Timisoara, Romania, pages 23-34, 26-29 September 2006.
4
L. Kovacs and T. Jebelean.
Finding polynomial invariants for imperative loops in the Theorema system.
In S. Autexier and H. Mantel, editors, Proceedings of Verify'06 Workshop, IJCAR'06, The 2006 Federated Logic Conference, Seattle, USA, pages 52-67, August 15-16 2006.
5
L. Kovacs, N. Popov, and T. Jebelean.
Combining logic and algebraic techniques for program verification in Theorema.
In T. Margaria and B. Steffen, editors, Proceedings ISOLA 2006, Paphos, Cyprus, November 2006.
6
T. Kutsia and M. Marin.
Solving regular constraints for hedges and contexts.
In J. Levy, editor, Proceedings of 20th International Workshop on Unification, UNIF'06, pages 89-107, Seattle, USA, 2006.
7
J. Robu, D. Tepeneu, T. Ida, H. Takahashi, and B. Buchberger.
Computational origami construction of a regular heptagon with automated proof of its correctness.
In H. Hong and D. Wang, editors, Proceedings of ADG 2004 (The Fifth International Workshop on Automated Deduction in Geometry), volume 3763 of Lecture Notes in Computer Science, pages 19-33. University of Florida, Gainesville, FL, USA, Springer Berlin / Heidelberg, 2006.




Please direct your comments or eventual problem reports to webmaster.

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