Connecting the 3D DGS Calques3D with the CAS Maple
From MaRDI portal
Publication:974253
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
Gröbner basescomputer algebra systemsWu's methodmechanical theorem proving in geometry3D dynamic geometry systems
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
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
