1101 search results - page 72 / 221 » Forcing in proof theory |
82
Voted
FOCM
2006
15 years 17 days ago
2006
We introduce some modifications and extensions of the concept od index pair in the Conley index theory. We then show how these concepts may be used to overcome some difficulties in...
103
Voted
CORR
2011
Springer
14 years 4 months ago
2011
Springer
This paper provides a succinct proof of a 1973 theorem of Lieb that establishes the concavity of a certain trace function. The development relies on a deep result from quantum info...
99
Voted
ICRA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper presents a computationally efficient method for deriving coordinate representations for the equations of motion and the affine connection describing a class of Lagrangi...
94
Voted
SIAMMA
2010
14 years 7 months ago
2010
This paper is concerned with a system that couples the incompressible Navier-Stokes equations to the Vlasov-Fokker-Planck equation. Such a system arises in the modeling of sprays,...
89
Voted
CIE
2007
Springer
15 years 6 months ago
2007
Springer
Realizability theory is not just a fundamental tool in logic and computability. It also has direct application to the design and implementation of programs, since it can produce co...