An effective algorithm for quantifier elimination over algebraically closed fields using straight line programs (Q1295548): Difference between revisions

@@ Property / cites work @@
+Q3481825
@@ Property / cites work: Q3481825 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3692867
@@ Property / cites work: Q3692867 / rank @@
+Normal rank
@@ Property / cites work @@
+Effective Bezout identities in \({\mathbb{Q}}[z_ 1,\dots ,z_ n]\)
+Normal rank
@@ Property / cites work @@
+On computing the determinant in small parallel time using a small number of processors
+Normal rank
@@ Property / cites work @@
+On Relating Time and Space to Size and Depth
@@ Property / cites work: On Relating Time and Space to Size and Depth / rank @@
+Normal rank
@@ Property / cites work @@
+Fast parallel matrix and GCD computations
@@ Property / cites work: Fast parallel matrix and GCD computations / 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 @@
+How to compute the Chow form of an unmixed polynomial ideal in single exponential time
+Normal rank
@@ Property / cites work @@
+Q4204240
@@ Property / cites work: Q4204240 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4203817
@@ Property / cites work: Q4203817 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358853
@@ Property / cites work: Q3358853 / 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 @@
+Precise sequential and parallel complexity bounds for quantifier elimination over algebraically closed fields
+Normal rank
@@ Property / cites work @@
+Q4872788
@@ Property / cites work: Q4872788 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4850731
@@ Property / cites work: Q4850731 / rank @@
+Normal rank
@@ Property / cites work @@
+On the efficiency of effective Nullstellensätze
@@ Property / cites work: On the efficiency of effective Nullstellensätze / rank @@
+Normal rank
@@ Property / cites work @@
+Straight-line programs in geometric elimination theory
+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 @@
+Definability and fast quantifier elimination in algebraically closed fields
+Normal rank
@@ Property / cites work @@
+Q3835021
@@ Property / cites work: Q3835021 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3942397
@@ Property / cites work: Q3942397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3912021
@@ Property / cites work: Q3912021 / rank @@
+Normal rank
@@ Property / cites work @@
+Greatest common divisors of polynomials given by straight-line programs
+Normal rank
@@ Property / cites work @@
+Sharp Effective Nullstellensatz
@@ Property / cites work: Sharp Effective Nullstellensatz / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714022
@@ Property / cites work: Q4714022 / rank @@
+Normal rank
@@ Property / cites work @@
+A fast parallel algorithm to compute the rank of a matrix over an arbitrary field
+Normal rank
@@ Property / cites work @@
+ESTIMATES FOR THE ORDERS OF ZEROS OF FUNCTIONS OF A CERTAIN CLASS AND APPLICATIONS IN THE THEORY OF TRANSCENDENTAL NUMBERS
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. III: Quantifier elimination
+Normal rank
@@ Property / cites work @@
+On the representation of rational functions of bounded complexity
+Normal rank
@@ Property / cites work @@
+Berechnung und Programm. I
@@ Property / cites work: Berechnung und Programm. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4725742
@@ Property / cites work: Q4725742 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4137157
@@ Property / cites work: Q4137157 / rank @@
+Normal rank