A formal proof of the Kepler conjecture T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ... Forum of mathematics, Pi 5, e2, 2017 | 435 | 2017 |
An explicit estimate on multiplicity truncation in the second main theorem for holomorphic curves encountering hypersurfaces in general position in projective space TTH An, HT Phuong arXiv preprint arXiv:0708.0913, 2007 | 49 | 2007 |
Strong uniqueness polynomials: the complex case TTH An*, JTY Wang, PM Wong Complex Variables, Theory and Application: An International Journal 49 (1 …, 2004 | 45 | 2004 |
On uniqueness polynomials and bi-URs for p-adic meromorphic functions HH Khoai, TTH An Journal of Number Theory 87 (2), 211-221, 2001 | 40 | 2001 |
Unique range sets and uniqueness polynomials in positive characteristic TTH An, JTY Wang, PM Wong ACTA ARITHMETICA-WARSZAWA- 109 (3), 259-280, 2003 | 24 | 2003 |
A defect relation for non-Archimedean analytic curves in arbitrary projective varieties T An Proceedings of the American Mathematical Society 135 (5), 1255-1261, 2007 | 21 | 2007 |
Uniqueness polynomials for complex meromorphic functions TTH An, JTY Wang International Journal of Mathematics 13 (10), 1095-1115, 2002 | 17 | 2002 |
Algebraic degeneracy of non-Archimedean analytic maps TTH An, W Cherry, JTY Wang Indagationes Mathematicae 19 (3), 481-492, 2008 | 14 | 2008 |
An effective Schmidt's subspace theorem for non-linear forms over function fields TTH An, JTY Wang Journal of Number Theory 125 (1), 210-228, 2007 | 14 | 2007 |
A formal proof of the Kepler conjecture (2015) T Hales, M Adams, G Bauer, DT Dang, J Harrison, TL Hoang, C Kaliszyk, ... Preprint arXiv 1501, 2015 | 13 | 2015 |
Unique range sets for meromorphic functions constructed without an injectivity hypothesis TTH An Taiwanese Journal of Mathematics 15 (2), 697-709, 2011 | 13 | 2011 |
Generalized Büchi’s problem for algebraic functions and meromorphic functions TTH An, HL Huang, JTY Wang Mathematische Zeitschrift 273 (1), 95-122, 2013 | 10 | 2013 |
A formal proof of the Kepler conjecture. Forum of Mathematics, Pi 5 (2017) T Hales, M Adams, G Bauer, TD Dang, J Harrison, LT Hoang, C Kaliszyk, ... URL: https://doi. org/10.1017/fmp, 2017 | 9 | 2017 |
Genus one factors of curves defined by separated variable polynomials TTH An, NTN Diep Journal of Number Theory 133 (8), 2616-2634, 2013 | 9 | 2013 |
Hensleyʼs problem for complex and non-Archimedean meromorphic functions TTH An, JTY Wang Journal of mathematical analysis and applications 381 (2), 661-677, 2011 | 9 | 2011 |
Non-Archimedean analytic curves in the complements of hypersurface divisors TTH An, JTY Wang, PM Wong Journal of Number Theory 128 (8), 2275-2281, 2008 | 9 | 2008 |
Meromorphic solutions of equations over non-Archimedean fields TTH An, A Escassut The Ramanujan Journal 15, 415-433, 2008 | 8 | 2008 |
A -adic Nevanlinna–Diophantine correspondence TTH An, A Levin, JTY Wang Acta Arithmetica 146, 379-397, 2011 | 7 | 2011 |
Unique range sets and uniqueness polynomials for algebraic curves TTH An, JTY Wang Transactions of the American mathematical society, 937-964, 2007 | 7 | 2007 |
A new class of unique range sets for meromorphic functions on C TTH An, PN Hoa Acta Math. Vietnam 27 (3), 251-256, 2002 | 6 | 2002 |