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

@@ Property / describes a project that uses @@
+GeoGebra
@@ Property / describes a project that uses: GeoGebra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Electronic Geometry Textbook
@@ Property / describes a project that uses: Electronic Geometry Textbook / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+arXMLiv
@@ Property / describes a project that uses: arXMLiv / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TGTP
@@ Property / describes a project that uses: TGTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoText
@@ Property / describes a project that uses: GeoText / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ActiveMath
@@ Property / describes a project that uses: ActiveMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GCLC
@@ Property / describes a project that uses: GCLC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DLMF
@@ Property / describes a project that uses: DLMF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GCLCprover
@@ Property / describes a project that uses: GCLCprover / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoThms
@@ Property / describes a project that uses: GeoThms / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Intergeo
@@ Property / describes a project that uses: Intergeo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GEOTHER 1.1
@@ Property / describes a project that uses: GEOTHER 1.1 / 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/s11786-013-0167-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2094803811
@@ Property / OpenAlex ID: W2094803811 / rank @@
+Normal rank
@@ 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