Decomposition plans for geometric constraint systems. I: Performance measures for CAD (Q5933499): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1006/jsco.2000.0402
+Normal rank
@@ Property / OpenAlex ID @@
+W2152273360
@@ Property / OpenAlex ID: W2152273360 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q60326038
@@ Property / Wikidata QID: Q60326038 / rank @@
+Normal rank
@@ Property / cites work @@
+On a theory of computation and complexity over the real numbers: 𝑁𝑃- completeness, recursive functions and universal machines
+Normal rank
@@ Property / cites work @@
+Geometric constraint solver
@@ Property / cites work: Geometric constraint solver / rank @@
+Normal rank
@@ Property / cites work @@
+Improved Algorithms for Sign Determination and Existential Quantifier Elimination
+Normal rank
@@ Property / cites work @@
+Q4209232
@@ Property / cites work: Q4209232 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5461825
@@ Property / cites work: Q5461825 / rank @@
+Normal rank
@@ Property / cites work @@
+CORRECTNESS PROOF OF A GEOMETRIC CONSTRAINT SOLVER
+Normal rank
@@ Property / cites work @@
+Q4279195
@@ Property / cites work: Q4279195 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving systems of polynomial inequalities in subexponential time
+Normal rank
@@ Property / cites work @@
+Some examples of the use of distances as coordinates for euclidean geometry
+Normal rank
@@ Property / cites work @@
+Conditions for Unique Graph Realizations
@@ Property / cites work: Conditions for Unique Graph Realizations / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837773
@@ Property / cites work: Q3837773 / rank @@
+Normal rank
@@ Property / cites work @@
+CAD and the product master model.
@@ Property / cites work: CAD and the product master model. / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231543
@@ Property / cites work: Q4231543 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4856420
@@ Property / cites work: Q4856420 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343591
@@ Property / cites work: Q4343591 / rank @@
+Normal rank
@@ Property / cites work @@
+Dividing a Graph into Triconnected Components
@@ Property / cites work: Dividing a Graph into Triconnected Components / rank @@
+Normal rank
@@ Property / cites work @@
+On combinatorial structures of line drawings of polyhedra
+Normal rank
@@ Property / cites work @@
+Finding a Minimum Circuit in a Graph
@@ Property / cites work: Finding a Minimum Circuit in a Graph / rank @@
+Normal rank
@@ Property / cites work @@
+On graphs and rigidity of plane skeletal structures
+Normal rank
@@ Property / cites work @@
+Résolution des systèmes d'équations algébriques
+Normal rank
@@ Property / cites work @@
+A new method for solving algebraic systems of positive dimension
+Normal rank
@@ Property / cites work @@
+CONSTRAINTS ON SIMPLE GEOMETRY IN TWO AND THREE DIMENSIONS
+Normal rank
@@ Property / cites work @@
+On the computational complexity and geometry of the first-order theory of the reals. I: Introduction. Preliminaries. The geometry of semi-algebraic sets. The decision problem for the existential theory of the reals
+Normal rank
@@ Property / cites work @@
+Detection of structural inconsistency in systems of equations with degrees of freedom and its applications
+Normal rank
@@ Property / cites work @@
+On the generic rigidity of bar-frameworks
@@ Property / cites work: On the generic rigidity of bar-frameworks / rank @@
+Normal rank
@@ Property / cites work @@
+Q3694165
@@ Property / cites work: Q3694165 / rank @@
+Normal rank
@@ Property / cites work @@
+An elimination method for polynomial systems
@@ Property / cites work: An elimination method for polynomial systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012027
@@ Property / cites work: Q4012027 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3837775
@@ Property / cites work: Q3837775 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5933499