1. The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation;Bournez,2006
2. Computing over the reals: foundations for scientific computing;Braverman;Notices Amer. Math. Soc.,2006
3. Undecidable propositions by ODE’s;Buser;Ann. Acad. Sci. Fenn. Math.,2007
4. Effective computability of solutions of differential inclusions: the ten thousand monkeys approach;Collins;J. UCS,2009
5. Hypercomputation;Copeland;Minds Mach.,2002