Edit Profile Dang, Tat Dat Compute Distance To: Compute Author ID: dang.tat-dat Published as: Dang, Tat Dat Documents Indexed: 1 Publication since 2017 all top 5 Co-Authors 0 single-authored 1 Adams, Mark 1 Bauer, Gertrud 1 Hales, Thomas Callister 1 Harrison, John 1 Hoang, Le Truong 1 Kaliszyk, Cezary 1 Magron, Victor 1 McLaughlin, Sean 1 Nguyen, Quang Truong 1 Nguyen, Tat Thang 1 Nipkow, Tobias 1 Obua, Steven 1 Pleso, Joseph 1 Rute, Jason 1 Solovyev, Alexey 1 Ta Thi Hoai An 1 Tran, Nam Trung 1 Trieu, Thi Diep 1 Urban, Josef 1 Vu, Ky Minh 1 Zumkeller, Roland Serials 1 Forum of Mathematics, Pi Fields 1 Convex and discrete geometry (52-XX) 1 Computer science (68-XX) Publications by Year Citations contained in zbMATH 1 Publication has been cited 11 times in 11 Documents Cited by ▼ Year ▼ A formal proof of the Kepler conjecture. Zbl 1379.52018Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland 11 2017 A formal proof of the Kepler conjecture. Zbl 1379.52018Hales, Thomas; Adams, Mark; Bauer, Gertrud; Dang, Tat Dat; Harrison, John; Hoang, Le Truong; Kaliszyk, Cezary; Magron, Victor; McLaughlin, Sean; Nguyen, Tat Thang; Nguyen, Quang Truong; Nipkow, Tobias; Obua, Steven; Pleso, Joseph; Rute, Jason; Solovyev, Alexey; Ta, Thi Hoai An; Tran, Nam Trung; Trieu, Thi Diep; Urban, Josef; Vu, Ky; Zumkeller, Roland 11 2017 all top 5 Cited by 36 Authors 1 Alt, Helmut 1 Aransay, Jesús 1 Bancerek, Grzegorz 1 Bogoşel, Beniamin 1 Buchin, Kevin 1 Bucur, Dorin 1 Byliński, Czesław 1 Chaplick, Steven 1 Cheong, Otfried 1 Divasón, Jose 1 Fragalà, Ilaria 1 Ganesalingam, Mohan 1 Gowers, William Timothy 1 Grabowski, Adam 1 Grayson, Daniel Richard 1 Guan, Yong 1 Gunther, Emmanuel 1 Holmes, Kathryn 1 Kindermann, Philipp 1 Knauer, Christian 1 Köppe, Matthias 1 Korniłowicz, Artur 1 Li, Liming 1 Li, Yongdong 1 Matuszewski, Roman 1 Naumowicz, Adam 1 Nipkow, Tobias 1 Pagano, Miguel 1 Pąk, Karol 1 Paulson, Lawrence Charles 1 Sánchez Terraf, Pedro 1 Shi, Zhiping 1 Stehn, Fabian 1 Wenzel, Makarius 1 Zhang, Qianying 1 Zhou, Yuan Cited in 4 Serials 4 Journal of Automated Reasoning 1 Applied Mathematics and Optimization 1 Formal Aspects of Computing 1 Bulletin of the American Mathematical Society. New Series all top 5 Cited in 8 Fields 8 Computer science (68-XX) 4 Mathematical logic and foundations (03-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 Convex and discrete geometry (52-XX) 1 Operations research, mathematical programming (90-XX) 1 Mathematics education (97-XX) Citations by Year