The MathScheme Library: Some Preliminary Experiments
Carette, Jacques · Farmer, William M. · Jeremic, Filip · Maccio, Vincent · O'Connor, Russell · Tran, Quang M.
Mathematical Software
Symbolic Computation
Software Engineering
Rings and Algebras
D.2.1; D.3.3; F.4.1; I.1.3
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.