Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems (Q2835688): Difference between revisions

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+kepler98
@@ Property / describes a project that uses: kepler98 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+cutgeneratingfunctionology
@@ Property / describes a project that uses: cutgeneratingfunctionology / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+infinite group relaxation
@@ Property / describes a project that uses: infinite group relaxation / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SageMath
@@ Property / describes a project that uses: SageMath / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PORTA
@@ Property / describes a project that uses: PORTA / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2340911864
@@ Property / OpenAlex ID: W2340911864 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03649
@@ Property / arXiv ID: 1604.03649 / rank @@
+Normal rank
@@ Property / cites work @@
+Every planar map is four colorable. I: Discharging
+Normal rank
@@ Property / cites work @@
+Equivariant Perturbation in Gomory and Johnson's Infinite Group Problem. I. The One-Dimensional Case
+Normal rank
@@ Property / cites work @@
+Light on the infinite group relaxation. I: Foundations and taxonomy
+Normal rank
@@ Property / cites work @@
+Algorithms in real algebraic geometry
@@ Property / cites work: Algorithms in real algebraic geometry / rank @@
+Normal rank
@@ Property / cites work @@
+QEPCAD B
@@ Property / cites work: QEPCAD B / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-Generating Functions and <i>S</i>-Free Sets
@@ Property / cites work: Cut-Generating Functions and <i>S</i>-Free Sets / rank @@
+Normal rank
@@ Property / cites work @@
+On the extreme inequalities of infinite group problems
+Normal rank
@@ Property / cites work @@
+Some continuous functions related to corner polyhedra
+Normal rank
@@ Property / cites work @@
+Some continuous functions related to corner polyhedra, II
+Normal rank
@@ Property / cites work @@
+T-space and cutting planes
@@ Property / cites work: T-space and cutting planes / rank @@
+Normal rank
@@ Property / cites work @@
+A proof of the Kepler conjecture
@@ Property / cites work: A proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+A FORMAL PROOF OF THE KEPLER CONJECTURE
@@ Property / cites work: A FORMAL PROOF OF THE KEPLER CONJECTURE / rank @@
+Normal rank
@@ Property / cites work @@
+An electronic compendium of extreme functions for the Gomory-Johnson infinite group problem
+Normal rank
@@ Property / cites work @@
+New computer-based search strategies for extreme functions of the Gomory-Johnson infinite group problem
+Normal rank
@@ Property / cites work @@
+New inequalities for finite and infinite group problems from approximate lifting
+Normal rank
@@ Property / cites work @@
+Valid inequalities for mips and group polyhedra from approximate liftings
+Normal rank
@@ Property / cites work @@
+The seventeen provers of the world. Foreword by Dana S. Scott..
+Normal rank