Pages that link to "Item:Q4804074"
From MaRDI portal
The following pages link to The removal of $\pi $ from some undecidable problems involving elementary functions (Q4804074):
Displayed 5 items.
- The natural algorithmic approach of mixed trigonometric-polynomial problems (Q2012330) (← links)
- Self-approaching paths in simple polygons (Q2173458) (← links)
- Turing meets Schanuel (Q2630828) (← links)
- The algebraic numbers definable in various exponential fields (Q3167453) (← links)
- Deciding first-order formulas involving univariate mixed trigonometric-polynomials (Q6060361) (← links)