Connecting the 3D DGS Calques3D with the CAS Maple

DOI10.1016/j.matcom.2009.09.008zbMath1207.68450OpenAlexW2018547118WikidataQ58422945 ScholiaQ58422945MaRDI QIDQ974253

Eugenio Roanes-Lozano, Nicolas van Labeke, Eugenio Roanes-Macías

Publication date: 27 May 2010

Published in: Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL: http://oro.open.ac.uk/34566/1/2009_Connecting_C3D_Maple_%28MCS%29.pdf

zbMATH Keywords

Gröbner basescomputer algebra systemsWu's methodmechanical theorem proving in geometry3D dynamic geometry systems

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (3)

Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra} ⋮ A brief note on the approach to the conic sections of a right circular cone from dynamic geometry ⋮ A parametric approach to 3D dynamic geometry

Uses Software

• AXIOM
• Maple
• Mathematica
• REDUCE
• SINGULAR
• GEOTHER 1.1
• DERIVE
• GeoGebra
• Geometer's Sketchpad
• Geometry Expressions
• Calques 3D
• Lugares
• PyGeo
• GEX

Cites Work

• A bridge between dynamic geometry and computer algebra
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Wu's method and its application to perspective viewing
• A new approach for automatic theorem proving in real geometry
• Automatic discovery of theorems in elementary geometry
• A software tool for the investigation of plane loci
• Automatic determination of envelopes and other derived curves within a graphic environment
• 3D extension of Steiner chains problem
• Computational Science and Its Applications – ICCSA 2004
• Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system
• 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
• 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

This page was built for publication: Connecting the 3D DGS Calques3D with the CAS Maple