@inproceedings{b7f015c156fc4c87a0e4d30ac0dcffc3,

title = "An application of program derivation techniques to 18th-century mathematics",

abstract = "Program derivation methodology is applied to reconstruct Euler's proof that every prime congruent to 1 modulo 4 is the sum of two squares.",

author = "A. Bijlsma",

year = "1998",

doi = "10.1007/BFb0054284",

language = "English",

isbn = "3-540-64591-8",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "44--51",

editor = "J. Jeuring",

booktitle = "Mathematics of Program Construction (Proceedings 4th International Conference, MPC'98, Marstrand, Sweden, July 15-17, 1998)",

address = "Germany",

}