26 search results - page 2 / 6 » A New Approach for Automatic Theorem Proving in Real Geometr... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We give a novel proof of the existence of Nash equilibria in all finite games without using fixed point theorems or path following arguments. Our approach relies on a new notion i...
CSJM
2008
13 years 5 months ago
2008
The notion of real radicals is a fundamental tool in Real Algebraic Geometry. It takes the role of the radical ideal in Complex Algebraic Geometry. In this article I shall describ...
CVPR
2007
IEEE
14 years 7 months ago
2007
IEEE
Calibration techniques for projector-based displays typically require that the display configuration remain fixed, since they are unable to adapt to changes such as the movement o...
SOFSEM
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. The first part of this paper presents a new approach for automatically proving nontermination of string rewrite systems. We encode rewrite sequences as propositional for...
DGCI
2003
Springer
13 years 10 months ago
2003
Springer
In order to make image analysis methods more reliable it is important to analyse to what extend shape information is preserved during image digitization. Most existing approaches t...