Projects funded by the NCN

Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Rigorous numerics and computer assisted proofs for dissipative partial differential equations.

2011/01/N/ST6/00995

Keywords:

Navier-Stokes equations computer assisted proof dissipative PDE rigorous numerics

Descriptors:

  • ST1_11: Partial differential equations
  • ST1_10: Ordinary differential equations and dynamical systems
  • ST6_9: Human computer interaction, speech recognition and synthesis, natural language processing

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

Other projects carried out by the institution 

Principal investigator (from the host institution):

Jacek Cyranka 

Number of co-investigators in the project: 2

Call: PRELUDIUM 1 - announced on 2011-03-15

Amount awarded: 74 500 PLN

Project start date (Y-m-d): 2011-12-14

Project end date (Y-m-d): 2013-12-13

Project duration:: 24 months (the same as in the proposal)

Project status: Project settled

Equipment purchased [PL]

  1. Notebook Dell XPS L502X poz.132/12/x19 (3 000 PLN)

Information in the final report

  • Publication in academic press/journals (3)
  1. Efficient and Generic Algorithm for Rigorous Integration Forward in Time of dPDEs: Part I
    Authors:
    J Cyranka
    Academic press:
    Journal of Scientific Computing (rok: 2014, tom: 59, strony: 28-52), Wydawca: Springer
    Status:
    Published
    DOI:
    10.1007/s10915-013-9749-1 - link to the publication
  2. Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof
    Authors:
    J Cyranka
    Academic press:
    Topological Methods in Nonlinear Analysis (rok: 2014, tom: nie dotyczy, strony: nie dotyczy), Wydawca: JULIUSZ SCHAUDER CTR NONLINEAR STUDIES
    Status:
    Accepted for publication
    DOI:
    nie - link to the publication
  3. Existence of globally attracting solutions for one-dimensional viscous Burgers equation with nonautonomous forcing - a computer assisted proof
    Authors:
    Jacek Cyranka, Piotr Zgliczyński
    Academic press:
    FOCM , Wydawca: Springer
    Status:
    Submitted
    DOI:
    brak - link to the publication

O Narodowym Centrum Nauki

Finansowanie nauki

Współpraca zagraniczna

Centrum prasowe

Deklaracja dostępności
Przetwarzanie danych osobowych
Polityka cookies

Partnerzy