Finding proofs in Tarskian geometry (Q2362499): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-016-9392-2
@@ Property / DOI: 10.1007/s10817-016-9392-2 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sledgehammer
@@ Property / describes a project that uses: Sledgehammer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flyspeck
@@ Property / describes a project that uses: Flyspeck / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963109403
@@ Property / OpenAlex ID: W2963109403 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q113901246
@@ Property / Wikidata QID: Q113901246 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07095
@@ Property / arXiv ID: 1606.07095 / rank @@
+Normal rank
@@ Property / cites work @@
+OTTER Proofs in Tarskian Geometry
@@ Property / cites work: OTTER Proofs in Tarskian Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Hammering towards QED
@@ Property / cites work: Hammering towards QED / rank @@
+Normal rank
@@ Property / cites work @@
+From Tarski to Hilbert
@@ Property / cites work: From Tarski to Hilbert / rank @@
+Normal rank
@@ Property / cites work @@
+A synthetic proof of Pappus' theorem in Tarski's geometry
+Normal rank
@@ Property / cites work @@
+Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
+Normal rank
@@ Property / cites work @@
+Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
+Normal rank
@@ Property / cites work @@
+Using hints to increase the effectiveness of an automated reasoning program: Case studies
+Normal rank
@@ Property / cites work @@
+Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\)
+Normal rank
@@ Property / cites work @@
+Q4032144
@@ Property / cites work: Q4032144 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3678266
@@ Property / cites work: Q3678266 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391214
@@ Property / cites work: Q4391214 / rank @@
+Normal rank
@@ Property / cites work @@
+Tarski's System of Geometry
@@ Property / cites work: Tarski's System of Geometry / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994754
@@ Property / cites work: Q3994754 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4792019
@@ Property / cites work: Q4792019 / rank @@
+Normal rank
@@ Property / cites work @@
+A Fascinating Country in the World of Computing
@@ Property / cites work: A Fascinating Country in the World of Computing / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-016-9392-2
@@ Property / DOI: 10.1007/S10817-016-9392-2 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2362499