Nie jesteś zalogowany |
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.
zwyczajnych, jak wyglądają dla nich niektóre komputerowo wspierane dowody. I jak to wszystko ma się do tradycyjnej analizy numerycznej.
