bn:01715623n
Noun Named Entity
EL
No term available
EN
Thomas Callister Hales is an American mathematician working in the areas of representation theory, discrete geometry, and formal verification. Wikipedia
Relations
Sources