G
ertrud
B
auer
Entries
2006
Flyspeck I: Tame Graphs
by
Gertrud Bauer
and
Tobias Nipkow
🌐
May 22