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


September 27, 2008

Bibliography

1

G. Bodnar, P. Pau, and J. Schicho.
Exact real computation in computer algebra.
Technical report, SFB, 2000.

2

J. Gutierrez, R. Rubio, and J. Schicho.
Polynomial parametrization of regular curves.
Technical Report 00-11, SFB, Univ. Linz, A-4040 Linz, 2000.

3

I. Kotsireas and J. Schicho.
A computer algebra solution to a planar Newtonian 4-body problem with unequal masses.
Technical Report 00-10, SFB, Univ. Linz, A-4040 Linz, 2000.

4

G. Landsmann, J. Schicho, F. Winkler, and E. Hillgarter.
Symbolic parametrization of pipe and canal surfaces.
Technical Report 99-29, SFB, Univ. Linz, A-4040 Linz, 2000.

5

D. Petcu.
Numerical solutions of odes with distributed Maple.
Technical Report 00-09, RISC-Linz, Univ. Linz, 2000.

6

S. Ratschan.
Approximate quantified constraint solving (aqcs).
http://www.risc.uni-linz.ac.at/research/software/AQCS, 2000.
Software Package.

7

S. Ratschan.
Approximate quantified constraint solving by cylindrical box decomposition.
Technical Report 00-26, SFB, 2000.

8

S. Ratschan.
Convergence of quantified constraint solving by approximate quantifiers.
Technical Report 00-25, SFB, 2000.

9

S. Ratschan.
Uncertainty propagation in heterogenous algebras for approximate quantified constraint solving.
Technical Report 00-24, SFB, 2000.

10

J. Schicho.
The parametrization problem for algebraic surfaces - a survey.
Technical Report 00-12, SFB, Univ. Linz, A-4040 Linz, 2000.

11

J. Schicho.
Proper parametrization of surfaces with a rational pencil.
Technical Report 00-01, SFB, Univ. Linz, A-4040 Linz, 2000.

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