Computing parameter ranges in constructive geometric constraint solving: A correctness proof
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/91193
Tipus de documentReport de recerca
Data publicació2011
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
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 avoid unexpected and unwanted behaviors. In this work we report on our experiments implementing the van der Meiden Approach to solve the problem in a 2D space and prove that it is correct.
CitacióHidalgo, M., Joan-Arinyo, R., Soto-Riera, A. "Computing parameter ranges in constructive geometric constraint solving: A correctness proof". 2011.
Forma partLSI-11-4-R
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
R11-4.pdf | 221,4Kb | Visualitza/Obre |