A machine program for theorem-proving
Communications of the ACM
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Effective Methods in Computational Synthetic Geometry
ADG '00 Revised Papers from the Third International Workshop on Automated Deduction in Geometry
Computational Oriented Matroids
Computational Oriented Matroids
Journal of Combinatorial Theory Series A
Hi-index | 0.01 |
Matroid polytopes form an intermediate structure useful in searching for realizable convex spheres. In this article we present a class of self-polar 3-spheres that motivated research in the inductive generation of matroid polytopes, along with two new methods of generation.