Certified simultaneous isotopic approximation of pairs of curves via subdivision

DOI10.1145/3597066.3597074arXiv2302.04908MaRDI QIDQ6060358

Michael A. Burr, Michael Byrd

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.04908

zbMATH Keywords

interval arithmetictopological correctnesscertified algorithmspairwise curve approximationPlantinga and Vegter approximation Algorithm

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Continuous amortization and extensions: with applications to bisection-based root isolation
• Adaptive isotopic approximation of nonsingular curves: The parameterizability and nonlocal isotopy approach
• SqFreeEVAL: An (almost) optimal real-root isolation algorithm
• Certified numerical real root isolation for bivariate nonlinear systems
• On the complexity of the Plantinga-Vegter algorithm
• The complexity of subdivision for diameter-distance tests
• Isotopic Arrangement of Simple Curves: An Exact Numerical Approach Based on Subdivision
• Introduction to Interval Analysis
• Condition numbers for the cube. I: Univariate polynomials and hypersurfaces
• Complete subdivision algorithms, II

This page was built for publication: Certified simultaneous isotopic approximation of pairs of curves via subdivision