Rigorous numerics and computer assisted proofs for dissipative partial differential equations.
2011/01/N/ST6/00995
Keywords
Descriptors
- ST1_11: Równania różniczkowe cząstkowe
- ST1_10: Równania różniczkowe zwyczajne i układy dynamiczne
- ST6_9: Obliczenia naukowe
Panel
ST6 – Computer science and informatics: informatics and information systems, computer science, scientific computing, intelligent systems
Host institution
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Voivodeship: małopolskie
Principal investigator (from the host institution)
Number of co-investigators in the project: 2
Call
PRELUDIUM 1 – announced on 2011-03-15
- Amount awarded
- 74 500 PLN
- Project start date
- 2011-12-14
- Project end date
- 2013-12-13
- Project duration
- 24 months (the same as in the proposal)
- Project status
- Project settled
Equipment purchased [PL]
- Notebook Dell XPS L502X poz.132/12/x19. Cost: 3 000 PLN
Information in the final report
Publication in academic press/journals (2)
-
Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I
- Authors:
- J Cyranka
- Academic press:
- Journal of Scientific Computing (year: 2014, volume: 59, pages: 28-52), Publisher: Springer
- Status:
- Published
- DOI:
- 10.1007/s10915-013-9749-1 – link to the publication
-
Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof
- Authors:
- J Cyranka
- Status:
- Accepted for publication