Pages that link to "Item:Q5606585"
From MaRDI portal
The following pages link to Some Recursively Unsolvable Problems in Analysis (Q5606585):
Displaying 5 items.
- Undecidability through Fourier series (Q278759) (← links)
- Solving difference equations whose coefficients are not transcendental (Q935167) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- An undecidable property of definite integrals (Q4339197) (← links)
- Unsolvability of some problems about piecewise-polynomial functions (Q6052270) (← links)