Q5389777 (Q5389777): Difference between revisions

@@ Property / author @@
-Bernd Bank
@@ Property / author: Bernd Bank / rank @@
-Normal rank
@@ Property / author @@
-Luis Miguel Pardo
@@ Property / author: Luis Miguel Pardo / rank @@
-Normal rank
@@ Property / author @@
+Bernd Bank
@@ Property / author: Bernd Bank / rank @@
+Normal rank
@@ Property / author @@
+Luis Miguel Pardo
@@ Property / author: Luis Miguel Pardo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronecker
@@ Property / describes a project that uses: Kronecker / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Real solving for positive dimensional systems.
@@ Property / cites work: Real solving for positive dimensional systems. / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized polar varieties: geometry and algorithms
+Normal rank
@@ Property / cites work @@
+Polar varieties and efficient real elimination
@@ Property / cites work: Polar varieties and efficient real elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Polar varieties, real equation solving, and data structures: the hypersurface case
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4232468
@@ Property / cites work: Q4232468 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3770650
@@ Property / cites work: Q3770650 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2735609
@@ Property / cites work: Q2735609 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331740
@@ Property / cites work: Q4331740 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient incremental algorithms for the sparse resultant and the mixed volume
+Normal rank
@@ Property / cites work @@
+The hardness of polynomial equation solving
@@ Property / cites work: The hardness of polynomial equation solving / rank @@
+Normal rank
@@ Property / cites work @@
+Kronecker's and Newton's approaches to solving: a first comparison
+Normal rank
@@ Property / cites work @@
+Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
+Normal rank
@@ Property / cites work @@
+Complexity estimates depending on condition and round-off error
+Normal rank
@@ Property / cites work @@
+Q4386742
@@ Property / cites work: Q4386742 / rank @@
+Normal rank
@@ Property / cites work @@
+Ideals defined by matrices and a certain complex associated with them
+Normal rank
@@ Property / cites work @@
+R-SEQUENCES AND INDETERMINATES
@@ Property / cites work: R-SEQUENCES AND INDETERMINATES / rank @@
+Normal rank
@@ Property / cites work @@
+Q4317713
@@ Property / cites work: Q4317713 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent progress in intersection theory. Based on the international conference on intersection theory, Bologna, Italy, December 1997
+Normal rank
@@ Property / cites work @@
+Q2734988
@@ Property / cites work: Q2734988 / rank @@
+Normal rank
@@ Property / cites work @@
+Straight-line programs in geometric elimination theory
+Normal rank
@@ Property / cites work @@
+Lower bounds for diophantine approximations
@@ Property / cites work: Lower bounds for diophantine approximations / rank @@
+Normal rank
@@ Property / cites work @@
+A Gröbner free alternative for polynomial system solving
+Normal rank
@@ Property / cites work @@
+Solving systems of polynomial inequalities in subexponential time
+Normal rank
@@ Property / cites work @@
+Definability and fast quantifier elimination in algebraically closed fields
+Normal rank
@@ Property / cites work @@
+On the time-space complexity of geometric elimination procedures
+Normal rank
@@ Property / cites work @@
+Q3483265
@@ Property / cites work: Q3483265 / rank @@
+Normal rank
@@ Property / cites work @@
+Sur la complexité du principe de Tarski-Seidenberg
+Normal rank
@@ Property / cites work @@
+Q3942397
@@ Property / cites work: Q3942397 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4714022
@@ Property / cites work: Q4714022 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3714169
@@ Property / cites work: Q3714169 / rank @@
+Normal rank
@@ Property / cites work @@
+Variétés polaires locales et classes de Chern des variétés singulieres
+Normal rank
@@ Property / cites work @@
+Quadratic Newton iteration for systems with multiplicity
+Normal rank
@@ Property / cites work @@
+Probabilistic algorithms for geometric elimination
+Normal rank
@@ Property / cites work @@
+Q3992979
@@ Property / cites work: Q3992979 / rank @@
+Normal rank
@@ Property / cites work @@
+Polar classes of singular varieties
@@ Property / cites work: Polar classes of singular varieties / rank @@
+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 @@
+Q4660671
@@ Property / cites work: Q4660671 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4162206
@@ Property / cites work: Q4162206 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3689276
@@ Property / cites work: Q3689276 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on results on Bezout's theorem. Notes by D. P. Patil
+Normal rank