Loading...
Loading...

Go to the content (press return)

Computing parameter ranges in constructive geometric constraint solving: A correctness proof

Author
Hidalgo, M.; Joan-Arinyo, R.; Soto-Riera, A.
Type of activity
Report
Date
2011
Code
LSI-11-4-R
Repository
http://hdl.handle.net/2117/91193 Open in new window
Abstract
In parametric design, changing values of parameters to get different solution instances to the problem at hand is a paramount operation. One of the main issues when generating the solution instance for the actual set of parameters is that the user does not know in general which is the set of parameters' values for which the parametric solution is feasible. Similarly, in constraint-based Dynamic Geometry, knowing the set of critical points where construction feasibility changes would allow to avo...
Citation
Hidalgo, M., Joan-Arinyo, R., Soto-Riera, A. "Computing parameter ranges in constructive geometric constraint solving: A correctness proof". 2011.
Keywords
Feasibility, Geometric constraint solving, Parameters' ranges
Group of research
CREB - Biomedical Engineering Research Centre
GIE - Engineering Informatics Group

Participants

Attachments