Inference of the positions of components in an assembly: part 2
Computer-Aided Design
Constraint programming languages: their specification and generation
Constraint programming languages: their specification and generation
Geometry theorem proving using Hilbert's Nullstellensatz
SYMSAC '86 Proceedings of the fifth ACM symposium on Symbolic and algebraic computation
A method for the mechanical derivation of formulas in elementary geometry
Journal of Automated Reasoning
Mechanical geometry theorem proving
Mechanical geometry theorem proving
Variation of geometrics based on a geometric-reasoning method
Computer-Aided Design
A k-tree generalization that characterized consistency of dimensioned engineering drawings
SIAM Journal on Discrete Mathematics
An analytic solution for the perspective 4-point problem
Computer Vision, Graphics, and Image Processing
Optimization
Methods for mechanical geometry formula deriving
ISSAC '90 Proceedings of the international symposium on Symbolic and algebraic computation
Algebraic solution for geometry from dimensional constraints
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Artificial Intelligence - Special volume on constraint-based reasoning
Implicitization of rational parametric equations
Journal of Symbolic Computation
Mechanical theorem proving in geometries
Mechanical theorem proving in geometries
Algebraic and geometric reasoning using Dixon resultants
ISSAC '94 Proceedings of the international symposium on Symbolic and algebraic computation
Realization of a geometry-theorem proving machine
Computers & thought
A graph-constructive approach to solving systems of geometric constraints
ACM Transactions on Graphics (TOG)
Constructing three-dimensional geometric objects defined by constraints
I3D '86 Proceedings of the 1986 workshop on Interactive 3D graphics
The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory
ACM Transactions on Programming Languages and Systems (TOPLAS)
Solving Geometric Constraints By Homotopy
IEEE Transactions on Visualization and Computer Graphics
Ritt-Wu's Decomposition Algorithm and Geometry Theorem Proving
Proceedings of the 10th International Conference on Automated Deduction
GEOTHER: A Geometry Theorem Prover
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
A Practical Symbolic Algorithm for the Inverse Kinematics of 6R Manipulators with Simple Geometry
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
Variational geometry in computer-aided design
SIGGRAPH '81 Proceedings of the 8th annual conference on Computer graphics and interactive techniques
Sketchpad: a man-machine graphical communication system
AFIPS '63 (Spring) Proceedings of the May 21-23, 1963, spring joint computer conference
System for interactive assembly modelling
Computer-Aided Design
On the parametric representation of dynamic geometry constructions
ICCSA'11 Proceedings of the 2011 international conference on Computational science and its applications - Volume Part IV
Generation of geometric programs specified by diagrams
Proceedings of the 10th ACM international conference on Generative programming and component engineering
| Hi-index | 0.00 |
This paper reviews three main techniques for automated geometry diagram construction: synthetic methods, numerical computation methods, and symbolic computation methods. We also show how to use these techniques in parametric mechanical CAD, linkage design, computer vision, dynamic geometry, and CAI (computer aided instruction). The methods and the applications reviewed in this paper are closely connected and could be appropriately named as engineering geometry.