Pages that link to "Item:Q4778269"
From MaRDI portal
The following pages link to The Undecidability of the Existence of Zeros of Real Elementary Functions (Q4778269):
Displaying 11 items.
- Undecidability and incompleteness in classical mechanics (Q1176394) (← links)
- Dynamical system where proving chaos is equivalent to proving Fermat's conjecture (Q1325710) (← links)
- Solving equations and optimization problems with uncertainty (Q1616393) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- The natural algorithmic approach of mixed trigonometric-polynomial problems (Q2012330) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- Fermat's last theorem and chaoticity (Q2629932) (← links)
- Some notes on a method for proving inequalities by computer (Q2634304) (← links)
- The removal of $\pi $ from some undecidable problems involving elementary functions (Q4804074) (← links)
- Unsolvability of some problems about piecewise-polynomial functions (Q6052270) (← links)
- Feasibility and regularity analysis of safe stabilizing controllers under uncertainty (Q6585447) (← links)
