A Note on the Ramanujan Machine

11/02/2022
by   Éric Brier, et al.
0

The Ramanujan Machine project detects new expressions related to constants of interest, such as ζ function values, γ and algebraic numbers (to name a few). In particular the project lists a number of conjectures involving even and odd ζ 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).

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset