Imagen de Portada

Recent Developments in Real Quantifier Elimination and Cylindrical Algebraic Decomposition

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	England, Matthew
Formato:	Preprint
Publicado:	2024
Materias:	Symbolic Computation 68W30 I.1.2
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

Symbolic Summation of Multivariate Rational Functions
por: Chen, Shaoshi, et al.
Publicado: (2022)

On some Exotic Cylindrical Algebraic Decompositions and Cells
por: Michel, Lucas
Publicado: (2026)

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

Computing square roots in quaternion algebras
por: Koprowski, Przemysław
Publicado: (2023)

Computing with D-Algebraic Sequences
por: Tabuguia, Bertrand Teguia
Publicado: (2024)

On the Algorithmic Recovering of Coefficients in Linearizable Differential Equations
por: Lyakhov, Dmitry A., et al.
Publicado: (2024)

A Monadic Calculus with Episodic Flows
por: Henning, Sotirios
Publicado: (2024)

FePySR: A Neural Feature Extraction Framework for Efficient and Scalable Symbolic Regression
por: Yu, Zhiming, et al.
Publicado: (2026)

Parametric "Non-nested" Discriminants for Multiplicities of Univariate Polynomials
por: Hong, Hoon, et al.
Publicado: (2023)

Efficient Symbolic Computation via Hash Consing
por: Zhu, Bowen, et al.
Publicado: (2025)

Complete Reduction for Derivatives in a Transcendental Liouvillian Extension
por: Chen, Shaoshi, et al.
Publicado: (2026)

Complete Reduction for Derivatives in a Primitive Tower
por: Du, Hao, et al.
Publicado: (2025)

A zero-test for D-algebraic transseries
por: Chen, Shaoshi, et al.
Publicado: (2026)

A Geometric Approach to Cylindrical Algebraic Decomposition
por: Chen, Rizeng
Publicado: (2023)

Cylindrical Algebraic Decomposition in Macaulay2
por: Lee, Corin, et al.
Publicado: (2025)

First steps towards Computational Polynomials in Lean
por: Davenport, James Harold
Publicado: (2024)

Towards Verified Polynomial Factorisation
por: Davenport, James H.
Publicado: (2024)

Misfortunes of a mathematicians' trio using Computer Algebra Systems: Can we trust?
por: Durán, Antonio J., et al.
Publicado: (2013)

Architecture-Induced Recoverability Bias in Differentiable Symbolic Regression
por: Gupta, Chakshu, et al.
Publicado: (2026)

A computational approach to rational summability and its applications via discrete residues
por: Arreche, Carlos E., et al.
Publicado: (2025)

Computing bases in Hermite normal form of lattices of integer relations
por: Labahn, George, et al.
Publicado: (2026)

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

Deciding summability via residues in theory and in practice
por: Arreche, Carlos E.
Publicado: (2025)

D-Algebraic Functions
por: Manssour, Rida Ait El, et al.
Publicado: (2023)

Jacobi Stability Analysis for Systems of ODEs Using Symbolic Computation
por: Huang, Bo, et al.
Publicado: (2024)

On Rational Recursion for Holonomic Sequences
por: Tabuguia, Bertrand Teguia, et al.
Publicado: (2024)

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

Computing discrete residues of rational functions
por: Arreche, Carlos E., et al.
Publicado: (2024)

STRIDE: A Self-Reflective Agent Framework for Reliable Automatic Equation Discovery
por: Su, Jiarui, et al.
Publicado: (2026)

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

Arithmetic of D-Algebraic Functions
por: Tabuguia, Bertrand Teguia
Publicado: (2023)

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

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

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

Towards LLM-based Generation of Human-Readable Proofs in Polynomial Formal Verification
por: Drechsler, Rolf
Publicado: (2025)