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 F1303


UnpublishedUnInvited - 2001


September 27, 2008

Bibliography

1

G. Bodnár, B. Kaltenbacher, P. Pau, and J. Schicho.
Exact real computation in computer algebra.
SNSC 2001, Johannes Kepler University, Linz, Austria, September 2001.

2

G. Bodnár and J. Schicho.
Eroc: A Maple library for exact real object computation.
IMACS-ACA 2001, Albuquerque, NM, June 2001.

3

S. Ratschan.
Computing approximate solutions of first-order constraints over the reals.
Workshop on Solving First-Order Constraints in Various Structures, Marseille, 2001.

4

S. Ratschan.
A symbolic-numeric algorithm for computing approximate solutions of first-order formulae over the reals.
Talk at SNSC, 2001.

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