A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1421051
- A new approach for automatic theorem proving in real geometry
- Automatted geometry theorem proving
- Automated Deduction in Geometry
- scientific article; zbMATH DE number 4160161
- A deductive database approach to automated geometry theorem proving and discovering
- Automated reasoning in geometry theorem proving with Prolog
- Automated reducible geometric theorem proving and discovery by Gröbner basis method
Cites work
- A bridge between dynamic geometry and computer algebra
- A software tool for the investigation of plane loci
- An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
- An Extension of the Wallace-Simson Theorem: Projecting in Arbitrary Directions
- An introduction to geometry expert
- Automated Deduction in Geometry
- Automatic determination of envelopes and other derived curves within a graphic environment
- Automatic discovery of theorems in elementary geometry
- 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 4065140 (Why is no real title available?)
- scientific article; zbMATH DE number 41286 (Why is no real title available?)
- scientific article; zbMATH DE number 2079840 (Why is no real title available?)
- Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
- Projective geometry with Clifford algebra
- 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
- Using fractals and \textit{Turtle Geometry} to visually explain the spread of a virus to kids: a STEM multitarget activity
- A parametric approach to 3D dynamic geometry
- Mechanization of incidence projective geometry in higher dimensions, a combinatorial approach
- Two new ways to formally prove Dandelin-Gallucci's theorem
- Connecting the 3D DGS Calques3D with the CAS Maple
Describes a project that uses
Uses Software
This page was built for publication: A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5453491)
