Pages that link to "Item:Q5623667"
From MaRDI portal
The following pages link to The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations (Q5623667):
Displayed 15 items.
- Computability of entropy and information in classical Hamiltonian systems (Q653552) (← links)
- Differential equations in constructive analysis and in the recursive realizability topos (Q793725) (← links)
- Towards computability of elliptic boundary value problems in variational formulation (Q864435) (← links)
- Power series solutions of algebraic differential equations (Q1053752) (← links)
- Computability aspects for 1st-order partial differential equations via characteristics (Q2342677) (← links)
- On the computability of binary social choice rules in an infinite society and the halting problem (Q2479229) (← links)
- Exact real arithmetic using centred intervals and bounded error terms (Q2577477) (← links)
- Computability and Analysis, a Historical Approach (Q3188239) (← links)
- Computability, noncomputability and undecidability of maximal intervals of IVPs (Q3629381) (← links)
- Seven Kinds of Computable and Constructive Infelicities in Economics (Q4598050) (← links)
- Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach (Q4918008) (← links)
- Complexity of Blowup Problems (Q4918017) (← links)
- Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I) (Q4921435) (← links)
- Computability of Differential Equations (Q5024569) (← links)
- Computational unsolvability of domains of attraction of nonlinear systems (Q5322874) (← links)