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

Prelegent(ci)

Piotr Zgliczyński

Afiliacja

Uniwersytet Jagielloński

Termin

7 maja 2015 10:00

Pokój

p. 5840

Seminarium

Seminarium Zakładu Analizy Numerycznej

---

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.

---