Cited By
View all- Allamigeon XKatz R(2019)A Formalization of Convex Polyhedra Based on the Simplex MethodJournal of Automated Reasoning10.1007/s10817-018-9477-163:2(323-345)Online publication date: 1-Aug-2019
- Heras JCoquand TMörtberg ASiles V(2013)Computing persistent homology within Coq/SSReflectACM Transactions on Computational Logic10.1145/252892914:4(1-16)Online publication date: 28-Nov-2013
- Mahboubi ATassi E(2013)Canonical structures for the working coq userProceedings of the 4th international conference on Interactive Theorem Proving10.1007/978-3-642-39634-2_5(19-34)Online publication date: 22-Jul-2013
- Show More Cited By