Formalization and specification of geometric knowledge objects (Q2254093): Difference between revisions

@@ Property / cites work @@
+Q2751363
@@ Property / cites work: Q2751363 / rank @@
+Normal rank
@@ Property / cites work @@
+Three Years of DLMF: Web, Math and Search
@@ Property / cites work: Three Years of DLMF: Web, Math and Search / rank @@
+Normal rank
@@ Property / cites work @@
+GCLC — A Tool for Constructive Euclidean Geometry and More Than That
+Normal rank
@@ Property / cites work @@
+Geometry constructions language
@@ Property / cites work: Geometry constructions language / rank @@
+Normal rank
@@ Property / cites work @@
+GeoThms — a Web System for Euclidean Constructive Geometry
+Normal rank
@@ Property / cites work @@
+Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
+Normal rank
@@ Property / cites work @@
+On the Design and Implementation of a Geometric Knowledge Base
+Normal rank
@@ Property / cites work @@
+Q4415224
@@ Property / cites work: Q4415224 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank