Cover Image

A Geometric Approach to Cylindrical Algebraic Decomposition

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Chen, Rizeng
Format:	Preprint
Published:	2023
Subjects:	Algebraic Geometry Symbolic Computation Commutative Algebra 14Q30 (Primary) 14P10, 14Q20, 68W30 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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)

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

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

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

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

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

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

Fast computation of Riemann-Roch spaces for singular curves
by: Darkaoui, Dounia, et al.
Published: (2026)

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

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

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

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

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

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

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

An Effective Positivstellensatz over the Rational Numbers for Finite Semialgebraic Sets
by: Baldi, Lorenzo, et al.
Published: (2024)

Re-Embeddings of Special Border Basis Schemes
by: Kreuzer, Martin, et al.
Published: (2025)

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

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

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

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

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

An algorithm for the minimal model program in dimension three
by: Yasuda, Takehiko
Published: (2026)

Re-embeddings of Affine Algebras Via Gröbner Fans of Linear Ideals
by: Kreuzer, Martin, et al.
Published: (2023)

Efficiently Checking Separating Indeterminates
by: Andraschko, Bernhard, et al.
Published: (2024)

The CompGIT package: a computational tool for Geometric Invariant Theory quotients
by: Hanson, Robert, et al.
Published: (2025)

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

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

On quadratic persistence and Pythagoras numbers of totally real projective varieties
by: Han, Jong In, 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)

Local dual spaces and primary decomposition
by: Chen, Justin, et al.
Published: (2023)

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

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

Hierarchical filtrations of line bundles and optimal algebraic geometry codes
by: Rahmati-asghar, Rahim
Published: (2025)

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

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

Faster computation of Whitney stratifications and their minimization
by: Helmer, Martin, et al.
Published: (2024)

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