A bridge between dynamic geometry and computer algebra

DOI10.1016/S0895-7177(03)00115-8zbMath1073.68899OpenAlexW2004345512MaRDI QIDQ597561

M. Villar-Mena, Eugenio Roanes-Lozano, Eugenio Roanes-Macías

Publication date: 6 August 2004

Published in: Mathematical and Computer Modelling (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0895-7177(03)00115-8

zbMATH Keywords

Computer algebraAutomatic theorem provingDynamic geometryGeometric loci

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Numerical aspects of computer graphics, image analysis, and computational geometry (65D18)

Related Items

Automatic deduction in (dynamic) geometry: Loci computation, Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}, Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems, A parametric approach to 3D dynamic geometry, Connecting the 3D DGS Calques3D with the CAS Maple, A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry, Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System, Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences

Uses Software

• AXIOM
• Cinderella
• CoCoA
• Maple
• Mathematica
• MuPAD
• REDUCE
• DERIVE
• Geometer's Sketchpad

Cites Work

• Wu's method and its application to perspective viewing
• Every simplicial polytope with at most \(d+4\) vertices is a quotient of a neighborly polytope
• Automatic discovery of theorems in elementary geometry
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item