A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Toward Computer-Assisted Discovery and Automated Proofs of Cutting Plane Theorems
[chapter]
2016
Lecture Notes in Computer Science
Using a metaprogramming technique and semialgebraic computations, we provide computer-based proofs for old and new cutting-plane theorems in Gomory--Johnson's model of cut generating functions.
doi:10.1007/978-3-319-45587-7_29
fatcat:i7ev3qd6kjc4recd6fi5uufaya