Journal article
The MathScheme Library: Some Preliminary Experiments
Abstract
We present some of the experiments we have performed to best test our design
for a library for MathScheme, the mechanized mathematics software system we are
Authors
Carette J; Farmer WM; Jeremic F; Maccio V; O'Connor R; Tran QM
Journal
, , ,
Publication Date
June 9, 2011