O ścisłej numeryce i komputerowo wspieranych dowodach w dynamice równań różniczkowych

Speaker(s)

Piotr Zgliczyński

Affiliation

Uniwersytet Jagielloński

Date

May 7, 2015, 10 a.m.

Room

room 5840

Seminar

Seminar of Numerical Analysis Group

---

Opowiem na czym polega ścisła numeryka dla równań różniczkowych 
zwyczajnych, jak wyglądają dla nich niektóre komputerowo wspierane dowody.  I jak to wszystko ma się do tradycyjnej analizy numerycznej.

---