1. Appel, K., Haken, W., Koch, J.: Every planar map is four colorable. I: Discharging. Ill. J. Math. 21, 429–490 (1977)
2. Aschbacher, M.: Highly complex proofs and the implications of such proofs. In: The Nature of Mathematical Proof. Phil. Trans. R. Soc. A., vol. 363(1835), pp. 2331–2461 (2005)
3. LNCS;S Autexier,2005
4. Boyer, R., et al.: The QED manifesto. In Bundy, A. (ed.) Automated Deduction, CADE 12: 12th International Conference on Automated Deduction. LNCS, vol. 814, pp. 238–251. Springer (1994)
5. Bundy, A., Atiyah, M., Macintyre, A., Mackenzie, D.: The nature of mathematical proof. Phil. Trans. R. Soc. A. 363(1835), 2331–2461 (2005)