Applying constructive geometric constraint solvers to geometric problems with interval parameters

Nonlinear Analysis, Theory, Methods and Applications

Volumn 47, Issue 1, 2001, Pages 213-224

  Joan arinyo, R ^b   Mata, N ^a,b  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b NONE

Author keywords

Geometric constraint solving; Interval global optimization

Indexed keywords

COMPUTATIONAL GEOMETRY; CONSTRAINT THEORY; GLOBAL OPTIMIZATION; PROBLEM SOLVING;

CONSTRUCTIVE GEOMETRIC CONSTRAINT; INTERVAL GLOBAL OPTIMIZATION;

COMPUTER AIDED DESIGN;

EID: 0035423141     PISSN: 0362546X     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0362-546X(01)00170-5     Document Type: Article

References (33)

1. A graph-constructive approach to solving systems of geometric constraints
2. On graphs and rigidity of plane skeletal structures
3. Geometric constraint solver
4. Geometric construction by assembling solved subfigures
5. Combining constructive and equational geometric constraint solving techniques
6. Term rewriting systems
7. Variation of geometries based on a geometric-reasoning method
8. Using geometric rewrite rules for solving geometric problems symbolically
9. Solving geometric constraint systems I. A global propagation approach
10. A correct rule-based geometric constraint solver
11. Geometric reasoning for knowledge-based parametric design using graph representations
12. A CAD system with declarative specification of shape
13. Geometric constraints and reasoning for geometrical CAD systems
14. Rule-oriented method for parameterized computer-aided design
15. A constraint modeling system for variational geometry
16. A 2-D geometric constraint solver using DOF-based graph reduction
17. Algebraic solution for geometry from dimensional constraints
18. A k-tree generalization that characterizes consistency of dimensioned engineering drawings
19. NP-hardness in geometric construction problems with one interval parameter
20. An inclusion algorithm for global optimization in a portable PASCAL-XSC implementation
21. New computer methods for global optimization