Choose how you want to continue.
The Dottie Number
Summary
This blog post delves into the mathematical properties of the Dottie number, a fixed point of the cosine function, and presents formal proofs using Isabelle for its existence, uniqueness, and transcendental nature. The author explores convergence through iteration of the cosine function, showcasing various computer algebra techniques to validate the findings.
MORE POSTS LIKE THIS
Take it to the limit one more time – a history of calculus I.I
Thonyc Wordpress ·
Jul 15, 2026
Relationship between Amp and Mono
The Sparkelling Bedangler ·
Jul 26, 2026
Learning Elliptic Curve Cryptography with Curve25519
Abstract Nonsense ·
Jul 26, 2026
Would Erdos have been happy with the resolution of the Erdos Unit Distance Problem? How to find out?
Blog Computationalcomplexity ·
Jul 26, 2026
AUTHOR