Reasoning about linkages with dynamic geometry

DOI10.1016/J.JSC.2018.12.003MaRDI QIDQ2334575zbMATH OpenOpenAlexWikidataFDO

Authors Zoltán Kovács, M. Pilar Vélez, Tomas 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 deduction in geometryautomated reasoningdynamic geometryGeoGebralinkage

Mathematics Subject Classification ID

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

Recommendations

• A Symbolic Companion for Interactive Geometric Systems
• Towards the Automatic Discovery of Theorems in GeoGebra
• Automated theorem proving in GeoGebra: current achievements
• A mechanical geometer
• Towards an Automated Geometer
• Development of automatic reasoning tools in GeoGebra

Cites work

• Automated theorem proving in GeoGebra: current achievements
• Automatic discovery of theorems in elementary geometry
• Development of automatic reasoning tools in GeoGebra
• Giac and GeoGebra -- improved Gröbner basis computations
• How round is your circle? Where engineering and mathematics meet
• Planar linkages following a prescribed motion
• The machines of Leonardo da Vinci and Franz Reuleaux. Kinematics of machines from the Renaissance to the 20th Century
• Universality theorems for configuration spaces of planar linkages

Cited in

(5)

• Two almost-circles, and two real ones
• Computing animations of linkages with rotational symmetry (media exposition)
• Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
• Faithful real-time animation of parametrized (semi-) algebraic expressions via cylindrical algebraic decomposition
• A simple proof of correctness of folding the regular heptagon

Describes a project that uses

Uses Software

• GeoGebra
• Giac

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334575)