Formality works

https://doi.org/10.1016/S0020-0190(00)00210-6Get rights and content

Abstract

Formal calculations can contribute successfully to a better understanding of the structure of a proof, both in programming and in “classical” mathematics. This is illustrated by means of a few examples.

References (1)

  • R.R. Hoogerwoord

    A formal development of distributed summation

    (2000)

Cited by (0)

View full text