Pages that link to "Item:Q4732470"
From MaRDI portal
The following pages link to Decision problems for differential equations (Q4732470):
Displaying 12 items.
- Undecidability through Fourier series (Q278759) (← links)
- Computing with D-algebraic power series (Q669617) (← links)
- Solving difference equations whose coefficients are not transcendental (Q935167) (← links)
- Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets (Q1887829) (← links)
- On an undecidable problem related to difference equations with parameters (Q1956951) (← links)
- Effective power series computations (Q2420635) (← links)
- Guessing singular dependencies (Q2437325) (← links)
- Effective analytic functions (Q2456553) (← links)
- Computability, noncomputability and undecidability of maximal intervals of IVPs (Q3629381) (← links)
- Zero-Equivalence in Function Fields Defined by Algebraic Differential Equations (Q4038447) (← links)
- An undecidable property of definite integrals (Q4339197) (← links)
- A zero test for \(\sigma \)-algebraic power Series (Q6666535) (← links)