Applied Algebraic Geometry in Model Based Design for Manufacturing (Q3455008): Difference between revisions

@@ Property / cites work @@
+A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
+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 @@
+Positive polynomials in control.
@@ Property / cites work: Positive polynomials in control. / rank @@
+Normal rank
@@ Property / cites work @@
+Robust multi-objective feedback design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4391231
@@ Property / cites work: Q4391231 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination
+Normal rank
@@ Property / cites work @@
+An Effective Implementation of a Special Quantifier Elimination for a Sign Definite Condition by Logical Formula Simplification
+Normal rank
@@ Property / cites work @@
+A symbolic-numeric approach to multi-objective optimization in manufacturing design
+Normal rank
@@ Property / cites work @@
+An effective implementation of symbolic-numeric cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Nonlinear control system design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+A new decision method for elementary algebra
@@ Property / cites work: A new decision method for elementary algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Cylindrical algebraic decomposition using validated numerics
+Normal rank
@@ Property / cites work @@
+New Domains for Applied Quantifier Elimination
@@ Property / cites work: New Domains for Applied Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Q5807665
@@ Property / cites work: Q5807665 / 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 / cites work @@
+Simulation and optimization by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4391232
@@ Property / cites work: Q4391232 / rank @@
+Normal rank