zbMATH — the first resource for mathematics

Hales, Thomas Callister

Compute Distance To:
Author ID: hales.thomas-c
Published as: Hales, T. C.; Hales, Thomas; Hales, Thomas C.
External Links: MGP · Wikidata · dblp · GND
Member of Collective: the-univalent-foundations-program.
Documents Indexed: 51 Publications since 1989, including 2 Books
Biographic References: 2 Publications

Publications by Year

Citations contained in zbMATH

Access to citation profile requires subscription

Wikidata Timeline