2000 character limit reached
The MathScheme Library: Some Preliminary Experiments
Published 9 Jun 2011 in cs.MS, cs.SC, cs.SE, and math.RA | (1106.1862v1)
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.
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.