Formal calculation (source code)

= Formal calculation
{wiki=Formal_calculation}