Solving systems of polynomial inequalities over a real closed field in subexponential time (Q804242): Difference between revisions

@@ Property / author @@
+Nikolaj N. jun. Vorob'ev
@@ Property / author: Nikolaj N. jun. Vorob'ev / rank @@
+Normal rank
@@ Property / author @@
+Dima Yu. Grigoriev
@@ Property / author: Dima Yu. Grigoriev / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q5184990
@@ Property / cites work: Q5184990 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Integer Arithmetic Algorithms for Polynomial Real Zero Determination
+Normal rank
@@ Property / cites work @@
+Definability and fast quantifier elimination in algebraically closed fields
+Normal rank
@@ Property / cites work @@
+Q3050157
@@ Property / cites work: Q3050157 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Betti Numbers of Real Varieties
@@ Property / cites work: On the Betti Numbers of Real Varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4189745
@@ Property / cites work: Q4189745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3684200
@@ Property / cites work: Q3684200 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of elementary algebra and geometry
@@ Property / cites work: The complexity of elementary algebra and geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Solving systems of polynomial inequalities in subexponential time
+Normal rank