Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
A graph-constructive approach to solving systems of geometric constraints
ACM Transactions on Graphics (TOG)
Geometric construction by assembling solved subfigures
Artificial Intelligence
Combining constructive and equational geometric constraint-solving techniques
ACM Transactions on Graphics (TOG)
Decomposition plans for geometric constraint systems, part I: performance measures for CAD
Journal of Symbolic Computation
Solving spatial basic geometric constraint configurations with locus intersection
Proceedings of the seventh ACM symposium on Solid modeling and applications
Variational geometry in computer-aided design
SIGGRAPH '81 Proceedings of the 8th annual conference on Computer graphics and interactive techniques
Geometric constraint solving: The witness configuration method
Computer-Aided Design
Using the witness method to detect rigid subsystems of geometric constraints in CAD
Proceedings of the 14th ACM Symposium on Solid and Physical Modeling
A particle-spring approach to geometric constraints solving
Proceedings of the 2011 ACM Symposium on Applied Computing
Decomposition of geometrical constraint systems with reparameterization
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Leading a continuation method by geometry for solving geometric constraints
Computer-Aided Design
| Hi-index | 0.00 |
In Computer-Aided Design, solvers always attempt to decompose geometric constraint systems into smaller ones in order to make faster the resolution. However, this scheme often fails in the case of 3D geometric constraint systems since they are hardly decomposable. We have studied a new method which uses jointly two solvers, a symbolic one and a numerical one, in order to solve a system S: system S is transformed into a parametric system S' "almost" equivalent to S and such that system S" is symbolically solvable and the numerical solver computes solutions of S from solutions of S".