Program derivation methodology is applied to reconstruct Euler’s proof that every prime congruent to 1 modulo 4 is the sum of two squares.
CITATION STYLE
Bijlsma, A. (1998). An application of program derivation techniques to 18th-century mathematics. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1422, pp. 44–51). Springer Verlag. https://doi.org/10.1007/bfb0054284
Mendeley helps you to discover research relevant for your work.