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.
An application of program derivation techniques to 18th-century mathematics
DSpace/Manakin Repository
An application of program derivation techniques to 18th-century mathematics
(1998) Lecture notes in computer science, volume 1422, pp. 44 - 51
(Part of book or chapter of book)
Download/Full Text
Publisher: Springer
See more statistics about this item