Cover Image

On Minimum CADs for Algebraic Sets in Dimension Three

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Michel, Lucas
Format:	Preprint
Published:	2026
Subjects:	Symbolic Computation Algebraic Geometry 14P10 I.1.0
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Minimal and Minimum Cylindrical Algebraic Decompositions
by: Michel, Lucas, et al.
Published: (2024)

Further results on Minimal and Minimum Cylindrical Algebraic Decompositions
by: Michel, Lucas, et al.
Published: (2026)

On Projective Delineability
by: Michel, Lucas, et al.
Published: (2024)

On some Exotic Cylindrical Algebraic Decompositions and Cells
by: Michel, Lucas
Published: (2026)

What Kind of Morphisms Induces Covering Maps over a Real Closed Field?
by: Chen, Rizeng
Published: (2025)

Exact Volumes of Semi-Algebraic Convex Bodies
by: Ramesh, Lakshmi, et al.
Published: (2026)

Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets
by: Dai, Zihao, et al.
Published: (2024)

Cylindrical Algebraic Decomposition in Macaulay2
by: Lee, Corin, et al.
Published: (2025)

A Geometric Approach to Cylindrical Algebraic Decomposition
by: Chen, Rizeng
Published: (2023)

Some Lower Bounds on the Reach of an Algebraic Variety
by: La Valle, Chris, et al.
Published: (2024)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
by: Davenport, James H., et al.
Published: (2026)

Effective Whitney Stratification of Real Algebraic Varieties
by: Helmer, Martin, et al.
Published: (2023)

The Proper Basis for Polynomial Ideals
by: Ma, Sheng-Ming
Published: (2021)

Metric Properties of Conflict Sets
by: Birbrair, Lev, et al.
Published: (2007)

Certified surface approximations using the interval Krawczyk test
by: Burr, Michael, et al.
Published: (2026)

Construction of birational trilinear volumes via tensor rank criteria
by: Busé, Laurent, et al.
Published: (2024)

Deciding Connectivity in Symmetric Semi-Algebraic Sets
by: Riener, Cordian., et al.
Published: (2025)

A new method for reducing algebraic programs to polynomial programs
by: Maaz, Muhammad, et al.
Published: (2025)

A semi-numerical algorithm for the homology lattice and periods of complex elliptic surfaces over the projective line
by: Pichon-Pharabod, Eric
Published: (2024)

Locally injective semialgebraic maps
by: Baro, E., et al.
Published: (2025)

An algorithm for annihilator and Bernstein-Sato polynomial of a rational function
by: González-Villa, Manuel, et al.
Published: (2026)

Comprehensive Restriction Algorithm for Hypergeometric Systems
by: Nakayama, Hiromasa, et al.
Published: (2025)

Brackets and Projective Geometry in Macaulay2
by: Bidleman, Dalton, et al.
Published: (2025)

An analog of the Edwards model for Jacobians of genus 2 curves
by: Flynn, E. Victor, et al.
Published: (2022)

Computing with D-Algebraic Sequences
by: Tabuguia, Bertrand Teguia
Published: (2024)

Iterated Resultants and Rational Functions in Real Quantifier Elimination
by: Davenport, James H., et al.
Published: (2023)

Explainable AI Insights for Symbolic Computation: A case study on selecting the variable ordering for cylindrical algebraic decomposition
by: Pickering, Lynn, et al.
Published: (2023)

Constrained Neural Networks for Interpretable Heuristic Creation to Optimise Computer Algebra Systems
by: Florescu, Dorian, et al.
Published: (2024)

Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
by: del Río, Tereso, et al.
Published: (2024)

Certifying Galois/monodromy Actions via Homotopy Graphs
by: Duff, Timothy, et al.
Published: (2026)

A priori bounds for certified Krawczyk homotopy tracking
by: Lee, Kisun
Published: (2025)

Dimension Results for Extremal-Generic Polynomial Systems over Complete Toric Varieties
by: Bender, Matías, et al.
Published: (2023)

Non-minimality of minimal telescopers explained by residues
by: Chen, Shaoshi, et al.
Published: (2025)

A polynomial formula for the perspective four points problem
by: Lehavi, David, et al.
Published: (2025)

The Geometry of Polycons and a Counterexample to Wachspress' Conjecture
by: Brüser, Clemens
Published: (2026)

On semidefinite-representable sets over valued fields
by: Cornou, Corentin, et al.
Published: (2026)

SynPAT: A System for Generating Synthetic Physical Theories with Data
by: Lenchner, Jonathan, et al.
Published: (2025)

Zero-dimensional tropicalizations in OSCAR
by: Marti-Shahandeh, Arman, et al.
Published: (2025)

Certified simultaneous isotopic approximation of curves via subdivision
by: Burr, Michael, et al.
Published: (2023)

Subalgebra and Khovanskii bases equivalence
by: Alstad, Colin, et al.
Published: (2024)