Formal proofs of degree 5 binary BBP-type formulas (Q1948707): Difference between revisions

@@ Property / cites work @@
+On the rapid computation of various polylogarithmic constants
+Normal rank
@@ Property / cites work @@
+On the Random Character of Fundamental Constant Expansions
+Normal rank
@@ Property / cites work @@
+Finding and Excluding <i>b</i>-ary Machin-Type Individual Digit Formulae
+Normal rank
@@ Property / cites work @@
+Q4434207
@@ Property / cites work: Q4434207 / rank @@
+Normal rank
@@ Property / cites work @@
+Analysis of PSLQ, an integer relation finding algorithm
+Normal rank
@@ Property / cites work @@
+A Non-PSLQ route to BBP-type formulas
@@ Property / cites work: A Non-PSLQ route to BBP-type formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3114290
@@ Property / cites work: Q3114290 / rank @@
+Normal rank
@@ Property / cites work @@
+A novel approach to the discovery of ternary BBP-type formulas for polylogarithm constants
+Normal rank
@@ Property / cites work @@
+New binary and ternary digit extraction (BBP-type) formulas for trilogarithm constants
+Normal rank
@@ Property / cites work @@
+A Novel Approach to the Discovery of Binary BBP-Type Formulas for Polylogarithm Constants
+Normal rank