A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
From MaRDI portal
Publication:5453491
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
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
