Quantified constraints under perturbation (Q1600045): Difference between revisions

@@ Property / cites work @@
+Q4472553
@@ Property / cites work: Q4472553 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Q4079605
@@ Property / cites work: Q4079605 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Robust multi-objective feedback design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q3220545
@@ Property / cites work: Q3220545 / rank @@
+Normal rank
@@ Property / cites work @@
+Regularization methods for the stable solution of inverse problems
+Normal rank
@@ Property / cites work @@
+Q4229394
@@ Property / cites work: Q4229394 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864704
@@ Property / cites work: Q4864704 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudofactors of multivariate polynomials
@@ Property / cites work: Pseudofactors of multivariate polynomials / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
+Normal rank
@@ Property / cites work @@
+Guaranteed tuning, with application to robust control and motion planning
+Normal rank
@@ Property / cites work @@
+Nonlinear control system design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q5621366
@@ Property / cites work: Q5621366 / rank @@
+Normal rank
@@ Property / cites work @@
+Applying Quantifier Elimination to Stability Analysis of Difference Schemes
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Robust analysis and design of control systems using interval arithmetic
+Normal rank
@@ Property / cites work @@
+On a generalization of quantifiers
@@ Property / cites work: On a generalization of quantifiers / rank @@
+Normal rank
@@ Property / cites work @@
+Derived eigenvalues of symmetric matrices, with applications to distance geometry
+Normal rank
@@ Property / cites work @@
+Q3994907
@@ Property / cites work: Q3994907 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4520808
@@ Property / cites work: Q4520808 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808717
@@ Property / cites work: Q4808717 / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate quantified constraint solving by cylindrical box decomposition
+Normal rank
@@ Property / cites work @@
+Q5661846
@@ Property / cites work: Q5661846 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-gcd computations
@@ Property / cites work: Quasi-gcd computations / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to the interval linear static identification, tolerance, and control problems, or one more application of Kaucher arithmetic
+Normal rank
@@ Property / cites work @@
+Q4885360
@@ Property / cites work: Q4885360 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4949369
@@ Property / cites work: Q4949369 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning over networks by symbolic methods
@@ Property / cites work: Reasoning over networks by symbolic methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342080
@@ Property / cites work: Q4342080 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355676
@@ Property / cites work: Q4355676 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4485693
@@ Property / cites work: Q4485693 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantifier elimination for real algebra -- the quadratic case and beyond
+Normal rank
@@ Property / cites work @@
+Q4871634
@@ Property / cites work: Q4871634 / rank @@
+Normal rank