Oid is an open source, interactive, extensible software system for experimenting with matroids. Since matroids are a generalization of many other combinatorial objects such as graphs, matrices, and linearspaces, a software system for matroids inherently handles all these objects. Oid also has a library of classes can be assembled into programs that are optimized for special applications.
A. van Delden, and T. Mossakowski. 36th Annual Conference on Artificial Intelligence (KI 2013), volume 8077 of Lecture Notes in Artificial Intelligence, page 248--259. Springer, (2013)
S. Herrmann, A. Jensen, M. Joswig, and B. Sturmfels. (2008)cite arxiv:0808.2383
Comment: 21 pages, 10 figures; rewritten proof of Theorem 4.4 (which was
Theorem 4.3 before) for clarification, several other minor corrections.
M. Develin, F. Santos, and B. Sturmfels. In "Discrete and Computational Geometry" (E. Goodman, J. Pach and E. Welzl, eds), MSRI Publications, Cambridge Univ. Press, 2005. ISBN-10: 0521848628, (2003)cite arxiv:math/0312114
Comment: 20 pages, 1 figure.