Deciding first-order formulas involving univariate mixed trigonometric-polynomials

DOI10.1145/3597066.3597104OpenAlexW4383222034WikidataQ131124601 ScholiaQ131124601MaRDI QIDQ6060361

Rizeng Chen, Bican Xia

Publication date: 3 November 2023

Published in: Proceedings of the 2023 International Symposium on Symbolic and Algebraic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3597066.3597104

zbMATH Keywords

transcendental equationsreal root isolationmixed trigonometric-polynomialfirst-order formula decision

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Cylindrical decomposition for systems transcendental in the first variable
• Deciding polynomial-transcendental problems
• Real root isolation for exp-log-arctan functions
• Partial cylindrical algebraic decomposition for quantifier elimination
• Automated proof of mixed trigonometric-polynomial inequalities
• Editorial: Symbolic computation and satisfiability checking
• Turing meets Schanuel
• Real root isolation for tame elementary functions
• δ-Complete Decision Procedures for Satisfiability over the Reals
• Deciding linear-trigonometric problems
• On the Cauchy Problem for Hyperbolic Operators with Nearly Constant Coefficient Principal Part
• Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions
• The Undecidability of the Existence of Zeros of Real Elementary Functions
• The removal of $\pi $ from some undecidable problems involving elementary functions
• Deciding polynomial-exponential problems
• Some undecidable problems involving elementary functions of a real variable
• On Canonical Forms and Simplification
• Algorithms in real algebraic geometry
• Improved projection for cylindrical algebraic decomposition
• Truth table invariant cylindrical algebraic decomposition
• Isolating all the real roots of a mixed trigonometric-polynomial

This page was built for publication: Deciding first-order formulas involving univariate mixed trigonometric-polynomials