An algorithm for sums of squares of real polynomials (Q1295495): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3770650
@@ Property / cites work: Q3770650 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Algorithms for Sign Determination and Existential Quantifier Elimination
+Normal rank
@@ Property / cites work @@
+Q4161415
@@ Property / cites work: Q4161415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698624
@@ Property / cites work: Q4698624 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving systems of polynomial inequalities in subexponential time
+Normal rank
@@ Property / cites work @@
+Q4011324
@@ Property / cites work: Q4011324 / rank @@
+Normal rank