An application of program derivation techniques to 18th-century mathematics

A. Bijlsma

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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.
Original languageEnglish
Title of host publicationMathematics of Program Construction (Proceedings 4th International Conference, MPC'98, Marstrand, Sweden, July 15-17, 1998)
EditorsJ. Jeuring
Place of PublicationBerlin
PublisherSpringer
Pages44-51
ISBN (Print)3-540-64591-8
DOIs
Publication statusPublished - 1998

Publication series

NameLecture Notes in Computer Science
Volume1422
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'An application of program derivation techniques to 18th-century mathematics'. Together they form a unique fingerprint.

Cite this