Cover Image

Cylindrical Algebraic Decomposition in Macaulay2

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lee, Corin, del Río, Tereso, Rahkooy, Hamid
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation Algebraic Geometry 14Q30 (Primary) 68W30, 14P05, 13P15, 03C10 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

An Effective Criterion for Covering Maps Between Real Varieties
by: Chen, Rizeng
Published: (2026)

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

Sparse systems and algorithmic equidimensional decomposition
by: Herrero, Maria Isabel, et al.
Published: (2025)

Sparse Nullstellensatz, resultants and determinants of complexes
by: D'Andrea, Carlos, et al.
Published: (2024)

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

Cohen-Macaulay, Gorenstein and complete intersection conditions by marked bases
by: Bertone, Cristina, et al.
Published: (2024)

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules
by: Shang, Weifeng, et al.
Published: (2025)

Effective bounds for polynomial systems defined over the rationals
by: Krick, Teresa
Published: (2025)

Sufficient conditions for the surjectivity of radical curve parametrizations
by: Caravantes, Jorce, et al.
Published: (2023)

A Kronecker algorithm for locally closed sets over a perfect field
by: Giménez, Nardo, et al.
Published: (2025)

Certified Real Eigenvalue Location
by: Solmaz, Baran, et al.
Published: (2026)

Majorization and Inequalities among Complete Homogeneous Symmetric Functions
by: Xu, Jia, et al.
Published: (2025)

Massively Parallel Modular Methods in Commutative Algebra and Algebraic Geometry
by: Basson, Dirk, et al.
Published: (2024)

Some computational aspects of spectral sequences in Čech cohomology
by: Zach, Matthias
Published: (2025)

(Positive) Quadratic Determinantal Representations of Quartic Curves and the Robinson Polynomial
by: Brüser, Clemens, et al.
Published: (2024)

An intrinsic homotopy for intersecting algebraic varieties
by: Sommese, Andrew J., et al.
Published: (2004)

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

Recent Advances in Debordering Methods
by: Dutta, Pranjal, et al.
Published: (2025)

The multivariate Hermite method for counting real and complex solutions to polynomial systems
by: Oleksiyuk, Volodymyr
Published: (2025)

Isotopy classification of Morse polynomials of degree 3 in ${\mathbb R}^3$
by: Vassiliev, V. A.
Published: (2024)

Optimality of Curtiss Bound on Poincare Multiplier for Positive Univariate Polynomials
by: Hong, Hoon, et al.
Published: (2023)

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

Revisiting Sampson Approximations for Geometric Estimation Problems
by: Rydell, Felix, et al.
Published: (2024)

Beyond Worst-Case Analysis for Symbolic Computation: Root Isolation Algorithms
by: Ergür, Alperen A., et al.
Published: (2025)

Motives meet SymPy: studying $λ$-ring expressions in Python
by: Sanchez, Daniel, et al.
Published: (2024)

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

Notes on Three Formulas of Abel
by: Cox, David A.
Published: (2024)

Isotopy classification of Morse polynomials of degree 4 in ${\mathbb R}^2$
by: Vassiliev, V. A.
Published: (2023)

Outer Lipschitz Classification of Normal Pairs of Hölder Triangles
by: Birbrair, Lev, et al.
Published: (2023)

Drawing real plane algebraic curves in OSCAR
by: Frühbis-Krüger, Anne, et al.
Published: (2026)

Integer multiplication is at least as hard as matrix transposition
by: Harvey, David, et al.
Published: (2025)

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

Intermediate algebras of semialgebraic functions
by: Baro, E., et al.
Published: (2025)

Commutative Algebra and Algebraic Geometry using OSCAR
by: Boehm, Janko, et al.
Published: (2024)

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