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


September 27, 2008

Bibliography

1

T. Beck and J. Schicho.
Approximate roots in graded rings.
Technical report, RICAM, March 2005.

2

T. Beck and J. Schicho.
Sparse parametrization of plane curves.
Technical Report 2005-08, RICAM, June 2005.
to appear in AAECC.

3

T. Beck and J. Schicho.
Analytic Resolution of Surfaces.
WSCA 06 (Poster), Barcelona, Spain, February 2006.

4

G. Bodnár.
Computation of blowing up centers.
Technical report, SFB, 2001.

5

G. Bodnar, P. Pau, Schicho, and B. Kaltenbacher.
Exact real computation in computer algebra.
Technical report, SFB, 2001.

6

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

7

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

8

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.

9

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.

10

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.

11

B. Moore, J. Schicho, and C. Gosselin.
Determination of the complete set of statically balanced planar four-bar mechanisms.
Technical Report 2007-14, SFB F013, July 2007.

12

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

13

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

14

J. Pilnikova and J. Schicho.
Algorithms for solving rational quadratic forms.
SFB 013 report 2004-32, RISC Linz/RICAM Linz, J. Kepler University Linz, Austria, December 2004.

15

S. Ratschan.
Approximative logic - an overview.
Technical Report 98-03, RISC-Linz, Univ. Linz, A-4040 Linz, 1998.

16

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

17

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

18

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

19

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

20

J. Schicho.
Rational parameterization of real algebraic surfaces.
Technical Report 98-01, RISC-Linz, Univ. Linz, A-4040 Linz, 1998.

21

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

22

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

23

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

24

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

25

J. Schicho.
An inequality for lattice polygons.
Technical report, SFB, 2002.

26

J. Schicho.
Simplification of surface parametrizations.
Technical report, SFB, 2002.

27

J. Schicho and P. Pau.
Computation and validation of root clusters for univariate polynomials.
Technical report, SFB, 2002.

28

J. Schicho and I. Szilágyi.
Numerical stability of surface implicitization.
Poster presentation, ISSAC-International Symposium on Symbolic and Algebraic Computation, 04-07.07.2004, Santander, Spain, July 2004.

29

J. Schicho and I. Szilágyi.
Numerical stability of surface implicitization.
Technical Report SFB-Report No. 2004-27, SFB013, November 2004.

30

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

31

I. Szilágyi, B. Jüttler, and J. Schicho.
Local parametrization of cubic surfaces.
Technical Report SFB-Report No. 2004-31, SFB013, December 2004.

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