Generating author description...
| Coauthor | Papers Together |
|---|---|
| John Harrison | 1 |
| Mark Adams | 1 |
| Sean McLaughlin | 1 |
| Hoang Le Truong | 1 |
| Joseph Pleso | 1 |
| Josef Urban | 1 |
| Gertrud Bauer | 1 |
| Steven Obua | 1 |
| Jason Rute | 1 |
| Tobias Nipkow | 1 |
| Victor Magron | 1 |
| Roland Zumkeller | 1 |
| Cezary Kaliszyk | 1 |
| Ky Vu | 1 |
| Thi Hoai An Ta | 1 |
| THI DIEP TRIEU | 1 |
| QUANG TRUONG NGUYEN | 1 |
| TAT DAT DANG | 1 |
| Alexey Solovyev | 1 |
| Nam Trung Tran | 1 |
| Thomas C. Hales | 1 |