Algorithm for Connectivity Queries on Real Algebraic Curves
From MaRDI portal
Publication:6060394
DOI10.1145/3597066.3597081arXiv2302.11347OpenAlexW4381245369MaRDI QIDQ6060394
Unnamed Author, Adrien Poteaux, Md. Nazrul Islam
Publication date: 3 November 2023
Published in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2302.11347
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Exact symbolic-numeric computation of planar algebraic curves
- On the isotopic meshing of an algebraic implicit surface
- Divide and conquer roadmap for algebraic sets
- A baby step-giant step roadmap algorithm for general algebraic sets
- On the topology of real algebraic plane curves
- Topology and arrangement computation of semi-algebraic planar curves
- A worst-case bound for topology computation of algebraic curves
- Trisecant Lemma for nonequidimensional varieties
- On the asymptotic and practical complexity of solving bivariate systems over the reals
- Generators of the ideal of an algebraic space curve
- Constructing roadmaps of semi-algebraic sets. I: Completeness
- Pinch-points and multiple locus of generic projections of singular varieties
- On the bit complexity of polynomial system solving
- Knots.
- Computation of the dual of a plane projective curve
- Algebraic Geometry. I: Complex projective varieties.
- Bounds for polynomials on algebraic numbers and application to curve topology
- From approximate factorization to root isolation with application to cylindrical algebraic decomposition
- On the complexity of computing with planar algebraic curves
- An improved upper complexity bound for the topology computation of a real algebraic plane curve
- A concise proof of the Kronecker polynomial system solver from scratch
- Certified rational parametric approximation of real algebraic space curves with local generic position method
- Computation of the topology of real algebraic space curves
- Topology of real algebraic space curves
- On the complexity of computing the topology of real algebraic space curves
- Positive dimensional parametric polynomial systems, connectivity queries and applications in robotics
- Modern Computer Algebra
- Computing Roadmaps of General Semi-Algebraic Sets
- A Nearly Optimal Algorithm for Deciding Connectivity Queries in Smooth and Bounded Real Algebraic Sets
- On the computation of the topology of plane curves
- Computing roadmaps of semi-algebraic sets on a variety
- Basic Algebraic Geometry 2
- Robots, computer algebra and eight connected components
- Connectivity queries on curves in Rn
- Ideals, Varieties, and Algorithms
- On the computation of the topology of a non-reduced implicit space curve
- Complete subdivision algorithms, II
- On the exact computation of the topology of real algebraic curves
- Algorithms in real algebraic geometry
