A fully automatic theorem prover with human-style output (Q2362206): Difference between revisions

@@ Property / author @@
+Timothy Gowers
@@ Property / author: Timothy Gowers / 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 @@
+ForTheL
@@ Property / describes a project that uses: ForTheL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cambridge LCF
@@ Property / describes a project that uses: Cambridge LCF / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Analytica
@@ Property / describes a project that uses: Analytica / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Naproche
@@ Property / describes a project that uses: Naproche / 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/s10817-016-9377-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2413604966
@@ Property / OpenAlex ID: W2413604966 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59615366
@@ Property / Wikidata QID: Q59615366 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques
+Normal rank
@@ Property / cites work @@
+Q4217949
@@ Property / cites work: Q4217949 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic derivation of the irrationality of \(e\)
+Normal rank
@@ Property / cites work @@
+Splitting and reduction heuristics in automatic theorem proving
+Normal rank
@@ Property / cites work @@
+Non-resolution theorem proving
@@ Property / cites work: Non-resolution theorem proving / rank @@
+Normal rank
@@ Property / cites work @@
+Automated theorem provers: a practical tool for the working mathematician?
+Normal rank
@@ Property / cites work @@
+Computer proofs of limit theorems
@@ Property / cites work: Computer proofs of limit theorems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3894958
@@ Property / cites work: Q3894958 / rank @@
+Normal rank
@@ Property / cites work @@
+\textit{Theorema}: Towards computer-aided mathematical theory exploration
+Normal rank
@@ Property / cites work @@
+The language of mathematics. A linguistic and philosophical investigation
+Normal rank
@@ Property / cites work @@
+The Four Colour Theorem: Engineering of a Formal Proof
+Normal rank
@@ Property / cites work @@
+A Machine-Checked Proof of the Odd Order Theorem
@@ Property / cites work: A Machine-Checked Proof of the Odd Order Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL PROOF OF THE KEPLER CONJECTURE
@@ Property / cites work: A FORMAL PROOF OF THE KEPLER CONJECTURE / rank @@
+Normal rank
@@ Property / cites work @@
+Premise Selection in the Naproche System
@@ Property / cites work: Premise Selection in the Naproche System / rank @@
+Normal rank
@@ Property / cites work @@
+Q3600462
@@ Property / cites work: Q3600462 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and Computation
@@ Property / cites work: Logic and Computation / rank @@
+Normal rank