Gertrud Bauer

Identifiers

• name variant Gertrud Bauer 0.60 · backfill

Papers (1)

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