Definition:Formal Calculation

From ProofWiki
Jump to navigation Jump to search

Definition

Formal calculation is a calculation, often involving power series, which is purely algebraic in nature, such that questions of convergence is not considered.


Also see

  • Results about formal calculation can be found here.


Historical Note

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


Sources