A bridge between dynamic geometry and computer algebra

DOI10.1016/S0895-7177(03)00115-8MaRDI QIDQ597561zbMATH OpenOpenAlexFDO

Authors 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

Automatic theorem provingComputer algebraDynamic geometryGeometric loci

Mathematics Subject Classification ID

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

Recommendations

• Connecting the 3D DGS Calques3D with the CAS Maple
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 1684357
• Automatic determination of envelopes and other derived curves within a graphic environment
• Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System

Cites work

• Automatic discovery of theorems in elementary geometry
• Every simplicial polytope with at most \(d+4\) vertices is a quotient of a neighborly polytope
• scientific article; zbMATH DE number 3926283 (Why is no real title available?)
• scientific article; zbMATH DE number 3926284 (Why is no real title available?)
• scientific article; zbMATH DE number 4047089 (Why is no real title available?)
• scientific article; zbMATH DE number 4065140 (Why is no real title available?)
• scientific article; zbMATH DE number 1189068 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 51145 (Why is no real title available?)
• scientific article; zbMATH DE number 52062 (Why is no real title available?)
• scientific article; zbMATH DE number 52125 (Why is no real title available?)
• scientific article; zbMATH DE number 107539 (Why is no real title available?)
• scientific article; zbMATH DE number 107769 (Why is no real title available?)
• scientific article; zbMATH DE number 108068 (Why is no real title available?)
• scientific article; zbMATH DE number 715010 (Why is no real title available?)
• scientific article; zbMATH DE number 2079840 (Why is no real title available?)
• scientific article; zbMATH DE number 1515218 (Why is no real title available?)
• scientific article; zbMATH DE number 938315 (Why is no real title available?)
• Wu's method and its application to perspective viewing

Cited in

(15)

• Examples for the application of a computer algebra system in geometry
• Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences
• A parametric approach to 3D dynamic geometry
• scientific article; zbMATH DE number 1684357 (Why is no real title available?)
• Computer aided geometry
• Automatic deduction in (dynamic) geometry: Loci computation
• Computing bisectors in a dynamic geometry environment
• Elegant geometric constructions
• A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
• Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
• Automated Deduction in Geometry
• 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
• Inflexions of Spiric curves: a tale of two tori
• Connecting the 3D DGS Calques3D with the CAS Maple

Describes a project that uses

Uses Software

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

This page was built for publication: A bridge between dynamic geometry and computer algebra

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