- Tytuł:
-
Efficient algorithms for rigorous integration forward in time of dPDEs : existence of globally attracting fixed points of viscous Burgers equation with constant forcing, a computer assisted proof
Wydajne algorytmy do ścisłego całkowania do przodu w czasie dysypatywnych równań różniczkowych cząstkowych : istnienie globalnie przyciągających punktów stałych dla lepkościowego równania Burgersa ze stałym - Autorzy:
- Cyranka, Jacek
- Współwytwórcy:
- Zgliczyński, Piotr
- Data publikacji:
- 2013-06-06
- Słowa kluczowe:
-
computer assisted proof
rigorous numerical method
partial differential equations
dowód wpierany komputerowo
równania różniczkowe cząstkowe
ścisłe metody numeryczne - Pokaż więcej
- Dostawca treści:
- Repozytorium Uniwersytetu Jagiellońskiego