An Hoai Thi Ta

Follow

Generating author description...

All published works

Action	Title	Year	Authors
+	A formal proof of the Kepler conjecture	2015	Thomas Hales Mark Adams Gertrud Bauer Dat Tat Dang John Harrison Hoang Le Truong Cezary Kaliszyk Victor Magron Sean McLaughlin Thang Tat Nguyen
+	A formal proof of the Kepler conjecture	2015	Thomas Hales Mark Raymond Adams Gertrud Bauer Dat Tat Dang John Harrison Hoang Le Truong Cezary Kaliszyk Victor Magron S. McLaughlin Thang Tat Nguyen

Common Coauthors

Coauthor	Papers Together
Thomas C. Hales	2
Truong Quang Nguyen	2
Tobias Nipkow	2
Victor Magron	2
Diep Thi Trieu	2
Roland Zumkeller	2
Cezary Kaliszyk	2
Ky Vu	2
Trung Nam Tran	2
Alexey Solovyev	2
Hoang Le Truong	2
Joseph Pleso	2
Josef Urban	2
Gertrud Bauer	2
Dat Tat Dang	2
Steven Obua	2
Jason Rute	2
John Harrison	1
Mark Adams	1
Sean McLaughlin	1
Thang Tat Nguyen	1
John Harrison	1
Mark Raymond Adams	1
Thang Tat Nguyen	1
S. McLaughlin	1

Commonly Cited References

Action	Title	Year	Authors	# of times referenced
+	Introduction to the Flyspeck Project	2006	Thomas C. Hales	1
+	Without Loss of Generality	2009	John Harrison	1
+	The Kepler conjecture	1998	Thomas C. Hales	1
+	Developments in Formal Proofs	2014	Thomas C. Hales	1
+ PDF Chat	Flyspeck II: the basic linear programs	2009	Steven Obua Tobias Nipkow	1
+	Learning-assisted theorem proving with millions of lemmas	2014	Cezary Kaliszyk Josef Urban	1
+ PDF Chat	Learning-Assisted Automated Reasoning with Flyspeck	2014	Cezary Kaliszyk Josef Urban	1
+ PDF Chat	A proof of the Kepler conjecture	2005	Thomas Hales	1
+	Formalizing plane graph theory : towards a formalized proof of the Kepler conjecture	2006	Gertrud Bauer	1
+	Formal Proofs for Global Optimization -- Templates and Sums of Squares	2013	Victor Magron	1