Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields (Q752692): Difference between revisions

@@ Property / author @@
-Andre Galligo
@@ Property / author: Andre Galligo / rank @@
-Normal rank
@@ Property / author @@
+Andre Galligo
@@ Property / author: Andre Galligo / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of computing syzygies
@@ Property / cites work: On the complexity of computing syzygies / rank @@
+Normal rank
@@ Property / cites work @@
+On computing the determinant in small parallel time using a small number of processors
+Normal rank
@@ Property / cites work @@
+Q3712417
@@ Property / cites work: Q3712417 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounds for the degrees in the Nullstellensatz
@@ Property / cites work: Bounds for the degrees in the Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Ein algorithmisches Kriterium für die Lösbarkeit eines algebraischen Gleichungssystems
+Normal rank
@@ Property / cites work @@
+Q4203817
@@ Property / cites work: Q4203817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4204240
@@ Property / cites work: Q4204240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3728104
@@ Property / cites work: Q3728104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5187264
@@ Property / cites work: Q5187264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3719722
@@ Property / cites work: Q3719722 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725742
@@ Property / cites work: Q4725742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3710617
@@ Property / cites work: Q3710617 / rank @@
+Normal rank
@@ Property / cites work @@
+THE COMPLEXITY OF THE DECISION PROBLEM FOR THE FIRST ORDER THEORY OF ALGEBRAICALLY CLOSED FIELDS
+Normal rank
@@ Property / cites work @@
+Q3717026
@@ Property / cites work: Q3717026 / rank @@
+Normal rank
@@ Property / cites work @@
+Sharp Effective Nullstellensatz
@@ Property / cites work: Sharp Effective Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Q3272926
@@ Property / cites work: Q3272926 / rank @@
+Normal rank
@@ Property / cites work @@
+Algèbre linéaire sur $K[X_1,\dots,X_n]$ et élimination
+Normal rank
@@ Property / cites work @@
+Fields of large transcendence degree generated by values of elliptic functions
+Normal rank
@@ Property / cites work @@
+The complexity of the word problems for commutative semigroups and polynomial ideals
+Normal rank
@@ Property / cites work @@
+Constructions in Algebra
@@ Property / cites work: Constructions in Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0022-4049(90)90159-f
+Normal rank
@@ Property / OpenAlex ID @@
+W2078730239
@@ Property / OpenAlex ID: W2078730239 / rank @@
+Normal rank