Calculational Mathematics

1–30 of 143

Welcome to  Calculational Mathematics ,  a Google group devoted to calculational mathematics and mathematical methodology, as developed by Edsger DijkstraWim Feijen, Netty van Gasteren, and many others.  It is the companion site to ,  which contains calculational links and resources, as well as the collected writings of several calculational mathematicians.

This is a place for informal discussions about the calculational style, about notations, conventions, proof formats, and proofs.  It is also a place to pose, discuss, and attempt solutions to math and programming problems.

So grab a cup of tea, a pad of paper, and your favorite fountain pen, sit back, and enjoy!