A Note on the Ramanujan Machine

arXiv2211.01058MaRDI QIDQ6415909FDOQ6415909

Authors: Éric Brier, David Naccache, Ofer Yifrach-Stav 

Publication date: 2 November 2022

Abstract: The Ramanujan Machine project detects new expressions related to constants of interest, such as $zeta$ function values, $gamma$ and algebraic numbers (to name a few). In particular the project lists a number of conjectures involving even and odd $zeta$ function values, logarithms etc. We show that many relations detected by the Ramanujan Machine Project stem from a specific algebraic observation and show how to generate infinitely many. This provides an automated proof and/or an explanation of many of the relations listed as conjectures by the project (although not all of them).

This page was built for publication: A Note on the Ramanujan Machine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6415909)