A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491): Difference between revisions

@@ Property / describes a project that uses @@
+Maple
@@ Property / describes a project that uses: Maple / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Geometer's Sketchpad
@@ Property / describes a project that uses: Geometer's Sketchpad / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Calques 3D
@@ Property / describes a project that uses: Calques 3D / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cinderella
@@ Property / describes a project that uses: Cinderella / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JGEX
@@ Property / describes a project that uses: JGEX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cabri-geometry
@@ Property / describes a project that uses: Cabri-geometry / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Epsilon
@@ Property / describes a project that uses: Epsilon / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Geometry Expressions
@@ Property / describes a project that uses: Geometry Expressions / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-77356-6_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1480523785
@@ Property / OpenAlex ID: W1480523785 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+A software tool for the investigation of plane loci
+Normal rank
@@ Property / cites work @@
+Automatic determination of envelopes and other derived curves within a graphic environment
+Normal rank
@@ Property / cites work @@
+An introduction to geometry expert
@@ Property / cites work: An introduction to geometry expert / rank @@
+Normal rank
@@ Property / cites work @@
+A bridge between dynamic geometry and computer algebra
+Normal rank
@@ Property / cites work @@
+Q4471949
@@ Property / cites work: Q4471949 / rank @@
+Normal rank
@@ Property / cites work @@
+Projective geometry with Clifford algebra
@@ Property / cites work: Projective geometry with Clifford algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3798768
@@ Property / cites work: Q3798768 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700870
@@ Property / cites work: Q3700870 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3700869
@@ Property / cites work: Q3700869 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Wu's method and its application to perspective viewing
+Normal rank
@@ Property / cites work @@
+Automatic discovery of theorems in elementary geometry
+Normal rank
@@ Property / cites work @@
+An Extension of the Wallace-Simson Theorem: Projecting in Arbitrary Directions
+Normal rank