1. Aichmayr, M.S.: elementary_vectors. https://github.com/MarcusAichmayr/elementary_vectors
2. Aichmayr, M.S.: sign_vector_conditions. https://github.com/MarcusAichmayr/sign_vector_conditions
3. Aichmayr, M.S., Regensburger, G.: How to certify solvability of linear inequality systems with elementary vectors (2024, in preparation)
4. Bachem, A., Kern, W.: Linear Programming Duality: An Introduction to Oriented Matroids. Springer-Verlag, Berlin (1992). https://doi.org/10.1007/978-3-642-58152-6
5. Björner, A., Las Vergnas, M., Sturmfels, B., White, N., Ziegler, G.: Oriented Matroids, 2nd edn. Cambridge University Press, Cambridge (1999). https://doi.org/10.1017/CBO9780511586507