Computing parameter ranges in constructive geometric constraint solving: Implementation and correctness proof

Computer-Aided Design ◽

10.1016/j.cad.2012.02.012 ◽

2012 ◽

Vol 44 (7) ◽

pp. 709-720 ◽

Author(s):

Marta Hidalgo ◽

Robert Joan-Arinyo

Keyword(s):

Geometric Constraint ◽

Constraint Solving ◽

Correctness Proof ◽

Geometric Constraint Solving ◽

Computing Parameter ◽

Parameter Ranges ◽

Constructive Geometric Constraint Solving

Download Full-text

Constructive Geometric Constraint Solving: A New Application of Genetic Algorithms

Parallel Problem Solving from Nature — PPSN VII - Lecture Notes in Computer Science ◽

10.1007/3-540-45712-7_73 ◽

2002 ◽

pp. 759-768 ◽

Author(s):

R. Joan-Arinyo ◽

M.V. Luzón ◽

A. Soto

Keyword(s):

Genetic Algorithms ◽

Geometric Constraint ◽

Constraint Solving ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving

Download Full-text

Symbolic Constraints in Constructive Geometric Constraint Solving

Journal of Symbolic Computation ◽

10.1006/jsco.1996.0089 ◽

1997 ◽

Vol 23 (2-3) ◽

pp. 287-299 ◽

Author(s):

CHRISTOPH M. HOFFMANN ◽

ROBERT JOAN-ARINYO

Keyword(s):

Geometric Constraint ◽

Constraint Solving ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving ◽

Symbolic Constraints

Download Full-text

On the domain of constructive geometric constraint solving techniques

Proceedings Spring Conference on Computer Graphics ◽

10.1109/sccg.2001.945336 ◽

2002 ◽

Author(s):

R. Joan-Arinyo ◽

A. Soto-Riera ◽

S. Vila-Marta ◽

J. Vilaplana

Keyword(s):

Geometric Constraint ◽

Constraint Solving ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving

Download Full-text

Dealing with redundancy and inconsistency in constructive geometric constraint solving

Advances in Engineering Software ◽

10.1016/j.advengsoft.2007.10.003 ◽

2008 ◽

Vol 39 (9) ◽

pp. 770-786 ◽

Author(s):

David Podgorelec ◽

Borut Žalik ◽

Vid Domiter

Keyword(s):

Geometric Constraint ◽

Constraint Solving ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving

Download Full-text

Genetic algorithms for root multiselection in constructive geometric constraint solving

Computers & Graphics ◽

10.1016/s0097-8493(02)00243-1 ◽

2003 ◽

Vol 27 (1) ◽

pp. 51-60 ◽

Author(s):

R. Joan-Arinyo ◽

M.V. Luzón ◽

A. Soto

Keyword(s):

Genetic Algorithms ◽

Geometric Constraint ◽

Constraint Solving ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving

Download Full-text

Searching the Solution Space in Constructive Geometric Constraint Solving with Genetic Algorithms

Applied Intelligence ◽

10.1007/s10489-005-5600-1 ◽

2005 ◽

Vol 22 (2) ◽

pp. 109-124 ◽

Author(s):

M. V. Luz�n ◽

A. Soto ◽

J. F. G�lvez ◽

R. Joan-Arinyo

Keyword(s):

Genetic Algorithms ◽

Solution Space ◽

Geometric Constraint ◽

Constraint Solving ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving

Download Full-text

The Reachability Problem in Constructive Geometric Constraint Solving Based Dynamic Geometry

Journal of Automated Reasoning ◽

10.1007/s10817-013-9280-y ◽

2013 ◽

Vol 52 (1) ◽

pp. 99-122 ◽

Author(s):

Marta R. Hidalgo ◽

Robert Joan-Arinyo

Keyword(s):

Dynamic Geometry ◽

Geometric Constraint ◽

Constraint Solving ◽

Reachability Problem ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving

Download Full-text

Revisiting variable radius circles in constructive geometric constraint solving

Computer Aided Geometric Design ◽

10.1016/j.cagd.2004.01.003 ◽

2004 ◽

Vol 21 (4) ◽

pp. 371-399 ◽

Author(s):

Ching-Shoei Chiang ◽

Robert Joan-Arinyo

Keyword(s):

Geometric Constraint ◽

Constraint Solving ◽

Variable Radius ◽

Geometric Constraint Solving ◽

Constructive Geometric Constraint Solving

Download Full-text

The geometric constraint solving based on hybrid differential evolution and particle swarm optimization algorithm

2010 International Conference on Intelligent Control and Information Processing ◽

10.1109/icicip.2010.5565290 ◽

2010 ◽

Author(s):

Wan Yi ◽

Chunhong Cao ◽

Changsheng Zhang

Keyword(s):

Particle Swarm Optimization ◽

Differential Evolution ◽

Optimization Algorithm ◽

Particle Swarm Optimization Algorithm ◽

Particle Swarm ◽

Geometric Constraint ◽

Constraint Solving ◽

Swarm Optimization ◽

Geometric Constraint Solving

Download Full-text

A New Algebraic-Based Geometric Constraint Solving Approach: Path Tracking Homotopy Iteration Method

Computational and Information Science - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30497-5_70 ◽

2004 ◽

pp. 449-454

Author(s):

Wenhui Li ◽

Chunhong Cao ◽

Wan Yi

Keyword(s):

Iteration Method ◽

Path Tracking ◽

Geometric Constraint ◽

Constraint Solving ◽

Geometric Constraint Solving

Download Full-text