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

page 1

page 2

page 3

page 4

research
10/30/2022

On Catalan Constant Continued Fractions

The Ramanujan Machine project detects new expressions related to constan...
research
03/09/2023

Clones, polymorphisms and relations of arity omega

Polymorphisms of arity omega have recently been used in the proof of mod...
research
04/22/2022

Determinants from homomorphisms

We give a new combinatorial explanation for well-known relations between...
research
05/06/2020

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...
research
12/30/2020

Notes on Computational Graph and Jacobian Accumulation

The optimal calculation order of a computational graph can be represente...
research
06/16/2021

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...
research
10/14/2022

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