Gertrud Bauer
Identifiers
- name variant Gertrud Bauer 0.60 · backfill
Papers (1)
- A formal proof of the Kepler conjecture math.MG · 2015 · author #3
Mentions
- 1501.02155 #3 · backfill · confidence 0.70 Gertrud Bauer
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
- Diep Thi Trieu 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