Certified rational parametric approximation of real algebraic space curves with local generic position method
From MaRDI portal
Publication:2437282
DOI10.1016/J.JSC.2013.06.004zbMATH Open1309.14048arXiv1204.0905OpenAlexW2146388763MaRDI QIDQ2437282FDOQ2437282
Authors: Kai Jin, D. Lazard, Jin-San Cheng 
Publication date: 3 March 2014
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Abstract: In this paper, an algorithm to compute a certified rational parametric approximation for algebraic space curves is given by extending the local generic position method for solving zero dimensional polynomial equation systems to the case of dimension one. By certified, we mean the approximation curve and the original curve have the same topology and their Hausdauff distance is smaller than a given precision. Thus, the method also gives a new algorithm to compute the topology for space algebraic curves. The main advantage of the algorithm, inhering from the local generic method, is that topology computation and approximation for a space curve is directly reduced to the same tasks for two plane curves. In particular, the error bound of the approximation space curve is obtained from the error bounds of the approximation plane curves explicitly. Nontrivial examples are used to show the effectivity of the method.
Full work available at URL: https://arxiv.org/abs/1204.0905
Recommendations
- An algorithm to parametrize approximately space curves
- A symbolic-numerical approach to approximate parameterizations of space curves using graphs of critical points
- Certified approximation of parametric space curves with cubic \(B\)-spline curves
- Approximating Algebraic Space Curves by Circular Arcs
- Isotopic meshing of a real algebraic space curve
topologycomplexitylocal generic positionrational approximation parameterizationreal algebraic space curve
Symbolic computation and algebraic computation (68W30) Real algebraic sets (14P05) Computer-aided design (modeling of curves and surfaces) (65D17) Computational aspects of algebraic curves (14Q05) Approximation by rational functions (41A20)
Cites Work
- Root isolation for bivariate polynomial systems with local generic position method
- On the exact computation of the topology of real algebraic curves
- On the parameterization of algebraic curves
- Algorithms in real algebraic geometry
- On the asymptotic and practical complexity of solving bivariate systems over the reals
- Tracing surface intersections
- Title not available (Why is that?)
- Topology and arrangement computation of semi-algebraic planar curves
- Rational parametrizations of algebraic curves using a canonical divisor
- Title not available (Why is that?)
- On the topology of real algebraic plane curves
- Title not available (Why is that?)
- An efficient method for analyzing the topology of plane real algebraic curves.
- Efficient topology determination of implicitly defined algebraic plane curves.
- Title not available (Why is that?)
- Exact symbolic-numeric computation of planar algebraic curves
- When Newton meets Descartes
- Subdivision methods for the topology of 2d and 3d implicit curves
- Approximate parametrization of plane algebraic curves by linear systems of curves
- A worst-case bound for topology computation of algebraic curves
- Automatic parameterization of rational curves and surfaces IV: algebraic space curves
- On the performance of the approximate parametrization algorithm for curves
- On local implicit approximation and its applications
- Title not available (Why is that?)
- A polynomial-time algorithm for the topological type of real algebraic curve
- Computation of the topology of real algebraic space curves
- Topology of real algebraic space curves
- The topological configuration of a real algebraic curve
- On the isotopic meshing of an algebraic implicit surface
- Root isolation of zero-dimensional polynomial systems with linear univariate representation
- On the computation of the topology of a non-reduced implicit space curve
- A symbolic-numerical approach to approximate parameterizations of space curves using graphs of critical points
- Rational quadratic approximation to real algebraic curves
- Certified approximation of parametric space curves with cubic \(B\)-spline curves
- A predictor-corrector-type technique for the approximate parameterization of intersection curves
- Symbolic parametrization of curves
- Enhancing Levin's method for computing quadric-surface intersections
- Using signature sequences to classify intersection curves of two quadrics
- Near-optimal parameterization of the intersection of quadrics. I. The generic algorithm
- Near-optimal parameterization of the intersection of quadrics. II. A classification of pencils
- Near-optimal parameterization of the intersection of quadrics. III. Parameterizing singular intersections
- NURBS approximation of surface / surface intersection curves
- Complete subdivision algorithms, II
- Numerical parameterization of curves and surfaces
- On the choice of pencils in the parametrization of curves
- Title not available (Why is that?)
- Algorithm for the parameterization of rational curves revisited
- Parameterization of algebraic space curves. Appendix
Cited In (13)
- On the complexity of computing the topology of real algebraic space curves
- Computing the topology of a plane or space hyperelliptic curve
- \texttt{PTOPO}: computing the geometry and the topology of parametric curves
- The complexity of subdivision for diameter-distance tests
- Rational Hausdorff divisors: a new approach to the approximate parametrization of curves
- Numerical proper reparametrization of parametric plane curves
- Approximation of parametric curves by moving least squares method
- Globally certified \(G^1\) approximation of planar algebraic curves
- Certified approximation of parametric space curves with cubic \(B\)-spline curves
- Isotopic meshing of a real algebraic space curve
- Algorithm for Connectivity Queries on Real Algebraic Curves
- Piecewise rational approximation of square-root parameterizable curves using the Weierstrass form
- An improved complexity bound for computing the topology of a real algebraic space curve
Uses Software
This page was built for publication: Certified rational parametric approximation of real algebraic space curves with local generic position method
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2437282)
