TY  - RPRT
TI  - Man and machine thinking about the smooth 4-dimensional Poincaré conjecture
AU  - Michael Freedman
AU  - Robert Gompf
AU  - Scott Morrison
AU  - Kevin Walker
PY  - 2009
DO  - 10.4171/qt/5
UR  - https://arxiv.org/abs/0906.5177
ID  - 0906.5177
ER  -