Formalizing the Face Lattice of Polyhedra (Q5049001): Difference between revisions

@@ Property / cites work @@
+Euler’s Polyhedron Formula in mizar
@@ Property / cites work: Euler’s Polyhedron Formula in mizar / rank @@
+Normal rank
@@ Property / cites work @@
+Log-Barrier Interior Point Methods Are Not Strongly Polynomial
+Normal rank
@@ Property / cites work @@
+A formalization of convex polyhedra based on the simplex method
+Normal rank
@@ Property / cites work @@
+Fast Reflexive Arithmetic Tactics the Linear Case and Beyond
+Normal rank
@@ Property / cites work @@
+On sub-determinants and the diameter of polyhedra
@@ Property / cites work: On sub-determinants and the diameter of polyhedra / rank @@
+Normal rank
@@ Property / cites work @@
+The diameters of network-flow polytopes satisfy the Hirsch conjecture
+Normal rank
@@ Property / cites work @@
+Verifying an incremental theory solver for linear arithmetic in Isabelle/HOL
+Normal rank
@@ Property / cites work @@
+Pragmatic Quotient Types in Coq
@@ Property / cites work: Pragmatic Quotient Types in Coq / rank @@
+Normal rank
@@ Property / cites work @@
+Refinements for Free!
@@ Property / cites work: Refinements for Free! / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic and Topological Tools in Linear Optimization
+Normal rank
@@ Property / cites work @@
+Central Path Curvature and Iteration-Complexity for Redundant Klee—Minty Cubes
+Normal rank
@@ Property / cites work @@
+Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof
+Normal rank
@@ Property / cites work @@
+Q4518980
@@ Property / cites work: Q4518980 / rank @@
+Normal rank
@@ Property / cites work @@
+A Machine-Checked Proof of the Odd Order Theorem
@@ Property / cites work: A Machine-Checked Proof of the Odd Order Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The HOL Light theory of Euclidean space
@@ Property / cites work: The HOL Light theory of Euclidean space / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical Structures for the Working Coq User
@@ Property / cites work: Canonical Structures for the Working Coq User / rank @@
+Normal rank
@@ Property / cites work @@
+A counterexample to the Hirsch conjecture
@@ Property / cites work: A counterexample to the Hirsch conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+Q3818127
@@ Property / cites work: Q3818127 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical problems for the next century
@@ Property / cites work: Mathematical problems for the next century / rank @@
+Normal rank
@@ Property / cites work @@
+Formalization of Incremental Simplex Algorithm by Stepwise Refinement
+Normal rank
@@ Property / cites work @@
+Lectures on Polytopes
@@ Property / cites work: Lectures on Polytopes / rank @@
+Normal rank