Formal calculation

In mathematical logic, a formal calculation, or formal operation, is a type of mathematical calculation, often involving power series, that is carried out purely algebraically while disregarding questions of convergence. The expressions are manipulated according to algebraic rules, without requiring that the underlying series or operations necessarily converge in the analytical sense. This approach is useful when the structure of the calculation is more important than its analytical properties.

This article is issued from Wikipedia. The text is available under Creative Commons Attribution-Share Alike 4.0 unless otherwise noted. Additional terms may apply for the media files.