Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

MPC
1998
Springer

favoriteEmaildiscussreport

100views Mathematics» more MPC 1998»

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

13 years 9 months ago

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

Download igitur-archive.library.uu.nl

Program derivation methodology is applied to reconstruct Euler's proof that every prime congruent to 1 modulo 4 is the sum of two squares.

A. Bijlsma

Real-time Traffic

Mathematics | MPC 1998 | Prime Congruent | Program Derivation Methodology |

claim paper

Related Content

» Scope for the application of mathematical programming techniques in the synthesis and plan...

» A quantum calculus formulation of dynamic programming and ordered derivatives

» Mathematical applications of inductive logic programming

» Mathematical programmingbased perturbation analysis for GIG1 queues

» Parallel Monte Carlo Methods for Derivative Security Pricing

» Dynamic Derivation of ApplicationSpecific Error Detectors and their Implementation in Hard...

» Deriving refactorings for aspectJ

» Mathematical programming approaches for generating pefficient points

» Formal Derivation of an ErrorDetecting Distributed Data Scheduler Using Changeling

Post Info
More Details (n/a)

Added	06 Aug 2010
Updated	06 Aug 2010
Type	Conference
Year	1998
Where	MPC
Authors	A. Bijlsma

Comments (0)