A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry

DOI10.1007/978-3-540-77356-6_11zbMath1195.68095OpenAlexW1480523785MaRDI QIDQ5453491

Eugenio Roanes-Macías, Eugenio Roanes-Lozano

Publication date: 1 April 2008

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-77356-6_11

Mathematics Subject Classification ID

Related Items (4)

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 ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ Using fractals and \textit{Turtle Geometry} to visually explain the spread of a virus to kids: a STEM multitarget activity

Uses Software

• Cinderella
• Epsilon
• Maple
• GEOTHER 1.1
• Geometer's Sketchpad
• Cabri-geometry
• Geometry Expressions
• Calques 3D
• JGEX

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A bridge between dynamic geometry and computer algebra
• Wu's method and its application to perspective viewing
• Projective geometry with Clifford algebra
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• 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
• An Extension of the Wallace-Simson Theorem: Projecting in Arbitrary Directions
• An introduction to geometry expert
• Automated Deduction in Geometry

This page was built for publication: A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry