Computing integrals over polynomially defined regions and their boundaries in 2 and 3 dimensions (Q417963): Difference between revisions

@@ Property / cites work @@
+Cylindrical Algebraic Decomposition I: The Basic Algorithm
+Normal rank
@@ Property / cites work @@
+Simple CAD construction and its applications
@@ Property / cites work: Simple CAD construction and its applications / rank @@
+Normal rank
@@ Property / cites work @@
+Partial cylindrical algebraic decomposition for quantifier elimination
+Normal rank
@@ Property / cites work @@
+Local quantifier elimination
@@ Property / cites work: Local quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate Volume and Integration for Basic Semialgebraic Sets
+Normal rank
@@ Property / cites work @@
+Testing stability by quantifier elimination
@@ Property / cites work: Testing stability by quantifier elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
+Normal rank
@@ Property / cites work @@
+Application of Gröbner bases and quantifier elimination for insightful engineering design
+Normal rank
@@ Property / cites work @@
+Solving systems of strict polynomial inequalities
@@ Property / cites work: Solving systems of strict polynomial inequalities / rank @@
+Normal rank