T. Hales
发表
T. Hales,
1998,
math/9811078.
T. Hales,
2008
.
T. Hales,
1998,
math/9811078.
C. Kaliszyk,
T. Hales,
Stephan Schulz,
2016
.
T. Hales,
2011,
1103.4518.
T. Hales,
2012
.
T. Hales,
2000
.
Samuel P. Ferguson,
J. Lagarias,
T. Hales,
2011
.
T. Hales,
1992
.
T. Hales,
2011,
1110.0402.
T. Hales,
1994
.
T. Hales,
Sean McLaughlin,
2009
.
Thomas C. Hales,
T. Hales,
1998
.
T. Hales,
2011,
1103.4066.
T. Hales,
Sean McLaughlin,
1998
.
T. Nipkow,
C. Kaliszyk,
T. Hales,
2018
.
Thomas C. Hales,
Sean McLaughlin,
T. Hales,
1998,
math/9811079.
Thomas C. Hales,
T. Hales,
2007
.
T. Hales,
2003,
math/0305012.
T. Hales,
1998,
Discret. Comput. Geom..
T. Hales,
Clifton Cunningham,
2003,
math/0311353.
T. Hales,
J. Gordon,
2002,
math/0209001.
T. Hales,
1998,
math/9811078.
T. Hales,
Sean McLaughlin,
1998,
math/9811079.
T. Hales,
2002,
math/0205208.
T. Hales,
1998,
math/9811071.
T. Hales,
1997,
Discret. Comput. Geom..
Samuel P. Ferguson,
T. Hales,
1998,
Discrete & Computational Geometry.
T. Hales,
1998,
math/9811075.
T. Hales,
1998,
math/9811078.
T. Hales,
1998,
math/9811076.
T. Hales,
2002,
math/0212236.
T. Hales,
2002,
math/0211234.
Tobias Nipkow,
Cezary Kaliszyk,
Josef Urban,
2015,
Forum of Mathematics, Pi.
Thomas C. Hales,
T. Hales,
1999,
Discret. Comput. Geom..
T. Hales,
W. Casselman,
Jorge E. Cely,
2016,
Transactions of the American Mathematical Society.
T. Hales,
Woden Kusner,
2016,
1602.07220.
T. Hales,
2002,
math/0205209.
T. Hales,
1995,
Canadian Journal of Mathematics.
T. Hales,
J. Gordon,
2015,
1502.07368.
T. Hales,
J. Gordon,
2008
.
T. Hales,
1993
.
Thomas C. Hales,
T. Hales,
2006,
Discret. Comput. Geom..
T. Hales,
R. Cluckers,
F. Loeser,
2007,
0712.0708.
T. Hales,
2002,
math/0205207.
T. Hales,
2003,
math/0312229.
T. Hales,
2010,
1012.0382.
T. Hales,
2003,
math/0312227.
Thomas C. Hales,
T. Hales,
2006,
Discret. Comput. Geom..
Tobias Nipkow,
John Harrison,
Thomas C. Hales,
2009,
Discret. Comput. Geom..
Mary C. Pugh,
P. Sarnak,
T. Hales,
2000,
Proceedings of the National Academy of Sciences of the United States of America.
Thomas C. Hales,
T. Hales,
2005,
Mathematics, Algorithms, Proofs.
Thomas C. Hales,
Alexey Solovyev,
T. Hales,
2013,
NASA Formal Methods.
T. Hales,
2015
.
Thomas C. Hales,
T. Hales,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Thomas C. Hales,
T. Hales,
1993,
Comb..
Thomas C. Hales,
T. Hales,
2013,
Turing's Legacy.
Thomas C. Hales,
T. Hales,
2010,
ICMS.
Thomas Hales,
Rodrigo Raya,
T. Hales,
2020,
IJCAR.
T. Hales,
1997
.
T. Hales,
1996
.
Thomas C. Hales,
T. Hales,
2006,
Discret. Comput. Geom..
Thomas C. Hales,
T. Hales,
2014
.
Thomas C. Hales,
T. Hales,
2007,
Am. Math. Mon..
Thomas C. Hales,
T. Hales,
2014,
ArXiv.
T. Hales,
2005
.
T. Hales,
2012
.
Thomas C. Hales,
T. Hales,
2010,
ICMS.
T. Nipkow,
T. Hales,
J. Harrison,
2009,
Discret. Comput. Geom..