Generates digits of pi

A formal proof of the irrationality of sqrt(2) written in lean

The Golden Ratio (why it is so irrational) - Numberphile : https://www.youtube.com/watch?v=sj8Sg8qnjOg

A visualization for the irrationality of pi by rendering r(θ) = e^θi + e^πθi using 2 pendulums and demonstrating pi's irrationality through the fact that the pendulum never repeats the same path.

A brand-new compression algorithm using the Pi number

Notes: "A 3SUM algorithm on the binary addition level of atomic generated real numbers" , id: notes_000X, Notes

Small project about finding "nerdy anniversaries". E.g. after 3.1415... years one could celebrate the π-th anniversary.

The following is a brief analysis of "XYX" patterns, within natural constants that also happen to be irrational numbers (some are trascendental numbers). La versión en español de los archivos no tiene el sufijo _ENG.

A variety of tasks completed using Jupyter Notebook.

Código capaz de aproximarse a determinados numeros irracionales a través de métodos probabilísticos.

An generic-types Math<T> and Real numeric library for .NETCore 3.1/5.0

Make expressions like 2π behave as irrational numbers in Julia

A sequence of digits that never ends and never exhibits any clear patterns, is scratchy for any questioning mind. The main question in regard to this project is: Are there patterns in the digits of irrational numbers? PI laboratory is a scanner that tries to show patterns in the digits of irrational numbers, in a graphical manner.

Object-oriented continued fractions with Python.

Numbers that produce accurate results when used as arguments to trigonometric functions

Generate any a-by-( b + c ) finite rectangle SVG containing potentially Infinitely many a-by-( 2 * b ) finite rectangles animated along a number line of ( ( c - b ) / a )^n scale symmetry.