Faltings, Gerd (July 1995), "The Proof of Fermat's Last Theorem by R. Taylor and A. Wiles" (PDF), Notices of the AMS, 42 (7): 743–746, ISSN 0002-9920 https://www.ams.org/notices/199507/faltings.pdf
K. Appel and W. Haken (1977), "Every planar map is four colorable. Part I. Discharging", Illinois J. Math 21: 429–490. MR543795 /wiki/MR_(identifier)
K. Appel, W. Haken, and J. Koch (1977), "Every planar map is four colorable. Part II. Reducibility", Illinois J. Math 21: 491–567. MR543795 /wiki/MR_(identifier)
Vendruscolo, M.; Najmanovich, R.; Domany, E. (1999), "Protein Folding in Contact Map Space", Physical Review Letters, 82 (3): 656–659, arXiv:cond-mat/9901215, Bibcode:1999PhRvL..82..656V, doi:10.1103/PhysRevLett.82.656, S2CID 6686420 /wiki/ArXiv_(identifier)
Dill, K.A.; Ozkan, S.B.; Weikl, T.R.; Chodera, J.D.; Voelz, V.A. (2007), "The protein folding problem: when will it be solved?" (PDF), Current Opinion in Structural Biology, 17 (3): 342–346, doi:10.1016/j.sbi.2007.06.001, PMID 17572080, archived from the original (PDF) on 2011-07-20 https://web.archive.org/web/20110720080804/http://laplace.compbio.ucsf.edu/~jchodera/pubs/pdf/protein-folding-problem.pdf