The removal of $\pi $ from some undecidable problems involving elementary functions

DOI10.1090/S0002-9939-02-06753-9zbMath1016.03008MaRDI QIDQ4804074

Miklós Laczkovich

Publication date: 10 April 2003

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

zbMATH Keywords

undecidable problemsrings of elementary functions

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40) Elementary functions (26A09)

Related Items (6)

The algebraic numbers definable in various exponential fields ⋮ Turing meets Schanuel ⋮ Self-approaching paths in simple polygons ⋮ Deciding first-order formulas involving univariate mixed trigonometric-polynomials ⋮ On the decidability of reachability in continuous time linear time-invariant systems ⋮ The natural algorithmic approach of mixed trigonometric-polynomial problems

Cites Work

• Unnamed Item
• Unnamed Item
• The Undecidability of the Existence of Zeros of Real Elementary Functions
• Some undecidable problems involving elementary functions of a real variable
• On Canonical Forms and Simplification

This page was built for publication: The removal of $\pi $ from some undecidable problems involving elementary functions