Cover Image

Further results on Minimal and Minimum Cylindrical Algebraic Decompositions

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Michel, Lucas, Mathonet, Pierre, Zénaïdi, Naïm
Format:	Preprint
Published:	2026
Subjects:	Symbolic Computation 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)

On Minimum CADs for Algebraic Sets in Dimension Three
by: Michel, Lucas
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)

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

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

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

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition
by: England, Matthew
Published: (2024)

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)

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

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

Projective Delineability for Single Cell Construction
by: Nalbach, Jasper, et al.
Published: (2025)

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

Smith normal forms of bivariate polynomial matrices
by: Lu, Dong, et al.
Published: (2025)

Computing Border Bases without using a Term Ordering
by: Kaspar, Stefan
Published: (2011)

On modular computation of Groebner bases with integer coefficients
by: Orevkov, S. Yu.
Published: (2013)

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

Flat singularities of chained systems, illustrated with an aircraft model
by: Kaminski, Yirmeyahu J., et al.
Published: (2022)

Deciding One to One property of Boolean maps: Condition and algorithm in terms of implicants
by: Sule, Virendra
Published: (2023)

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

On the Reduced Gröbner Bases of Blockwise Determinantal Ideals
by: Mou, Chenqi, et al.
Published: (2023)

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

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

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination
by: Nalbach, Jasper, et al.
Published: (2025)

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

An Optimized Path Planning of Manipulator Using Spline Curves and Real Quantifier Elimination Based on Comprehensive Gröbner Systems
by: Shirato, Yusuke, et al.
Published: (2024)

Inverse Kinematics for a 6-Degree-of-Freedom Robot Manipulator Using Comprehensive Gröbner Systems
by: Okazaki, Takumu, et al.
Published: (2025)

Extensions of the Cylindrical Algebraic Covering Method for Quantifiers
by: Nalbach, Jasper, et al.
Published: (2024)

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

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

Power Series Composition in Near-Linear Time
by: Kinoshita, Yasunori, et al.
Published: (2024)

Summa Summarum: Moessner's Theorem without Dynamic Programming
by: Danvy, Olivier
Published: (2024)

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

An Effective Trajectory Planning and an Optimized Path Planning for a 6-Degree-of-Freedom Robot Manipulator
by: Okazaki, Takumu, et al.
Published: (2025)

Quantifier Elimination for Normal Cone Computations
by: Mandlmayr, Michael, et al.
Published: (2024)

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

Arithmetic of D-Algebraic Functions
by: Tabuguia, Bertrand Teguia
Published: (2023)

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