Geometric constraint solver
From MaRDI portal
Publication:1902408
DOI10.1016/0010-4485(94)00013-4zbMath0960.68721OpenAlexW2163228670MaRDI QIDQ1902408
Ioannis Fudos, Robert Paige, Jiazhen Cai, William J. Bouma, Christoph M. Hoffmann
Publication date: 5 March 1996
Published in: CAD. Computer-Aided Design (Search for Journal in Brave)
Full work available at URL: https://docs.lib.purdue.edu/cgi/viewcontent.cgi?article=2067&context=cstech
Related Items
A characterisation of the generic rigidity of 2-dimensional point-line frameworks ⋮ Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ Revisiting variable radius circles in constructive geometric constraint solving ⋮ Solving interval constraints by linearization in computer-aided design ⋮ A 2D geometric constraint solver using a graph reduction method ⋮ Geometric construction by assembling solved subfigures ⋮ A generalized Malfatti problem ⋮ AN EFFICIENT METHOD TO DETERMINE THE INTENDED SOLUTION FOR A SYSTEM OF GEOMETRIC CONSTRAINTS ⋮ A systematic framework for solving geometric constraints analytically ⋮ Tolerances in geometric constraint problems ⋮ Decomposition plans for geometric constraint systems. I: Performance measures for CAD ⋮ Decomposition plans for geometric constraint problems. II: New algorithms ⋮ A constraint graph representation of metamorphic linkages ⋮ Improving inter-block backtracking with interval Newton ⋮ Relation between part position and kinematic freedom: an expository survey ⋮ Interrogating witnesses for geometric constraint solving ⋮ The non-solvability by radicals of generic 3-connected planar Laman graphs ⋮ DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY ⋮ GEOMETRICAL CONSTRAINT SYSTEM DECOMPOSITION: A MULTI-GROUP APPROACH ⋮ Searching the solution space in constructive geometric constraint solving with genetic algorithms ⋮ Sketch-based pruning of a solution space within a formal geometric constraint solver ⋮ The reachability problem in constructive geometric constraint solving based dynamic geometry
