Source
Thomas Hales (Wikipedia)
Encyclopedia Article
Wikipedia's biography of Thomas Hales, cited for his 1998 proof of the Kepler conjecture, the 2014 Flyspeck formal verification, and the 2017 Formal Abstracts project.
Facts
Citation
PublisherWikimedia Foundation
URLhttps://en.wikipedia.org/wiki/Thomas_Callister_Hales
Source TypeEncyclopedia
Assessment
Reliability Tier2
Sources
Thomas Hales (Wikipedia)
Claims Backed By This Source (21 claims)
This source backs 21 claims across the atlas. As facts: 15 well-attested. As cited relationships: 1 holds. Plus 5 entities citing it as a general reference with no single fact or relationship attached.
Disposition By Topic
- Mathematicians, 16 claims: 10 well-attested, 1 holds, 5 general references.
- Sources, 5 claims: 5 well-attested.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.