The Reachability problem in constructive geometric constraint solving based dynamic geometry
Visualitza/Obre
reach.pdf (1,029Mb) (Accés restringit)
Sol·licita una còpia a l'autor
Què és aquest botó?
Aquest botó permet demanar una còpia d'un document restringit a l'autor. Es mostra quan:
- Disposem del correu electrònic de l'autor
- El document té una mida inferior a 20 Mb
- Es tracta d'un document d'accés restringit per decisió de l'autor o d'un document d'accés restringit per política de l'editorial
Cita com:
hdl:2117/19397
Tipus de documentArticle
Data publicació2013-03
Condicions d'accésAccés restringit per política de l'editorial
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
An important issue in dynamic geometry is the reachability problem that
asks whether there is a continuous path that, from a given starting geometric
configuration, continuously leads to an ending configuration. In this work we report
on a technique to compute a continuous evaluation path, if one exists, that solves
the reachability problem for geometric constructions with one variant parameter.
The technique is developed in the framework of a constructive geometric constraintbased
dynamic geometry system, uses the A∗ algorithm and minimizes the variant
parameter arc length.
CitacióHidalgo, M.; Joan-Arinyo, R. The Reachability problem in constructive geometric constraint solving based dynamic geometry. "Journal of automated reasoning", Març 2013, p. 1-24.
ISSN0168-7433
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
reach.pdf | 1,029Mb | Accés restringit |