Name
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. |
Year | Venue | Keywords |
|---|---|---|
2011 | CoRR | software engineering,symbolic computation |
Field | DocType | Volume |
Engineering drawing,Mathematical structure,Computer science,Theoretical computer science,Computational science,Software | Journal | abs/1106.1862 |
Citations | PageRank | References |
4 | 0.48 | 4 |
Authors | ||
6 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jacques Carette | 1 | 358 | 38.45 |
| William M. Farmer | 2 | 643 | 82.94 |
| Filip Jeremic | 3 | 4 | 0.48 |
| Vincent Maccio | 4 | 36 | 3.52 |
| Russell O'Connor | 5 | 154 | 11.75 |
| Quang M. Tran | 6 | 4 | 0.48 |