Opendata, web and dolomites


Global existence and Computer-Assisted Proofs of singularities in incompressible fluids, with Applications

Total Cost €


EC-Contrib. €






Project "CAPA" data sheet

The following table provides information about the project.


Organization address
postcode: 8007

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Spain [ES]
 Total cost 1˙483˙073 €
 EC max contribution 1˙483˙073 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2019-STG
 Funding Scheme ERC-STG
 Starting year 2020
 Duration (year-month-day) from 2020-07-01   to  2025-06-30


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITAT DE BARCELONA ES (BARCELONA) coordinator 1˙483˙073.00


 Project objective

The goal of this proposal is twofold: on the one hand to pursue methods and ideas developed in recent work in the search for either singularities or global existence in incompressible fluids with finite energy and on the other transfer the techniques to solve long-standing open problems in spectral geometry. A key ingredient in its success is to have accurate numerics together with a deep understanding of the regularity theory. Therefore, the interdisciplinary nature of this project, which involves numerical computations, computer-assisted proofs, modern PDE methods and harmonic analysis, is an essential ingredient for the successful outcome. This proposal is divided in three blocks, the first two involving global existence and/or singularities for: the incompressible Euler and Navier-Stokes equations; the surface quasi-geostrophic (SQG), the generalized-SQG equations and related models; and a third one on applications to spectral geometry. There is a strong analogy between the SQG and the 3D Euler equations, and many results that hold for the former also hold for the latter. A major theme is the interplay between rigorous computer calculations and traditional mathematics. Interval arithmetics are used as part of a proof whenever they are needed. As an evidence of its capabilities, I have pioneered techniques to show singularities in PDE related to fluid mechanics – even in low regularity settings –, developed a way to treat singular integrals, and solved eigenvalue problems using computer-assisted proofs. This is a completely novel approach that can be blended with more classical ones, resulting in very powerful theorems solving problems that can not be treated currently with pen and paper methods.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "CAPA" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "CAPA" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.1.)

CohoSing (2019)

Cohomology and Singularities

Read More  

EAST (2020)

Using Evolutionary Algorithms to Understand and Secure Web/Enterprise Systems

Read More  


Co-production of seasonal representations for adaptive institutions

Read More