Current Status of the I2GATP Common Format (Q3452280): Difference between revisions

@@ Property / describes a project that uses @@
+GeoThms
@@ Property / describes a project that uses: GeoThms / 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 @@
+Intergeo
@@ Property / describes a project that uses: Intergeo / 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 @@
+GATP
@@ Property / describes a project that uses: GATP / 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 @@
+I2Geo
@@ Property / describes a project that uses: I2Geo / 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-319-21362-0_8
+Normal rank
@@ Property / OpenAlex ID @@
+W2292647837
@@ Property / OpenAlex ID: W2292647837 / rank @@
+Normal rank
@@ Property / cites work @@
+Representation and automated transformation of geometric statements
+Normal rank
@@ Property / cites work @@
+GCLC — A Tool for Constructive Euclidean Geometry and More Than That
+Normal rank
@@ Property / cites work @@
+The area method. A recapitulation
@@ Property / cites work: The area method. A recapitulation / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Verification of Regular Constructions in Dynamic Geometry Systems
+Normal rank
@@ Property / cites work @@
+The axioms of constructive geometry
@@ Property / cites work: The axioms of constructive geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
+Normal rank
@@ Property / cites work @@
+The Web Geometry Laboratory Project
@@ Property / cites work: The Web Geometry Laboratory Project / rank @@
+Normal rank
@@ Property / cites work @@
+A Vernacular for Coherent Logic
@@ Property / cites work: A Vernacular for Coherent Logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3452280