Publication:3416089
From MaRDI portal
zbMath1152.03049MaRDI QIDQ3416089
Olivier Bournez, Emmanuel Hainry
Publication date: 19 January 2007
03F60: Constructive and recursive analysis
03D80: Applications of computability and recursion theory
Related Items
A characterization of computable analysis on unbounded domains using differential equations, The elementary computable functions over the real numbers: applying two new techniques, A foundation for real recursive function theory, Polynomial differential equations compute all real computable functions on computable compact intervals, Distributed Learning of Wardrop Equilibria