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

@@ 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