Effective computability of solutions of ordinary differential equations: the thousand monkeys approach

In this note we consider the computability of the solution of the initial- value problem for ordinary di erential equations with continuous right- hand side. We present algorithms for the computation of the solution using the \thousand monkeys" approach, in which we generate all possi- ble solu...

Full description

Bibliographic Details
Main Author: Collins, Pieter (author)
Other Authors: Graça, Daniel (author)
Format: conferenceObject
Language:eng
Published: 2012
Online Access:http://hdl.handle.net/10400.1/1038
Country:Portugal
Oai:oai:sapientia.ualg.pt:10400.1/1038