A Case Study in Geometric Constructions
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Transforming an under-constrained geometric constraint problem into a well-constrained one
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
A constructive approach to calculate parameter ranges for systems of geometric constraints
Proceedings of the 2005 ACM symposium on Solid and physical modeling
Numerical decomposition of geometric constraints
Proceedings of the 2005 ACM symposium on Solid and physical modeling
Geometric constraints solving: some tracks
Proceedings of the 2006 ACM symposium on Solid and physical modeling
Solution space navigation for geometric constraint systems
ACM Transactions on Graphics (TOG)
Tracking topological changes in feature models
Proceedings of the 2007 ACM symposium on Solid and physical modeling
Elements for a modular dynamic geometry system
Proceedings of the 2008 ACM symposium on Applied computing
Combining symbolic and numerical solvers to simplify indecomposable systems solving
Proceedings of the 2008 ACM symposium on Applied computing
Dealing with redundancy and inconsistency in constructive geometric constraint solving
Advances in Engineering Software
Treedecomposition of geometric constraint graphs based on computing graph circuits
2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling
Interrogating witnesses for geometric constraint solving
2009 SIAM/ACM Joint Conference on Geometric and Physical Modeling
Using invariance under the similarity group to solve geometric constraint systems
Computer-Aided Design
A C-tree decomposition algorithm for 2D and 3D geometric constraint solving
Computer-Aided Design
A constraint solver to define correctly dimensioned and overdimensioned parts
Computer-Aided Design
A non-rigid cluster rewriting approach to solve systems of 3D geometric constraints
Computer-Aided Design
A constraint-based dynamic geometry system
Computer-Aided Design
Optimized parametrization of systems of incidences between rigid bodies
Journal of Symbolic Computation
Detecting all dependences in systems of geometric constraints using the witness method
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
A 2D geometric constraint solver using a graph reduction method
Advances in Engineering Software
Body-and-cad geometric constraint systems
Computational Geometry: Theory and Applications
A generalized Malfatti problem
Computational Geometry: Theory and Applications
Interrogating witnesses for geometric constraint solving
Information and Computation
The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry
Journal of Automated Reasoning
Directed graphs, decompositions, and spatial linkages
Discrete Applied Mathematics
Hi-index | 0.00 |