The removal of \pi from some undecidable problems involving elementary functions
From MaRDI portal
(Redirected from Publication:4804074)
The removal of $\pi $ from some undecidable problems involving elementary functions
The removal of $\pi $ from some undecidable problems involving elementary functions
Recommendations
- Complexity and Definability Issues in LFormula
- The Undecidability of the Existence of Zeros of Real Elementary Functions
- A new elementary proof for the irrationality of \(\pi\)
- Unraveling _1¹ sets
- Unraveling \({\boldsymbol\Pi}^1_1\) sets, revisited
- \(\pi\)-calculi
- scientific article; zbMATH DE number 3891998
- On some problems in PI-theory in characteristic \(p\)
- The elimination of \textit{de re} formulas
Cites work
- scientific article; zbMATH DE number 3440485 (Why is no real title available?)
- scientific article; zbMATH DE number 937371 (Why is no real title available?)
- On Canonical Forms and Simplification
- Some undecidable problems involving elementary functions of a real variable
- The Undecidability of the Existence of Zeros of Real Elementary Functions
Cited in
(7)- The algebraic numbers definable in various exponential fields
- The natural algorithmic approach of mixed trigonometric-polynomial problems
- The Undecidability of the Existence of Zeros of Real Elementary Functions
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials
- On the decidability of reachability in continuous time linear time-invariant systems
- Self-approaching paths in simple polygons
- Turing meets Schanuel
This page was built for publication: The removal of $\pi $ from some undecidable problems involving elementary functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4804074)
