We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of interval arithmetic. We illustrate the presented method by computing solution sets for two explicit systems.
|Title of host publication||Proceedings of the International Conference on Differential Equations|
|Subtitle of host publication||EQUADIFF 99|
|Editors||Bernold Fiedler, Konrad Groger, Jurgen Sprekels|
|Place of Publication||Singapore|
|Publisher||World Scientific Publishing|
|Number of pages||6|
|Publication status||Published - 4 Oct 1999|