MathScheme: Project Description.

Sat, 01 Jan 2011 00:00:00 +0100

Jacques Carette , William M. Farmer, Russell O'Connor:
MathScheme: Project Description. Calculemus/MKM 2011: 287-288