Reasoning about linkages with dynamic geometry

DOI10.1016/j.jsc.2018.12.003zbMath1440.68341OpenAlexW2907805218WikidataQ128651424 ScholiaQ128651424MaRDI QIDQ2334575

M. Pilar Vélez, Zoltán Kovács, Tomás Recio

Publication date: 7 November 2019

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jsc.2018.12.003

zbMATH Keywords

automated reasoningdynamic geometryGeoGebralinkageautomated deduction in geometry

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Kinematics of mechanisms and robots (70B15) Geometric constructions in real or complex geometry (51M15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} ⋮ Two almost-circles, and two real ones

Uses Software

• GeoGebra
• Giac

Cites Work

• Unnamed Item
• Automated theorem proving in GeoGebra: current achievements
• Automatic discovery of theorems in elementary geometry
• Universality theorems for configuration spaces of planar linkages
• The machines of Leonardo da Vinci and Franz Reuleaux. Kinematics of machines from the Renaissance to the 20th Century
• Giac and GeoGebra – Improved Gröbner Basis Computations
• Planar linkages following a prescribed motion
• Development of automatic reasoning tools in GeoGebra

This page was built for publication: Reasoning about linkages with dynamic geometry