Deciding first-order formulas involving univariate mixed trigonometric-polynomials
From MaRDI portal
Publication:6060361
DOI10.1145/3597066.3597104OpenAlexW4383222034MaRDI QIDQ6060361
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
transcendental equationsreal root isolationmixed trigonometric-polynomialfirst-order formula decision
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