You are not logged in |
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.
zwyczajnych, jak wyglądają dla nich niektóre komputerowo wspierane dowody. I jak to wszystko ma się do tradycyjnej analizy numerycznej.
