pith. sign in

arxiv: 1106.1862 · v1 · pith:5J6JITLDnew · submitted 2011-06-09 · 💻 cs.MS · cs.SC· cs.SE· math.RA

The MathScheme Library: Some Preliminary Experiments

Jacques Carette , William M. Farmer , Filip Jeremic , Vincent Maccio , Russell O'Connor , Quang M. Tran This is my paper
classification 💻 cs.MS cs.SCcs.SEmath.RA
keywords librarydesignexperimentsmathschemesomebestbuildingmathematical
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.