Search - IMAG Access content directly

Filter your results

3 Results
Domains : math.math-ag
Image document

On using sums-of-squares for exact computations without strict feasibility

David Monniaux
Preprints, Working Papers, ... hal-00487279v1
Image document

On the Generation of Positivstellensatz Witnesses in Degenerate Cases

David Monniaux , Pierre Corbineau
Interactive Theorem Proving, Aug 2011, Nijmegen, Netherlands. pp.249-264
Conference papers hal-00594761v1
Image document

Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities

David Monniaux
Preprints, Working Papers, ... hal-00357358v1