Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
An Application of Program Derivation Techniques to 18th-Century Mathematics

An Application of Program Derivation Techniques to 18th-Century Mathematics

(Dedicated to Prof. Dr. F. E. J. Kruseman Aretz)
Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 1422/1998
BookMathematics of Program Construction
DOI10.1007/BFb0054279
Copyright1998
ISBN978-3-540-64591-7
Page44
Subject CollectionComputer Science
SpringerLink DateThursday, February 19, 2004
Add to marked items
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.

Fulltext Preview (Small, Large)
Image of the first page of the fulltext
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.109 • Server: mpweb21
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)