A Note on the Ramanujan Machine

by   Éric Brier, et al.
Cole Normale Suprieure

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).


page 1

page 2

page 3

page 4


On Catalan Constant Continued Fractions

The Ramanujan Machine project detects new expressions related to constan...

Clones, polymorphisms and relations of arity omega

Polymorphisms of arity omega have recently been used in the proof of mod...

Determinants from homomorphisms

We give a new combinatorial explanation for well-known relations between...

Recurrence Relations for Values of the Riemann Zeta Function in Odd Integers

It is commonly known that ζ(2(k - 1)) = q_k - 1ζ(2k)/π^2 with known rati...

Notes on Computational Graph and Jacobian Accumulation

The optimal calculation order of a computational graph can be represente...

The DEWCAD Project: Pushing Back the Doubly Exponential Wall of Cylindrical Algebraic Decomposition

This abstract seeks to introduce the ISSAC community to the DEWCAD proje...

Formalising the h-principle and sphere eversion

In differential topology and geometry, the h-principle is a property enj...

Please sign up or login with your details

Forgot password? Click here to reset