3 European Projects Found
Searched on 125080 European Projects
FINISHED
"Feasibility, logic and randomness in computational complexity" (FEALORA)
Start date: Jan 1, 2014, End date: Dec 31, 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 ...
Read Project
1
Partner Participant
FINISHED
Mathematical Thermodynamics of Fluids (MATHEF)
Start date: May 1, 2013, End date: Apr 30, 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 ...
Read Project
1
Partner Participant
FINISHED
The European Digital Mathematics Library (EuDML)
Start date: Feb 1, 2010, End date: Jan 31, 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 ...
Read Project
