OASIcs.CCA.2009.2253.pdf
- Filesize: 98 kB
- 1 pages
In this talk, we discuss some algorithmic aspects of the local and global existence theory for various ordinary and partial differential equations. We will present a sample of results and give some idea of the motivation and general philosophy underlying these results.
Feedback for Dagstuhl Publishing