On the computation of the topology of plane curves

DOI10.1145/2608628.2608670zbMath1325.68273OpenAlexW2082053683MaRDI QIDQ3452387

Daouda Niang Diatta, Marie-Françoise Roy, Fabrice Rouillier

Publication date: 11 November 2015

Published in: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2608628.2608670

zbMATH Keywords

algebraic curvesexact topology computation

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Symbolic computation and algebraic computation (68W30) Planar graphs; geometric and topological aspects of graph theory (05C10) Plane and space curves (14H50) Computational aspects of algebraic curves (14Q05) Topology of real algebraic varieties (14P25)

Related Items (4)

On the topology and isotopic meshing of plane algebraic curves ⋮ Algorithm for Connectivity Queries on Real Algebraic Curves ⋮ Avoiding the general position condition when computing the topology of a real algebraic plane curve defined implicitly ⋮ On the complexity of computing with planar algebraic curves

Uses Software

• Jordan

Cites Work

• Unnamed Item
• Unnamed Item
• An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
• Cylindrical algebraic decomposition using validated numerics
• The Jordan Curve Theorem, Formally and Informally
• On Computable Numbers, with an Application to the Entscheidungsproblem
• Definability and decision problems in arithmetic

This page was built for publication: On the computation of the topology of plane curves