Welcome to Calculational Mathematics , a Google group devoted to calculational mathematics and mathematical methodology, as developed by Edsger Dijkstra, Wim Feijen, Netty van Gasteren, and many others. It is the companion site to www.mathmeth.com , 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!