# Proving and Solving over the Reals [SFB F1303-2]

### Project Description

J. Schicho.

Budget: 199.269,– Eur.

### Project Lead

### Project Duration

01/04/2001 - 31/03/2004### Project URL

Project Website## Publications

### 2015

### Factorization of Rational Motions: A Survey with Examples and Applications

#### Z. Li, , T. Rad, J. Schicho, H.-P. Schroecker

In: Proc. IFToMM 14, S.-H. Chang et al. (ed.), pp. 833-840. 2015. ISBN 978-986-04-6098-8.@

author = {Z. Li and and T. Rad and J. Schicho and H.-P. Schroecker},

title = {{Factorization of Rational Motions: A Survey with Examples and Applications}},

booktitle = {{Proc. IFToMM 14}},

language = {english},

pages = {833--840},

isbn_issn = {ISBN 978-986-04-6098-8},

year = {2015},

editor = {S.-H. Chang et al.},

refereed = {yes},

length = {8}

}

**inproceedings**{RISC5236,author = {Z. Li and and T. Rad and J. Schicho and H.-P. Schroecker},

title = {{Factorization of Rational Motions: A Survey with Examples and Applications}},

booktitle = {{Proc. IFToMM 14}},

language = {english},

pages = {833--840},

isbn_issn = {ISBN 978-986-04-6098-8},

year = {2015},

editor = {S.-H. Chang et al.},

refereed = {yes},

length = {8}

}

### 2014

### Foreword to the Special Issue on Computational Algebraic Geometry

#### S. Di Rocco, J. Schicho

Math. Comp. Sci. 8, pp. 117-118. 2014. ISSN: 1661-8270.@

author = {S. Di Rocco and J. Schicho},

title = {{Foreword to the Special Issue on Computational Algebraic Geometry}},

language = {english},

journal = {Math. Comp. Sci.},

volume = {8},

pages = {117--118},

isbn_issn = { ISSN: 1661-8270},

year = {2014},

refereed = {yes},

length = {2}

}

**article**{RISC5122,author = {S. Di Rocco and J. Schicho},

title = {{Foreword to the Special Issue on Computational Algebraic Geometry}},

language = {english},

journal = {Math. Comp. Sci.},

volume = {8},

pages = {117--118},

isbn_issn = { ISSN: 1661-8270},

year = {2014},

refereed = {yes},

length = {2}

}

### 2013

### A Regularization Approach for Estimating the Type of a plane Curve Singularity

#### M. Hodorog, J. Schicho

Theor. Comp. Sci. 479, pp. 99-119. 2013. 0304-3975.@

author = {M. Hodorog and J. Schicho},

title = {{A Regularization Approach for Estimating the Type of a plane Curve Singularity}},

language = {english},

journal = {Theor. Comp. Sci.},

volume = {479},

pages = {99--119},

isbn_issn = {0304-3975},

year = {2013},

refereed = {yes},

length = {21}

}

**article**{RISC4920,author = {M. Hodorog and J. Schicho},

title = {{A Regularization Approach for Estimating the Type of a plane Curve Singularity}},

language = {english},

journal = {Theor. Comp. Sci.},

volume = {479},

pages = {99--119},

isbn_issn = {0304-3975},

year = {2013},

refereed = {yes},

length = {21}

}

### Effective Methods in Algebraic Geometry

#### A. Dickenstein, S. Di Rocco, E. Hubert, J. Schicho (eds.)

J. Symb. Comp. 151, pp. 1-114. 2013. 0747-7171.@

author = {A. Dickenstein and S. Di Rocco and E. Hubert and J. Schicho (eds.)},

title = {{Effective Methods in Algebraic Geometry}},

language = {english},

journal = {J. Symb. Comp.},

volume = {151},

pages = {1--114},

isbn_issn = {0747-7171},

year = {2013},

refereed = {yes},

length = {114}

}

**article**{RISC4921,author = {A. Dickenstein and S. Di Rocco and E. Hubert and J. Schicho (eds.)},

title = {{Effective Methods in Algebraic Geometry}},

language = {english},

journal = {J. Symb. Comp.},

volume = {151},

pages = {1--114},

isbn_issn = {0747-7171},

year = {2013},

refereed = {yes},

length = {114}

}

### Factorization of Rational Curves in the Study Quadric and Revolute Linkages

#### G. Hegedüs, J. Schicho, H.-P. Schröcker

Mech. Mach. Theory 69(1), pp. 142-152. 2013. 0094-114X.@

author = {G. Hegedüs and J. Schicho and H.-P. Schröcker},

title = {{Factorization of Rational Curves in the Study Quadric and Revolute Linkages}},

language = {english},

journal = {Mech. Mach. Theory},

volume = {69},

number = {1},

pages = {142--152},

isbn_issn = {0094-114X},

year = {2013},

refereed = {yes},

length = {11}

}

**article**{RISC4922,author = {G. Hegedüs and J. Schicho and H.-P. Schröcker},

title = {{Factorization of Rational Curves in the Study Quadric and Revolute Linkages}},

language = {english},

journal = {Mech. Mach. Theory},

volume = {69},

number = {1},

pages = {142--152},

isbn_issn = {0094-114X},

year = {2013},

refereed = {yes},

length = {11}

}

### The Theory of Bonds: A New Method for the Analysis of Linkages

#### G. Hegedüs, J. Schicho, H.-P. Schröcker

Mech. Mach. Theory 70, pp. 404-424. 2013. 0094-114X.@

author = {G. Hegedüs and J. Schicho and H.-P. Schröcker},

title = {{The Theory of Bonds: A New Method for the Analysis of Linkages}},

language = {english},

journal = {Mech. Mach. Theory},

volume = {70},

pages = {404--424},

isbn_issn = {0094-114X},

year = {2013},

refereed = {yes},

length = {21}

}

**article**{RISC4923,author = {G. Hegedüs and J. Schicho and H.-P. Schröcker},

title = {{The Theory of Bonds: A New Method for the Analysis of Linkages}},

language = {english},

journal = {Mech. Mach. Theory},

volume = {70},

pages = {404--424},

isbn_issn = {0094-114X},

year = {2013},

refereed = {yes},

length = {21}

}

### Classification of angle-symmetric 6R linkages

#### Z. Li, J. Schicho

Mech. Mach. Theory 70, pp. 372-379. 2013. 0094-114X.@

author = {Z. Li and J. Schicho},

title = {{Classification of angle-symmetric 6R linkages}},

language = {english},

journal = {Mech. Mach. Theory},

volume = {70},

pages = {372--379},

isbn_issn = {0094-114X},

year = {2013},

refereed = {yes},

length = {8}

}

**article**{RISC4924,author = {Z. Li and J. Schicho},

title = {{Classification of angle-symmetric 6R linkages}},

language = {english},

journal = {Mech. Mach. Theory},

volume = {70},

pages = {372--379},

isbn_issn = {0094-114X},

year = {2013},

refereed = {yes},

length = {8}

}

### Computational aspects of gonal maps

#### J. Schicho, F.-O. Schreyer, M. Weimann

AAECC 24, pp. 313-341. 2013. 0938-1279 .@

author = {J. Schicho and F.-O. Schreyer and M. Weimann},

title = {{Computational aspects of gonal maps}},

language = {english},

journal = {AAECC},

volume = {24},

pages = {313--341},

isbn_issn = {0938-1279 },

year = {2013},

refereed = {yes},

length = {29}

}

**article**{RISC4925,author = {J. Schicho and F.-O. Schreyer and M. Weimann},

title = {{Computational aspects of gonal maps}},

language = {english},

journal = {AAECC},

volume = {24},

pages = {313--341},

isbn_issn = {0938-1279 },

year = {2013},

refereed = {yes},

length = {29}

}

### 2006

### A Lie algebra method for rational parametrization of Severi–Brauer surfaces

#### W. A. de Graaf, M. Harrison, J. Pilnikova, J. Schicho

Journal of Algebra 303(2), pp. 514-529. 2006. ISSN 0021-8693. [pdf]@

author = {W. A. de Graaf and M. Harrison and J. Pilnikova and J. Schicho},

title = {{A Lie algebra method for rational parametrization of Severi–Brauer surfaces}},

language = {english},

journal = {Journal of Algebra},

volume = {303},

number = {2},

pages = {514--529},

isbn_issn = {ISSN 0021-8693},

year = {2006},

refereed = {yes},

length = {16}

}

**article**{RISC2950,author = {W. A. de Graaf and M. Harrison and J. Pilnikova and J. Schicho},

title = {{A Lie algebra method for rational parametrization of Severi–Brauer surfaces}},

language = {english},

journal = {Journal of Algebra},

volume = {303},

number = {2},

pages = {514--529},

isbn_issn = {ISSN 0021-8693},

year = {2006},

refereed = {yes},

length = {16}

}

### Parametrizing algebraic varieties using Lie algebras

#### J. Pilnikova

RISC, JKU Linz. PhD Thesis. 2006. [pdf]@

author = {J. Pilnikova},

title = {{Parametrizing algebraic varieties using Lie algebras}},

language = {english},

year = {2006},

translation = {0},

school = {RISC, JKU Linz},

length = {74}

}

**phdthesis**{RISC2967,author = {J. Pilnikova},

title = {{Parametrizing algebraic varieties using Lie algebras}},

language = {english},

year = {2006},

translation = {0},

school = {RISC, JKU Linz},

length = {74}

}

### 2005

### Local Parametrization of Cubic Surfaces

#### I. Szil\'agyi and B. J\"uttler and J. Schicho

Journal of Symbolic Computation, pp. 1-24. 2005. ISSN 0747-7171. to appear.@

author = {I. Szil\'agyi and B. J\"uttler and J. Schicho},

title = {{Local Parametrization of Cubic Surfaces}},

language = {english},

abstract = {Algebraic surfaces -- which are frequently used in geometricmodelling -- are represented either in implicit or parametricform. Several techniques for parameterizing a rational algebraicsurface as a whole exist. However, in many applications, itsuffices to parameterize a small portion of the surface. Thismotivates the analysis of local parametrizations, i.e.,parametrizations of a small neighborhood of a given point $P$ ofthe surface $S$. In this paper we introduce several techniques forgenerating such parameterizations for nonsingular cubic surfaces.For this class of surfaces, it is shown that the localparametrization problem can be solved for all points, and any suchsurface can be covered completely.},

journal = {Journal of Symbolic Computation},

pages = {1--24},

isbn_issn = {ISSN 0747-7171},

year = {2005},

note = {to appear},

refereed = {yes},

length = {22}

}

**article**{RISC2049,author = {I. Szil\'agyi and B. J\"uttler and J. Schicho},

title = {{Local Parametrization of Cubic Surfaces}},

language = {english},

abstract = {Algebraic surfaces -- which are frequently used in geometricmodelling -- are represented either in implicit or parametricform. Several techniques for parameterizing a rational algebraicsurface as a whole exist. However, in many applications, itsuffices to parameterize a small portion of the surface. Thismotivates the analysis of local parametrizations, i.e.,parametrizations of a small neighborhood of a given point $P$ ofthe surface $S$. In this paper we introduce several techniques forgenerating such parameterizations for nonsingular cubic surfaces.For this class of surfaces, it is shown that the localparametrization problem can be solved for all points, and any suchsurface can be covered completely.},

journal = {Journal of Symbolic Computation},

pages = {1--24},

isbn_issn = {ISSN 0747-7171},

year = {2005},

note = {to appear},

refereed = {yes},

length = {22}

}

### Implicitization and Distance Bounds

#### M. Aigner, I. Szil\'agyi, B. J\"uttler, J. Schicho

In: Mathematic and Visualization, M. Elkadi (ed.), Mathematics and Visualization , pp. 1-14. 2005. Springer, to appear.@

author = {M. Aigner and I. Szil\'agyi and B. J\"uttler and J. Schicho},

title = {{Implicitization and Distance Bounds}},

booktitle = {{Mathematic and Visualization}},

language = {english},

abstract = {In this paper, we combine results concerning the numerical stabilityof the implicitization process for a given planar rational curve, withresults on the the stability of the resulting implicit representation.More precisely, it is shown that for any approximate parameterizationof the given curve, the curve obtained by an approximateimplicitization with a given precision is contained within a certainperturbation region. The results can be generalized to the case ofsurfaces.},

series = {Mathematics and Visualization},

pages = {1--14},

publisher = {Springer},

isbn_issn = {?},

year = {2005},

note = {to appear},

editor = {M. Elkadi},

refereed = {yes},

length = {14}

}

**inproceedings**{RISC2439,author = {M. Aigner and I. Szil\'agyi and B. J\"uttler and J. Schicho},

title = {{Implicitization and Distance Bounds}},

booktitle = {{Mathematic and Visualization}},

language = {english},

abstract = {In this paper, we combine results concerning the numerical stabilityof the implicitization process for a given planar rational curve, withresults on the the stability of the resulting implicit representation.More precisely, it is shown that for any approximate parameterizationof the given curve, the curve obtained by an approximateimplicitization with a given precision is contained within a certainperturbation region. The results can be generalized to the case ofsurfaces.},

series = {Mathematics and Visualization},

pages = {1--14},

publisher = {Springer},

isbn_issn = {?},

year = {2005},

note = {to appear},

editor = {M. Elkadi},

refereed = {yes},

length = {14}

}

### Numerical Stability of Surface Implicitization

#### J. Schicho, I. Szil\'agyi

Journal of Symbolic Computation, pp. 1-14. 2005. ISSN 0747-7171. to appear.@

author = {J. Schicho and I. Szil\'agyi},

title = {{Numerical Stability of Surface Implicitization}},

language = {english},

abstract = {For a numerically given parametrization we cannot compute an exactimplicit equation, just an approximate one. We introduce acondition number to measure the worst effect on the solution whenthe input data is perturbed by a small amount.},

journal = {Journal of Symbolic Computation},

pages = {1--14},

isbn_issn = {ISSN 0747-7171},

year = {2005},

note = {to appear},

refereed = {yes},

length = {14}

}

**article**{RISC2440,author = {J. Schicho and I. Szil\'agyi},

title = {{Numerical Stability of Surface Implicitization}},

language = {english},

abstract = {For a numerically given parametrization we cannot compute an exactimplicit equation, just an approximate one. We introduce acondition number to measure the worst effect on the solution whenthe input data is perturbed by a small amount.},

journal = {Journal of Symbolic Computation},

pages = {1--14},

isbn_issn = {ISSN 0747-7171},

year = {2005},

note = {to appear},

refereed = {yes},

length = {14}

}

### Symbolic-Numeric Techniques for Cubic Surfaces

#### Ibolya Szilagyi

RISC-Linz. PhD Thesis. July 2005. PhD Thesis. [pdf] [ps]@

author = {Ibolya Szilagyi},

title = {{Symbolic-Numeric Techniques for Cubic Surfaces}},

language = {english},

abstract = {In geometric modelling and related areas algebraic curves/surfacestypically are described either as the zero set of an algebraicequation (implicit representation), or as the image of amap given by rational functions (parametricrepresentation). The availability of both representations oftenresult in more efficient computations.Computational theories and techniques of algebraic geometry infloating point environment are of high interest in geometricmodelling related communities. Therefore, deriving approximatealgorithms that can be applied to numeric data have become a veryactive research area. In this thesis we focus on the twoconversion problems, called implicitization and parametrization,from the numeric point of view.A very important issue in the implicitization problem is theperturbation behavior of parametric objects. For a numericallygiven parametrization we cannot compute an exact implicitequation, just an approximate one. We introduce a conditionnumber of the implicitization problem to measure the worst effecton the solution, when the input data is perturbed by a smallamount. Using this condition number we study the algebraic andgeometric robustness of the implicitization process.Several techniques for parameterizing a rational algebraic surface as a whole exist. However, in many applications, itsuffices to parameterize a small portion of the surface. Thismotivates the analysis of local parametrizations, i.e.parametrizations of a small neighborhood of a given point $P$ ofthe surface $S$. We introduce several techniques for generatingsuch parameterizations for nonsingular cubic surfaces. For thisclass of surfaces, it is shown that the local parametrizationproblem can be solved for all points, and any such surface can becovered completely.},

year = {2005},

month = {July},

note = {PhD Thesis},

translation = {0},

school = {RISC-Linz},

keywords = {implicitization, numerical stability, local parametrization, cubic surface},

sponsor = {RISC PhD scholarship program of the government of Upper Austria, and by the Spezialforschungsbereich (SFB) grant F1303, Austrian Science Foundation (FWF).},

length = {112}

}

**phdthesis**{RISC2472,author = {Ibolya Szilagyi},

title = {{Symbolic-Numeric Techniques for Cubic Surfaces}},

language = {english},

abstract = {In geometric modelling and related areas algebraic curves/surfacestypically are described either as the zero set of an algebraicequation (implicit representation), or as the image of amap given by rational functions (parametricrepresentation). The availability of both representations oftenresult in more efficient computations.Computational theories and techniques of algebraic geometry infloating point environment are of high interest in geometricmodelling related communities. Therefore, deriving approximatealgorithms that can be applied to numeric data have become a veryactive research area. In this thesis we focus on the twoconversion problems, called implicitization and parametrization,from the numeric point of view.A very important issue in the implicitization problem is theperturbation behavior of parametric objects. For a numericallygiven parametrization we cannot compute an exact implicitequation, just an approximate one. We introduce a conditionnumber of the implicitization problem to measure the worst effecton the solution, when the input data is perturbed by a smallamount. Using this condition number we study the algebraic andgeometric robustness of the implicitization process.Several techniques for parameterizing a rational algebraic surface as a whole exist. However, in many applications, itsuffices to parameterize a small portion of the surface. Thismotivates the analysis of local parametrizations, i.e.parametrizations of a small neighborhood of a given point $P$ ofthe surface $S$. We introduce several techniques for generatingsuch parameterizations for nonsingular cubic surfaces. For thisclass of surfaces, it is shown that the local parametrizationproblem can be solved for all points, and any such surface can becovered completely.},

year = {2005},

month = {July},

note = {PhD Thesis},

translation = {0},

school = {RISC-Linz},

keywords = {implicitization, numerical stability, local parametrization, cubic surface},

sponsor = {RISC PhD scholarship program of the government of Upper Austria, and by the Spezialforschungsbereich (SFB) grant F1303, Austrian Science Foundation (FWF).},

length = {112}

}

### 2003

### Exact real computation in computer algebra

#### G. Bodnar, B. Kaltenbacher, P. Pau, J. Schicho

In: Symbolic and Numerical Scientific Computing - Proc. of SNSC'01, U. Langer and F. Winkler (ed.), LNCS 2630, pp. 279-292. 2003. Springer, ISBN: 3-540-40554-2.@

author = {G. Bodnar and B. Kaltenbacher and P. Pau and J. Schicho},

title = {{Exact real computation in computer algebra}},

booktitle = {{Symbolic and Numerical Scientific Computing -- Proc. of SNSC'01}},

language = {english},

series = {LNCS},

volume = {2630},

pages = {279--292},

publisher = {Springer},

isbn_issn = {ISBN: 3-540-40554-2},

year = {2003},

editor = {U. Langer and F. Winkler},

refereed = {yes},

length = {14}

}

**inproceedings**{RISC413,author = {G. Bodnar and B. Kaltenbacher and P. Pau and J. Schicho},

title = {{Exact real computation in computer algebra}},

booktitle = {{Symbolic and Numerical Scientific Computing -- Proc. of SNSC'01}},

language = {english},

series = {LNCS},

volume = {2630},

pages = {279--292},

publisher = {Springer},

isbn_issn = {ISBN: 3-540-40554-2},

year = {2003},

editor = {U. Langer and F. Winkler},

refereed = {yes},

length = {14}

}

### Computation of blowing up centers

#### G. Bodnar

Journal of Pure and Applied Algebra 179(3), pp. 221-233. 2003. ISSN: 0022-4049.@

author = {G. Bodnar},

title = {{Computation of blowing up centers}},

language = {english},

journal = {Journal of Pure and Applied Algebra},

volume = {179},

number = {3},

pages = {221--233},

isbn_issn = {ISSN: 0022-4049},

year = {2003},

refereed = {yes},

length = {13}

}

**article**{RISC414,author = {G. Bodnar},

title = {{Computation of blowing up centers}},

language = {english},

journal = {Journal of Pure and Applied Algebra},

volume = {179},

number = {3},

pages = {221--233},

isbn_issn = {ISSN: 0022-4049},

year = {2003},

refereed = {yes},

length = {13}

}

### 2001

### Two computational techniques for singularity resolution

#### G. Bodnar, J. Schicho

Journal of Symbolic Computation 32(1-2), pp. 39-54. 2001. ISSN: 0747-7171.@

author = {G. Bodnar and J. Schicho},

title = {{Two computational techniques for singularity resolution}},

language = {english},

journal = {Journal of Symbolic Computation},

volume = {32},

number = {1-2},

pages = {39--54},

isbn_issn = {ISSN: 0747-7171},

year = {2001},

refereed = {yes},

length = {16}

}

**article**{RISC412,author = {G. Bodnar and J. Schicho},

title = {{Two computational techniques for singularity resolution}},

language = {english},

journal = {Journal of Symbolic Computation},

volume = {32},

number = {1-2},

pages = {39--54},

isbn_issn = {ISSN: 0747-7171},

year = {2001},

refereed = {yes},

length = {16}

}

### 2000

### An Improved Algorithm for the Resolution of Singularities

#### G. Bodnar, J. Schicho

In: Proceedings of ISSAC 2000, C. Traverso (ed.), pp. 30-37. 2000. New York, ISBN: 1-58113-218-2.@

author = {G. Bodnar and J. Schicho},

title = {{An Improved Algorithm for the Resolution of Singularities}},

booktitle = {{Proceedings of ISSAC 2000}},

language = {english},

pages = {30--37},

address = {New York},

isbn_issn = {ISBN: 1-58113-218-2},

year = {2000},

editor = {C. Traverso},

refereed = {yes},

length = {8}

}

**inproceedings**{RISC411,author = {G. Bodnar and J. Schicho},

title = {{An Improved Algorithm for the Resolution of Singularities}},

booktitle = {{Proceedings of ISSAC 2000}},

language = {english},

pages = {30--37},

address = {New York},

isbn_issn = {ISBN: 1-58113-218-2},

year = {2000},

editor = {C. Traverso},

refereed = {yes},

length = {8}

}

### Algorithmic Resolution of Singularities

#### G. Bodnar

Research Institute for Symbolic Computation, Johannes Kepler University. PhD Thesis. A-4040 Linz, 2000.@

author = {G. Bodnar},

title = {{Algorithmic Resolution of Singularities}},

language = {english},

address = {A-4040 Linz},

year = {2000},

translation = {0},

school = {Research Institute for Symbolic Computation, Johannes Kepler University},

length = {97}

}

**phdthesis**{RISC418,author = {G. Bodnar},

title = {{Algorithmic Resolution of Singularities}},

language = {english},

address = {A-4040 Linz},

year = {2000},

translation = {0},

school = {Research Institute for Symbolic Computation, Johannes Kepler University},

length = {97}

}

### F 1303: Proving and Solving Over the Reals

#### B. Buchberger, J. Schicho

In: Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 1998-September 2000, B. Buchberger and U.Langer (ed.), pp. 126-142. October 2000. Johannes Kepler University Linz, Austria,@

author = {B. Buchberger and J. Schicho},

title = {{F 1303: Proving and Solving Over the Reals}},

booktitle = {{Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 1998-September 2000}},

language = {english},

pages = {126--142},

publisher = {Johannes Kepler University Linz, Austria},

isbn_issn = {?},

year = {2000},

month = {October},

annote = {2000-10-00-C},

editor = {B. Buchberger and U.Langer},

refereed = {no},

length = {17}

}

**incollection**{RISC2405,author = {B. Buchberger and J. Schicho},

title = {{F 1303: Proving and Solving Over the Reals}},

booktitle = {{Special Research Program (SFB) F 013, Numerical and Symbolic Scientific Computing, Proposal for Continuation, Part I: Progress Report, April 1998-September 2000}},

language = {english},

pages = {126--142},

publisher = {Johannes Kepler University Linz, Austria},

isbn_issn = {?},

year = {2000},

month = {October},

annote = {2000-10-00-C},

editor = {B. Buchberger and U.Langer},

refereed = {no},

length = {17}

}