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

A. Bijlsma

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

Fingerprint

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

Mathematics