Filter your results
- 3
- 2
- 1
- 3
- 2
- 1
- 1
- 1
- 3
- 3
- 3
- 1
|
|
sorted by
|
|
On using sums-of-squares for exact computations without strict feasibility2010
Preprints, Working Papers, ...
hal-00487279v1
|
||
|
On the Generation of Positivstellensatz Witnesses in Degenerate CasesInteractive Theorem Proving, Aug 2011, Nijmegen, Netherlands. pp.249-264
Conference papers
hal-00594761v1
|
||
|
Fatal Degeneracy in the Semidefinite Programming Approach to the Decision of Polynomial Inequalities2009
Preprints, Working Papers, ...
hal-00357358v1
|