The Dottie Number

· Lawrencecpaulson · June 26, 2026, 3:10 p.m.
mathematics Proofs Isabelle Computer Algebra
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.
Read full post on lawrencecpaulson.github.io →
AUTHOR
Advertise
Sponsor diff.blog
Put your product in front of developers who read and write about their craft. One exclusive sponsor at a time.
Become a sponsor →
BLOG POST FEATURED ON

Placeholder image
Hacker News

4 points

Add this plugin to your blog