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