Connecting the 3D DGS Calques3D with the CAS Maple (Q974253): Difference between revisions

@@ Property / cites work @@
+Q4531856
@@ Property / cites work: Q4531856 / 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 @@
+Q3798768
@@ Property / cites work: Q3798768 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531857
@@ Property / cites work: Q4531857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994509
@@ Property / cites work: Q3994509 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531855
@@ Property / cites work: Q4531855 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321740
@@ Property / cites work: Q4321740 / rank @@
+Normal rank
@@ Property / cites work @@
+A new approach for automatic theorem proving in real geometry
+Normal rank
@@ Property / cites work @@
+Q4896914
@@ Property / cites work: Q4896914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023355
@@ Property / cites work: Q4023355 / rank @@
+Normal rank
@@ Property / cites work @@
+Wu's method and its application to perspective viewing
+Normal rank
@@ Property / cites work @@
+On the application of Buchberger's algorithm to automated geometry theorem proving
+Normal rank
@@ Property / cites work @@
+Q4001538
@@ Property / cites work: Q4001538 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783551
@@ Property / cites work: Q3783551 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Science and Its Applications – ICCSA 2004
+Normal rank
@@ Property / cites work @@
+Automatic discovery of theorems in elementary geometry
+Normal rank
@@ Property / cites work @@
+Q4737717
@@ Property / cites work: Q4737717 / rank @@
+Normal rank
@@ Property / cites work @@
+A bridge between dynamic geometry and computer algebra
+Normal rank
@@ Property / cites work @@
+A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
+Normal rank
@@ Property / cites work @@
+D extension of Steiner chains problem
@@ Property / cites work: 3D extension of Steiner chains problem / rank @@
+Normal rank
@@ Property / cites work @@
+Obtaining a 3D extension of Pascal theorem for non-degenerated quadrics and its complete configuration with the aid of a computer algebra system
+Normal rank
@@ Property / cites work @@
+Geometry Expressions: A Constraint Based Interactive Symbolic Geometry System
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023140
@@ Property / cites work: Q4023140 / 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 @@
+Q4823900
@@ Property / cites work: Q4823900 / rank @@
+Normal rank