Mathematics Atlas

How Proof Is Made
Sources

Thomas Hales (Wikipedia)

Encyclopedia Article

Citation Formats

General Reference

APA Style

BibTeX

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
Publisher
Wikimedia Foundation
URL
https://en.wikipedia.org/wiki/Thomas_Callister_Hales
Source Type
Encyclopedia
Assessment
Reliability Tier
2
Sources
Thomas Hales (Wikipedia)
Wikimedia FoundationView the Source
Claims Backed By This Source (19 claims)

This source backs 19 claims across the atlas. As facts: 14 well-attested. As cited relationships: 1 holds. Plus 4 entities citing it as a general reference with no single fact or relationship attached.

Disposition By Topic

  • Mathematicians, 14 claims: 9 well-attested, 1 holds, 4 general references.
  • Sources, 5 claims: 5 well-attested.

Well-attested

14

Mathematicians

Holds

1

Mathematicians

General References

4

Mathematicians

Comments (0)
No comments yet. Be the first to share a thought.
Reader Challenges (0 open reader challenges)
No disputes yet. Spotted an error or a better source? Open the first one.

View At A Past Year

The atlas records no dated fact of its own for this entry, so there is no other year to choose.