@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",
}