面向切割平面定理的计算机辅助发现与自动证明
最优化与控制
2017-01-03 v1
摘要
使用元编程技术和半代数计算，我们为Gomory-Johnson割生成函数模型中的新旧切割平面定理提供了基于计算机的证明。
引用
@article{arxiv.1604.03649,
title = {Toward computer-assisted discovery and automated proofs of cutting plane theorems},
author = {Matthias Köppe and Yuan Zhou},
journal= {arXiv preprint arXiv:1604.03649},
year = {2017}
}
备注
21 pages, 11 figures; to be presented at ISCO 2016