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


Article - 2000


September 27, 2008

Bibliography

1

G. Bodnár and J. Schicho.
Automated resolution of singularities for hypersurfaces.
Journal of Symbolic Computation, 30(4):401-428, 2000.

2

P. Pau and J. Schicho.
Quantifier elimination for trigonometric polynomials.
Journal of Symbolic Computation, 29(6):13, 6 2000.

3

S. Ratschan.
Uncertainty propagation in heterogenous algebras for approximate quantified constraint solving.
Journal of Universal Computer Science, 6(9), 2000.

4

J. Schicho.
Proper parametrization of real tubular surfaces.
Journal of Symbolic Computation, 30(5):583-593, 2000.

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