TY  - RPRT
TI  - Highly complex proofs and implications of such proofs.
AU  - Michael Aschbacher
PY  - 2005
DO  - 10.1098/rsta.2005.1655
UR  - https://pubmed.ncbi.nlm.nih.gov/16188615/
ID  - 16188615
ER  -