Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Juno, a constraint-based graphics system
SIGGRAPH '85 Proceedings of the 12th annual conference on Computer graphics and interactive techniques
Representations for Rigid Solids: Theory, Methods, and Systems
ACM Computing Surveys (CSUR)
Using Prolog for Constructing Geometric Objects defined by Constraints
EUROCAL '85 Research Contributions from the European Conference on Computer Algebra-Volume 2
Interaction with constraints in 3D modeling
SMA '91 Proceedings of the first ACM symposium on Solid modeling foundations and CAD/CAM applications
Interactive constraint-based solid modeling using allowable motion
SMA '93 Proceedings on the second ACM symposium on Solid modeling and applications
Solving geometric constraints by homotopy
SMA '95 Proceedings of the third ACM symposium on Solid modeling and applications
A graph-constructive approach to solving systems of geometric constraints
ACM Transactions on Graphics (TOG)
A constraint-based manipulator toolset for editing 3D objects
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Interactive constraint system for solid modeling objects
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Formal resolution of geometrical constraint systems by assembling
SMA '97 Proceedings of the fourth ACM symposium on Solid modeling and applications
Modelling constrained geometric objects with OBJSA nets
Concurrent object-oriented programming and petri nets
Solving Geometric Constraints By Homotopy
IEEE Transactions on Visualization and Computer Graphics
Representing Dimensions, Tolerances, and Features in MCAE Systems
IEEE Computer Graphics 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
Parallel algorithms on geometric constraint solving
Proceedings of the 2007 ACM symposium on Applied computing
Using invariance under the similarity group to solve geometric constraint systems
Computer-Aided Design
Geometric constraints within feature hierarchies
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
| Hi-index | 0.00 |
We developed a system for automatically building three-dimensional geometric objects that are defined by their topology and by geometric constraints. A solid modeller is used for sketching the object. The geometric constraints are first evaluated symbolically by an algorithm written in Prolog. The symbolic solution is then numerically evaluated by procedures linked to Prolog.