Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
Calculational Mathematics
Conversations
About
Calculational Mathematics
calculational-mathematics@googlegroups.com
Description
This is a group for people who are interested in the calculational style of doing mathematics as well as in mathematical methodology. We are particularly interested in the work of Dijkstra, Feijen, van Gasteren et al.
Language
English
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Group members
can post
Anyone on the web
can ask to join group