Automatic derivation of the irrationality of \(e\) (Q5950931): Difference between revisions

@@ Property / DOI @@
-.1006/jsco.2000.0465
@@ Property / DOI: 10.1006/jsco.2000.0465 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+OTTER
@@ Property / describes a project that uses: OTTER / 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.1006/jsco.2000.0465
+Normal rank
@@ Property / OpenAlex ID @@
+W2078700544
@@ Property / OpenAlex ID: W2078700544 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4730771
@@ Property / cites work: Q4730771 / rank @@
+Normal rank
@@ Property / cites work @@
+Some applications of Gentzen's proof theory in automated deduction
+Normal rank
@@ Property / cites work @@
+USING NONSTANDARD ANALYSIS TO ENSURE THE CORRECTNESS OF SYMBOLIC COMPUTATIONS
+Normal rank
@@ Property / cites work @@
+Q4217949
@@ Property / cites work: Q4217949 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249894
@@ Property / cites work: Q4249894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040283
@@ Property / cites work: Q4040283 / rank @@
+Normal rank
@@ Property / cites work @@
+Thom's lemma, the coding of real algebraic numbers and the computation of the topology of semi-algebraic sets
+Normal rank
@@ Property / cites work @@
+Transcendental Numbers. (AM-16)
@@ Property / cites work: Transcendental Numbers. (AM-16) / rank @@
+Normal rank
@@ Property / cites work @@
+Otter 2.0
@@ Property / cites work: Otter 2.0 / rank @@
+Normal rank
@@ Property / DOI @@
+.1006/JSCO.2000.0465
@@ Property / DOI: 10.1006/JSCO.2000.0465 / rank @@
+Normal rank