Calculational Mathematics

1–30 of 145

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  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!