Open weak CAD and its applications (Q1711996): Difference between revisions

@@ Property / cites work @@
+Q4552457
@@ Property / cites work: Q4552457 / rank @@
+Normal rank
@@ Property / cites work @@
+Criteria for copositive matrices using simplices and barycentric coordinates
+Normal rank
@@ Property / cites work @@
+On the combinatorial and algebraic complexity of quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4391229
@@ Property / cites work: Q4391229 / rank @@
+Normal rank
@@ Property / cites work @@
+Improved projection for cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Cylindrical Algebraic Decomposition in the RegularChains Library
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391213
@@ Property / cites work: Q4391213 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Classification of the perspective-three-point problem, discriminant variety and real solving polynomial systems of inequalities
+Normal rank
@@ Property / cites work @@
+On copositive matrices
@@ Property / cites work: On copositive matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Multivariate discriminant and iterated resultant
@@ Property / cites work: Multivariate discriminant and iterated resultant / rank @@
+Normal rank
@@ Property / cites work @@
+Constructing fewer open cells by GCD computation in CAD projection
+Normal rank
@@ Property / cites work @@
+Proving inequalities and solving global optimization problems via simplified CAD projection
+Normal rank
@@ Property / cites work @@
+A Variational Approach to Copositive Matrices
@@ Property / cites work: A Variational Approach to Copositive Matrices / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234240
@@ Property / cites work: Q4234240 / rank @@
+Normal rank
@@ Property / cites work @@
+Variant quantifier elimination
@@ Property / cites work: Variant quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Quantifier Elimination to Stability Analysis of Difference Schemes
+Normal rank
@@ Property / cites work @@
+An improved projection operation for cylindrical algebraic decomposition of three-dimensional space
+Normal rank
@@ Property / cites work @@
+Q4391223
@@ Property / cites work: Q4391223 / rank @@
+Normal rank
@@ Property / cites work @@
+Some NP-complete problems in quadratic and nonlinear programming
+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 @@
+Testing sign conditions on a multivariate polynomial and applications
+Normal rank
@@ Property / cites work @@
+Q4660671
@@ Property / cites work: Q4660671 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving systems of strict polynomial inequalities
@@ Property / cites work: Solving systems of strict polynomial inequalities / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank