Thousands of Geometric Problems for Geometric Theorem Provers (TGTP) (Q3102742): Difference between revisions

@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q2749862
@@ Property / cites work: Q2749862 / rank @@
+Normal rank
@@ Property / cites work @@
+The area method. A recapitulation
@@ Property / cites work: The area method. A recapitulation / rank @@
+Normal rank
@@ Property / cites work @@
+GCLC — A Tool for Constructive Euclidean Geometry and More Than That
+Normal rank
@@ Property / cites work @@
+Using Gröbner bases to reason about geometry problems
+Normal rank
@@ Property / cites work @@
+A graphical user interface for formal proofs in geometry
+Normal rank
@@ Property / cites work @@
+GeoThms — a Web System for Euclidean Constructive Geometry
+Normal rank
@@ Property / cites work @@
+Q4254919
@@ Property / cites work: Q4254919 / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
+Normal rank
@@ Property / cites work @@
+Automated Deduction in Geometry
@@ Property / cites work: Automated Deduction in Geometry / 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 @@
+GeoGebra
@@ Property / describes a project that uses: GeoGebra / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Theorema
@@ Property / describes a project that uses: Theorema / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoView
@@ Property / describes a project that uses: GeoView / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MySQL
@@ Property / describes a project that uses: MySQL / 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 @@
+GCLC
@@ Property / describes a project that uses: GCLC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SATLIB
@@ Property / describes a project that uses: SATLIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMT-LIB
@@ Property / describes a project that uses: SMT-LIB / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TPTP
@@ Property / describes a project that uses: TPTP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GeoProof
@@ Property / describes a project that uses: GeoProof / 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-642-25070-5_10
+Normal rank
@@ Property / OpenAlex ID @@
+W1409110429
@@ Property / OpenAlex ID: W1409110429 / rank @@
+Normal rank