Diep Thi Trieu
Identifiers
- name variant Diep Thi Trieu 0.60 · backfill
Papers (1)
- A formal proof of the Kepler conjecture math.MG · 2015 · author #19
Mentions
- 1501.02155 #19 · backfill · confidence 0.70 Diep Thi Trieu
Frequent Coauthors
- Alexey Solovyev 1 shared papers
- An Hoai Thi Ta 1 shared papers
- Cezary Kaliszyk 1 shared papers
- Dat Tat Dang 1 shared papers
- Gertrud Bauer 1 shared papers
- Jason Rute 1 shared papers
- John Harrison 1 shared papers
- Josef Urban 1 shared papers
- Joseph Pleso 1 shared papers
- Ky Khac Vu 1 shared papers
- Mark Adams 1 shared papers
- Roland Zumkeller 1 shared papers
- Sean McLaughlin 1 shared papers
- Steven Obua 1 shared papers
- Thang Tat Nguyen 1 shared papers
- Thomas Hales 1 shared papers
- Tobias Nipkow 1 shared papers
- Trung Nam Tran 1 shared papers
- Truong Le Hoang 1 shared papers
- Truong Quang Nguyen 1 shared papers