Buscar

Estamos realizando la búsqueda. Por favor, espere...

Reasoning about linkages with dynamic geometry

Abstract: We illustrate an on-going work on the crossroad of mechanical linkages, dynamic geometry and automated reasoning. In particular, we exemplify how some automated reasoning tools (ART) based on symbolic computation and recently implemented in GeoGebra, can be used for linkage exploration. For instance, when considering linkages for generating specific algebraic curves, such as Peaucellier's construction of a straight line, we will show how these ART can help towards the verification (automatic proving) of the correctness of the linkage construction, as well as for finding (automatic discovery) a suitable modification on a given linkage for achieving a desired movement.

 Autoría: Kovács Z., Recio T., Vélez M.,

 Fuente: Journal of Symbolic Computation

 Editorial: Academic Press

 Año de publicación: 2019

 Nº de páginas: 15

 Tipo de publicación: Artículo de Revista

 DOI: 10.1016/j.jsc.2018.12.003

 ISSN: 0747-7171,1095-855X

 Proyecto español: MTM2017-88796-P

 Url de la publicación: https://doi.org/10.1016/j.jsc.2018.12.003

Autoría

KOVÁCS, ZOLTÁN

TOMAS JESUS RECIO MUÑIZ

VÉLEZ, M. PILAR