On Catalan Constant Continued Fractions

10/30/2022
by   David Naccache, 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 concerning the Catalan constant G= 0.91596559… We show how to generate infinitely many. We used an ad hoc software toolchain and rather tedious mathematical developments. Because we do not provide a proper peer-reviewed proof of the relations given here we do not claim them to be theorems.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/02/2022

A Note on the Ramanujan Machine

The Ramanujan Machine project detects new expressions related to constan...
research
04/23/2020

Diophantine problems related to the Omega constant

Some diophantine problems are stated for the Omega constant and, more ge...
research
12/05/2017

An Extensible Ad Hoc Interface between Lean and Mathematica

We implement a user-extensible ad hoc connection between the Lean proof ...
research
02/02/2022

Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers

Ad hoc parsers are everywhere: they appear any time a string is split, l...
research
02/24/2016

Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants

Mathematical theorems are human knowledge able to be accumulated in the ...
research
06/28/2023

New Menger-like dualities in digraphs and applications to half-integral linkages

We present new min-max relations in digraphs between the number of paths...

Please sign up or login with your details

Forgot password? Click here to reset