1–30 of 142

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!

0 selected

9/8/20

7/1/20

5/30/20

10/18/19

10/17/19

11/26/18

11/12/18

10/14/18

9/19/18

9/19/18

2/11/18

2/10/18

7/23/17

Search

Clear search

Close search

Google apps

Main menu