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

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