Cover Image

A Variant of Non-uniform Cylindrical Algebraic Decomposition for Real Quantifier Elimination

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nalbach, Jasper, Ábrahám, Erika
Format:	Preprint
Published:	2025
Subjects:	Symbolic Computation
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

More is Less: Adding Polynomials for Faster Explanations in NLSAT
by: Promies, Valentin, et al.
Published: (2025)

FMplex: Exploring a Bridge between Fourier-Motzkin and Simplex
by: Promies, Valentin, et al.
Published: (2023)

Levelwise construction of a single cylindrical algebraic cell
by: Nalbach, Jasper, et al.
Published: (2022)

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

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)

Breaking the Data Barrier in Learning Symbolic Computation: A Case Study on Variable Ordering Suggestion for Cylindrical Algebraic Decomposition
by: Jing, Rui-Juan, et al.
Published: (2026)

Pseudo-Complex Quantifier Elimination
by: Faroß, Nicolas, et al.
Published: (2026)

Quantifier Elimination Meets Treewidth
by: Wu, Hao, et al.
Published: (2026)

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

One-Parametric Presburger Arithmetic has Quantifier Elimination
by: Mansutti, Alessio, et al.
Published: (2025)

Scaling Up Reachability Analysis for Rectangular Automata with Random Clocks
by: Stübbe, Jonas, et al.
Published: (2025)

On the Computation of Newton Polytopes of Eliminants
by: Mohr, Rafael, et al.
Published: (2025)

Recycling Algebraic Proof Certificates
by: Kaufmann, Daniela, et al.
Published: (2025)

Bounds for D-Algebraic Closure Properties
by: Kauers, Manuel, et al.
Published: (2025)

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

A Syzygial Method for Equidimensional Decomposition
by: Mohr, Rafael
Published: (2024)

Differential Elimination and Algebraic Invariants of Polynomial Dynamical Systems
by: Simmons, William, et al.
Published: (2023)

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

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

Avoiding Big Integers: Parallel Multimodular Algebraic Verification of Arithmetic Circuits
by: Hofstadler, Clemens, et al.
Published: (2026)

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

Decomposition and Preprocessing of Ternary Constraint Networks
by: Talbot, Pierre
Published: (2025)

Exploiting the Structure in Tensor Decompositions for Matrix Multiplication
by: Kauers, Manuel, et al.
Published: (2026)

Formal Power Series on Algebraic Cryptanalysis
by: Nakamura, Shuhei
Published: (2020)

On the Number of Real Types of Univariate Polynomials
by: Faroß, Nicolas, et al.
Published: (2025)

Algorithms for Algebraic and Arithmetic Attributes of Hypergeometric Functions
by: Caruso, Xavier, et al.
Published: (2026)

Algebraic structure behind Odrzywołek's EML operator
by: Stachowiak, Tomasz
Published: (2026)

DNLSAT: A Dynamic Variable Ordering MCSAT Framework for Nonlinear Real Arithmetic
by: Wang, Zhonghan
Published: (2024)

Algebraic and Arithmetic Attributes of Hypergeometric Functions in SageMath
by: Caruso, Xavier, et al.
Published: (2026)

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

Primary Decomposition of Symmetric Ideals
by: Ishihara, Yuki
Published: (2024)

Advancing Symbolic Discovery on Unsupervised Data: A Pre-training Framework for Non-degenerate Implicit Equation Discovery
by: Yufei, Kuang, et al.
Published: (2025)

Structural Preprocessing Method for Nonlinear Differential-Algebraic Equations Using Linear Symbolic Matrices
by: Oki, Taihei, et al.
Published: (2024)

Comprehensive Systems for Primary Decompositions of Parametric Ideals
by: Ishihara, Yuki, et al.
Published: (2024)

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

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
by: Shalyt, Michael, et al.
Published: (2025)

Algebraic Representations for Faster Predictions in Convolutional Neural Networks
by: Joyce, Johnny, et al.
Published: (2024)