Definition:Formal Calculation/Historical Note

From ProofWiki
Jump to navigation Jump to search

Historical Note on Formal Calculation

The technique of formal calculation was used by Leonhard Paul Euler to discover many new theorems.


Sources