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...

ver descrição completa

Detalhes bibliográficos
Autor principal: Collins, Pieter (author)
Outros Autores: Graça, Daniel (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2012
Texto completo:http://hdl.handle.net/10400.1/1038
País:Portugal
Oai:oai:sapientia.ualg.pt:10400.1/1038