The MathScheme Library: Some Preliminary Experiments.

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

Jacques Carette, William M. Farmer, Filip Jeremic, Vincent Maccio, Russell O'Connor, Quang M. Tran:
The MathScheme Library: Some Preliminary Experiments. CoRR abs/1106.1862 (2011)