Reasoning about linkages with dynamic geometry
DOI10.1016/J.JSC.2018.12.003zbMATH Open1440.68341OpenAlexW2907805218WikidataQ128651424 ScholiaQ128651424MaRDI QIDQ2334575FDOQ2334575
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
Recommendations
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)
Cites Work
- Giac and GeoGebra -- improved Gröbner basis computations
- Automatic discovery of theorems in elementary geometry
- Automated theorem proving in GeoGebra: current achievements
- Universality theorems for configuration spaces of planar linkages
- How round is your circle? Where engineering and mathematics meet
- Development of automatic reasoning tools in GeoGebra
- The machines of Leonardo da Vinci and Franz Reuleaux. Kinematics of machines from the Renaissance to the 20th Century
- Planar linkages following a prescribed motion
Cited In (4)
- Computing animations of linkages with rotational symmetry (media exposition)
- Two almost-circles, and two real ones
- 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
Uses Software
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)
