Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Thomas Hales
Researcher
PaperFormal Proof of the Group Law for Edwards Elliptic CurvesAuthorship / preprint / 2020PaperMathematics in the Age of the Turing MachineAuthorship / preprint / 2013PaperA formal proof of the Kepler conjectureAuthorship / preprint / 2015PaperPackings of Regular Pentagons in the PlaneAuthorship / preprint / 2016PaperThe Group Law for Edwards CurvesAuthorship / preprint / 2016PaperEndoscopic transfer of orbital integrals in large residual characteristicAuthorship / preprint / 2015PaperThe Spherical Hecke algebra, partition functions, and motivic integrationAuthorship / preprint / 2016