Combining constructive and equational geometric constraint-solving techniques
ACM Transactions on Graphics (TOG)
Constraint-based motion planning for virtual prototyping
Proceedings of the seventh ACM symposium on Solid modeling and applications
Planning Geometric Constraint Decomposition via Optimal Graph Transformations
AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
A hybrid approach to geometric constraint solving with graph analysis and reduction
Advances in Engineering Software
Using Cayley-Menger determinants for geometric constraint solving
SM '04 Proceedings of the ninth ACM symposium on Solid modeling and applications
Nonlinear systems solver in floating-point arithmetic using LP reduction
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
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
Interrogating witnesses for geometric constraint solving
Information and Computation
| Hi-index | 0.03 |