Formal resolution of geometrical constraint systems by assembling
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Parametrizing geometric objects using λ-calculus
SCCG '02 Proceedings of the 18th spring conference on Computer graphics
A Polynomial Time Local Propagation Algorithm for General Dataflow Constraint Problems
CP '98 Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming
A Constraint Programming Approach for Solving Rigid Geometric Systems
CP '02 Proceedings of the 6th International Conference on Principles and Practice of Constraint Programming
A Hybrid Method for Solving Geometric Constraint Problems
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Higher-Order Intuitionistic Formalization and Proofs in Hilbert's Elementary Geometry
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Geometric constraint solving via C-tree decomposition
SM '03 Proceedings of the eighth ACM symposium on Solid modeling and applications
Geometric constraints solving: some tracks
Proceedings of the 2006 ACM symposium on Solid and physical modeling
Combining symbolic and numerical solvers to simplify indecomposable systems solving
Proceedings of the 2008 ACM symposium on Applied computing
Algorithms for identifying rigid subsystems in geometric constraint systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
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
Solving geometric constraints invariant modulo the similarity group
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartIII
Using the witness method to detect rigid subsystems of geometric constraints in CAD
Proceedings of the 14th ACM Symposium on Solid and Physical Modeling
Coordinate-free geometry and decomposition in geometrical constraint solving
Computer-Aided Design
| Hi-index | 0.00 |