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


TechRepMisc - 1999


September 27, 2008

Bibliography

1

T. Kutsia and J. Schicho.
Numerical solving of constraints of multivariate polynomial strict inequalities.
RISC Linz Report Series 99-31, Research Institute for Symbolic Computation, Johannes Kepler Universität, 4040 Linz, Austria, Europe, November 1999.
available from ftp://ftp.risc.uni-linz.ac.at/pub/techreports/1999/99-31.ps.gz.

2

P. Pau and J. Schicho.
Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition.
Technical report, RISC, August 1999.

3

J. Schicho.
The multiple conical surfaces.
Technical Report 99-29, RISC-Linz, Univ. Linz, A-4040 Linz, 1999.

4

J. Schicho.
Proper parametrization of real algebraic surfaces.
Technical report, RISC, August 1999.

5

J. Schicho and Tesácek.
An improved projection operator for CAD using Gröbner bases.
Technical report, RISC, August 1999.

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