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


September 27, 2008

Bibliography

1

G. Bodnár, P. Pau, S. Ratschan, J. Schicho, and M. Shalaby.
Exact real number arithmetic in Maple.
SYNASC'00, University of Timisoara, Romania, October 2000.

2

G. Bodnár and J. Schicho.
An improved algorithm for the resolution of singularities.
ISSAC 2000, St. Andrews, Scotland, August 2000.

3

S. Ratschan.
Approximate quantified constraint solving by boxed cylindrical truth decomposition.
talk at IMACS-ACA, 7 2000.

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