Sciweavers

77
Voted
CORR
2011
Springer
155views Education» more  CORR 2011»
14 years 22 days ago
On the Generation of Positivstellensatz Witnesses in Degenerate Cases
One can reduce the problem of proving that a polynomial is nonnegative, or more generally of proving that a system of polynomial inequalities has no solutions, to finding polynomi...
David Monniaux, Pierre Corbineau