3 projets européens trouvés
Recherche sur 125080 projets européens
TERMINÉ
"Feasibility, logic and randomness in computational complexity" (FEALORA)
Date du début: 1 janv. 2014, Date de fin: 31 déc. 2018,
"We will study fundamental problems in complexity theory using means developed in logic, specifically, in the filed of proof complexity. Since these problems seem extremely difficult and little progress has been achieved in solving them, we will prove results that will explain why they are so difficult and in which direction theory should be developed.Our aim is to develop a system of conjectures ...
Voir le projet
1
Participant partenaire
TERMINÉ
Mathematical Thermodynamics of Fluids (MATHEF)
Date du début: 1 mai 2013, Date de fin: 30 avr. 2018,
"The main goal of the present research proposal is to build up a general mathematical theory describing the motion of a compressible, viscous, and heat conductive fluid. Our approach is based on the concept of generalized (weak) solutions satisfying the basic physical principles of balance of mass, momentum, and energy. The energy balance is expressed in terms of a variant of entropy inequality su ...
Voir le projet
1
Participant partenaire
TERMINÉ
The European Digital Mathematics Library (EuDML)
Date du début: 1 févr. 2010, Date de fin: 31 janv. 2013,
In the light of mathematicians reliance on their discipline's rich published heritage and the key role of mathematics in enabling other scientific disciplines, the European Digital Mathematics Library strives to make the significant corpus of mathematics scholarship published in Europe available online, in the form of an authoritative and enduring digital collection, developed and curated by a net ...
Voir le projet