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


September 27, 2008

Bibliography

1

P. Pau.
Quantifier elimination in the presence of trigonometric functions.
Talk at SNSC'99, Hagenberg, August 1999.

2

P. Pau and J. Schicho.
Quantifier elimination for trigonometric polynomial by cylindrical trigonometric decomposition.
talk at IMACS-ACA'99, Madrid, June 1999.

3

J. Schicho.
Exact real number arithmetic.
Talk at SNSC'99, Hagenberg, August 1999.

4

J. Schicho.
The parameterization problem for of algebraic surfaces.
talk at IMACS-ACA'99, Madrid, June 1999.

5

J. Schicho.
Proper parametrization of real algebraic surfaces.
talk at IMACS-ACA'99, Madrid, June 1999.

6

J. Schicho.
Quantifier elimination problems in the analysis of subspace correction methods.
talk at SNSC'99, Hagenberg, August 1999.

7

J. Schicho and J. Schöberl.
Quantifier elimination problems in the analysis of subspace correction methods.
SNSC'99, Hagenberg, August 1999.

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