Connecting the 3D DGS Calques3D with the CAS Maple
From MaRDI portal
Publication:974253
Recommendations
Cites work
- 3D extension of Steiner chains problem
- A bridge between dynamic geometry and computer algebra
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- A new approach for automatic theorem proving in real geometry
- A software tool for the investigation of plane loci
- Automated Deduction in Geometry
- Automatic determination of envelopes and other derived curves within a graphic environment
- Automatic discovery of theorems in elementary geometry
- Computational Science and Its Applications – ICCSA 2004
- Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
- 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 41286 (Why is no real title available?)
- scientific article; zbMATH DE number 51145 (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 715010 (Why is no real title available?)
- scientific article; zbMATH DE number 1745035 (Why is no real title available?)
- scientific article; zbMATH DE number 1745036 (Why is no real title available?)
- scientific article; zbMATH DE number 1745037 (Why is no real title available?)
- scientific article; zbMATH DE number 2087066 (Why is no real title available?)
- scientific article; zbMATH DE number 2112400 (Why is no real title available?)
- scientific article; zbMATH DE number 938315 (Why is no real title available?)
- Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system
- On the application of Buchberger's algorithm to automated geometry theorem proving
- Wu's method and its application to perspective viewing
Cited in
(6)- 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
- Computer aided geometry
- A bridge between dynamic geometry and computer algebra
- Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
- Two new ways to formally prove Dandelin-Gallucci's theorem
Describes a project that uses
Uses Software
This page was built for publication: Connecting the 3D DGS Calques3D with the CAS Maple
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q974253)
