On Catalan Constant Continued Fractions

by   David Naccache, 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 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.


page 1

page 2

page 3

page 4


A Note on the Ramanujan Machine

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

Diophantine problems related to the Omega constant

Some diophantine problems are stated for the Omega constant and, more ge...

An Extensible Ad Hoc Interface between Lean and Mathematica

We implement a user-extensible ad hoc connection between the Lean proof ...

Grammars for Free: Toward Grammar Inference for Ad Hoc Parsers

Ad hoc parsers are everywhere: they appear any time a string is split, l...

Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants

Mathematical theorems are human knowledge able to be accumulated in the ...

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