Mechanical geometry theorem proving
Mechanical geometry theorem proving
Variation of geometrics based on a geometric-reasoning method
Computer-Aided Design
The design of LINETOOL, a geometric editor
SCG '88 Proceedings of the fourth 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
Topological models for boundary representation: a comparison with n-dimensional generalized maps
Computer-Aided Design - Beyond solid modelling
Algebraic specification of a 3D-modeler based on hypermaps
CVGIP: Graphical Models and Image Processing
Solving geometric constraints by homotopy
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
Geometric construction by assembling solved subfigures
Artificial Intelligence
Constructing three-dimensional geometric objects defined by constraints
I3D '86 Proceedings of the 1986 workshop on Interactive 3D graphics
Combining constructive and equational geometric constraint-solving techniques
ACM Transactions on Graphics (TOG)
Interacting with parametrized geometric objects using lambda-terms
Proceedings of the seventh ACM symposium on Solid modeling and applications
Parametrizing geometric objects using λ-calculus
SCCG '02 Proceedings of the 18th spring conference on Computer graphics
Helping the Designer in Solution Selection: Applications in CAD
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
A Case Study in Geometric Constructions
ICCS '02 Proceedings of the International Conference on Computational Science-Part II
Interactive handling of a construction plan in CAD
Geometric modeling
Geometric constraints solving: some tracks
Proceedings of the 2006 ACM symposium on Solid and physical modeling
Using invariance under the similarity group to solve geometric constraint systems
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
Decomposition of geometrical constraint systems with reparameterization
Proceedings of the 27th Annual ACM Symposium on Applied Computing
| Hi-index | 0.00 |