2023/49/B/ST6/02801
Keywords:
Numerical methods interval arithmetic computer-assisted proofs Poincare maps topological methods fixed point index infinite dimensional spaces
Descriptors:
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
woj. małopolskie
Principal investigator (from the host institution):
Number of co-investigators in the project: 3
Call: OPUS 25 - announced on 2023-03-16
Amount awarded: 344 491 PLN
Project start date (Y-m-d): 2024-01-29
Project end date (Y-m-d): 2026-01-28
Project duration:: 24 months (the same as in the proposal)
Project status: Project completed
Download the project description in a pdf file
Note - project descriptions were prepared by the authors of the applications themselves and placed in the system in an unchanged form.
Publications will be made available after the final report has been accepted.