MetiTarski: An Automatic Prover for the Elementary Functions (Q5505501): Difference between revisions

@@ Property / author @@
+Lawrence Charles Paulson
@@ Property / author: Lawrence Charles Paulson / 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 @@
+QEPCAD
@@ Property / describes a project that uses: QEPCAD / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPASS+T
@@ Property / describes a project that uses: SPASS+T / 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-540-85110-3_18
+Normal rank
@@ Property / OpenAlex ID @@
+W2164887032
@@ Property / OpenAlex ID: W2164887032 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57382626
@@ Property / Wikidata QID: Q57382626 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending a Resolution Prover for Inequalities on Elementary Functions
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic derivation of the irrationality of \(e\)
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265267
@@ Property / cites work: Q4265267 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified Real Number Calculations: A Library for Interval Arithmetic
+Normal rank
@@ Property / cites work @@
+Q4247790
@@ Property / cites work: Q4247790 / rank @@
+Normal rank
@@ Property / cites work @@
+An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/aisc/AkbarpourP08
@@ Property / DBLP publication ID: conf/aisc/AkbarpourP08 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5505501