Reasoning about linkages with dynamic geometry
From MaRDI portal
Publication:2334575
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)
Recommendations
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
(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
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)