SCG '91 Proceedings of the seventh annual symposium on Computational geometry
Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
A system for the symbolic analysis of problems in engineering mechanics
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Revisiting decomposition analysis of geometric constraint graphs
Proceedings of the seventh ACM symposium on Solid modeling and applications
Automated Geometry Diagram Construction and Engineering Geometry
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
A 2D Geometric Constraint Solver for Parametric Design Using Graph Analysis and Reduction
ADG '98 Proceedings of the Second International Workshop on Automated Deduction in Geometry
Geometry expressions: a constraint based interactive symbolic geometry system
ADG'06 Proceedings of the 6th international conference on Automated deduction in geometry
Hi-index | 0.00 |