Reasoning about linkages with dynamic geometry. (March 2020)

• Record Type: Journal Article
• Authors: Kovács, Zoltán; Recio, Tomás; Vélez, M. Pilar
• Is Part Of: Journal of symbolic computation. Volume 97(2020)
• Page Start: 16
• Page End: 30
• Publication Date: 2020-03
• Subjects: Linkage -- Automated reasoning -- Automated deduction in geometry -- Dynamic geometry -- GeoGebra; Mathematics -- Data processing -- Periodicals; Numerical analysis -- Data processing -- Periodicals; Automatic programming (Computer science) -- Periodicals; Mathématiques -- Informatique -- Périodiques; Analyse numérique -- Informatique -- Périodiques; Programmation automatique -- Périodiques; Automatic programming (Computer science); Mathematics -- Data processing; Numerical analysis -- Data processing; Periodicals; Electronic journals; 510.285
• DOI: 10.1016/j.jsc.2018.12.003
• Languages: English
• ISSNs: 0747-7171

Abstract

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.