Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Jeremic, Filip"'
Autor:
Carette, Jacques, Farmer, William M., Jeremic, Filip, Maccio, Vincent, O'Connor, Russell, Tran, Quang M.
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 mathema
Externí odkaz:
http://arxiv.org/abs/1106.1862
