The MathScheme Library: Some Preliminary Experiments
Mathematical Software
2011-06-10 v1 Symbolic Computation
Software Engineering
Rings and Algebras
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 building. We wish for our library design to use and reflect, as much as possible, the mathematical structure present in the objects which populate the library.
Cite
@article{arxiv.1106.1862,
title = {The MathScheme Library: Some Preliminary Experiments},
author = {Jacques Carette and William M. Farmer and Filip Jeremic and Vincent Maccio and Russell O'Connor and Quang M. Tran},
journal= {arXiv preprint arXiv:1106.1862},
year = {2011}
}
Comments
Accepted as a work-in-progress paper at CICM 2011