Ścisłe metody numeryczne całkowania w czasie równań różniczkowych

Postaram się przedstawić techniki ścisłego numerycznego całkowania w czasie równań różniczkowych oraz omówić zastosowania. Przez ścisłe całkowanie rozumiem proces, który gwarantuje, że dokładne rozwiązanie problemu zawiera się w propagowanym zbiorze przedziałowym. Pierwsza część prezentacji będzie dotyczyć r.r. zwyczajnych, a w drugiej postaram się pokazać jak omawiane techniki przenieść w nieskończony wymiar i zastosować do r.r. cząstkowych.