On the Generation of Positivstellensatz Witnesses in Degenerate Cases (Q3088010): Difference between revisions

@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RAGlib
@@ Property / describes a project that uses: RAGlib / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1501825542
@@ Property / OpenAlex ID: W1501825542 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.4421
@@ Property / arXiv ID: 1105.4421 / rank @@
+Normal rank
@@ Property / cites work @@
+Signature of symmetric rational matrices and the unitary dual of lie groups
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Algorithm 875
@@ Property / cites work: Algorithm 875 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Reflexive Arithmetic Tactics the Linear Case and Beyond
+Normal rank
@@ Property / cites work @@
+Q4821526
@@ Property / cites work: Q4821526 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391213
@@ Property / cites work: Q4391213 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical method in algebra: Effective Nullstellensätze
+Normal rank
@@ Property / cites work @@
+Verifying Nonlinear Real Formulas Via Sums of Squares
+Normal rank
@@ Property / cites work @@
+Exact certification in global polynomial optimization via sums-of-squares of rational functions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Products of positive forms, linear matrix inequalities, and Hilbert 17th problem for ternary forms
+Normal rank
@@ Property / cites work @@
+Anneaux preordonnes
@@ Property / cites work: Anneaux preordonnes / rank @@
+Normal rank
@@ Property / cites work @@
+Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant
+Normal rank
@@ Property / cites work @@
+Implementing the cylindrical algebraic decomposition within the Coq system
+Normal rank
@@ Property / cites work @@
+Computing sum of squares decompositions with rational coefficients
+Normal rank
@@ Property / cites work @@
+Extremal psd forms with few terms
@@ Property / cites work: Extremal psd forms with few terms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4496287
@@ Property / cites work: Q4496287 / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of Schmüdgen's Positivstellensatz
+Normal rank
@@ Property / cites work @@
+A new decision method for elementary algebra
@@ Property / cites work: A new decision method for elementary algebra / rank @@
+Normal rank
@@ Property / cites work @@
+A Nullstellensatz and a Positivstellensatz in semialgebraic geometry
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Semidefinite Programming
@@ Property / cites work: Semidefinite Programming / rank @@
+Normal rank