Authors: Gert Almkvist
Abstract
Using the PSLQ-algorithm J.Guillera found some formulas for 1
/π2. He proved three of them using WZ-pairs. Then W. Zudilin showed how to produce formulas for 1
/π2 by squaring formulas for 1
/π. The success of this depends on facts related to Calabi-Yau differential equations of string theory. Here some examples of this is worked out. Also some formulas containing harmonic numbers are found by differentiating formulas for 1
/π2.
Lund University
Department of Mathematics
P.O. Box 118
S-221 00 Lund, Sweden
E-mail:
Fulltext
–
0.18 Mb