Toward computer-assisted discovery and automated proofs of cutting plane theorems

Matthias Köppe; Yuan Zhou

doi:10.1007/978-3-319-45587-7_29

Toward computer-assisted discovery and automated proofs of cutting plane theorems

Matthias Köppe, Yuan Zhou

Mathematics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

Abstract

Using a metaprogramming technique and semialgebraic computations, we provide computer-based proofs for old and new cuttingplane theorems in Gomory-Johnson’s model of cut generating functions.

Original language	English
Title of host publication	Combinatorial Optimization - 4th International Symposium, ISCO 2016, Revised Selected Papers
Editors	Satoru Fujishige, Ridha A. Mahjoub, Raffaele Cerulli
Pages	332-344
Number of pages	13
DOIs	https://doi.org/10.1007/978-3-319-45587-7_29
State	Published - 2016
Event	4th International Symposium on Combinatorial Optimization, ISCO 2016 - Vietri sul Mare, Italy Duration: May 16 2016 → May 18 2016

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9849 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Symposium on Combinatorial Optimization, ISCO 2016
Country/Territory	Italy
City	Vietri sul Mare
Period	5/16/16 → 5/18/16

Bibliographical note

Publisher Copyright:
© Springer International Publishing Switzerland 2016.

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-319-45587-7_29

Cite this

Köppe, M., & Zhou, Y. (2016). Toward computer-assisted discovery and automated proofs of cutting plane theorems. In S. Fujishige, R. A. Mahjoub, & R. Cerulli (Eds.), Combinatorial Optimization - 4th International Symposium, ISCO 2016, Revised Selected Papers (pp. 332-344). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9849 LNCS). https://doi.org/10.1007/978-3-319-45587-7_29

Köppe, Matthias ; Zhou, Yuan. / Toward computer-assisted discovery and automated proofs of cutting plane theorems. Combinatorial Optimization - 4th International Symposium, ISCO 2016, Revised Selected Papers. editor / Satoru Fujishige ; Ridha A. Mahjoub ; Raffaele Cerulli. 2016. pp. 332-344 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{3096eb0bb7d842cb810ddaabe794a6ce,

title = "Toward computer-assisted discovery and automated proofs of cutting plane theorems",

abstract = "Using a metaprogramming technique and semialgebraic computations, we provide computer-based proofs for old and new cuttingplane theorems in Gomory-Johnson{\textquoteright}s model of cut generating functions.",

author = "Matthias K{\"o}ppe and Yuan Zhou",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2016.; 4th International Symposium on Combinatorial Optimization, ISCO 2016 ; Conference date: 16-05-2016 Through 18-05-2016",

year = "2016",

doi = "10.1007/978-3-319-45587-7_29",

language = "English",

isbn = "9783319455860",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "332--344",

editor = "Satoru Fujishige and Mahjoub, {Ridha A.} and Raffaele Cerulli",

booktitle = "Combinatorial Optimization - 4th International Symposium, ISCO 2016, Revised Selected Papers",

}

Köppe, M & Zhou, Y 2016, Toward computer-assisted discovery and automated proofs of cutting plane theorems. in S Fujishige, RA Mahjoub & R Cerulli (eds), Combinatorial Optimization - 4th International Symposium, ISCO 2016, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9849 LNCS, pp. 332-344, 4th International Symposium on Combinatorial Optimization, ISCO 2016, Vietri sul Mare, Italy, 5/16/16. https://doi.org/10.1007/978-3-319-45587-7_29

Toward computer-assisted discovery and automated proofs of cutting plane theorems. / Köppe, Matthias; Zhou, Yuan.
Combinatorial Optimization - 4th International Symposium, ISCO 2016, Revised Selected Papers. ed. / Satoru Fujishige; Ridha A. Mahjoub; Raffaele Cerulli. 2016. p. 332-344 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9849 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Toward computer-assisted discovery and automated proofs of cutting plane theorems

AU - Köppe, Matthias

AU - Zhou, Yuan

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2016.

PY - 2016

Y1 - 2016

N2 - Using a metaprogramming technique and semialgebraic computations, we provide computer-based proofs for old and new cuttingplane theorems in Gomory-Johnson’s model of cut generating functions.

AB - Using a metaprogramming technique and semialgebraic computations, we provide computer-based proofs for old and new cuttingplane theorems in Gomory-Johnson’s model of cut generating functions.

UR - http://www.scopus.com/inward/record.url?scp=84988038719&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84988038719&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-45587-7_29

DO - 10.1007/978-3-319-45587-7_29

M3 - Conference contribution

AN - SCOPUS:84988038719

SN - 9783319455860

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 332

EP - 344

BT - Combinatorial Optimization - 4th International Symposium, ISCO 2016, Revised Selected Papers

A2 - Fujishige, Satoru

A2 - Mahjoub, Ridha A.

A2 - Cerulli, Raffaele

T2 - 4th International Symposium on Combinatorial Optimization, ISCO 2016

Y2 - 16 May 2016 through 18 May 2016

ER -

Köppe M, Zhou Y. Toward computer-assisted discovery and automated proofs of cutting plane theorems. In Fujishige S, Mahjoub RA, Cerulli R, editors, Combinatorial Optimization - 4th International Symposium, ISCO 2016, Revised Selected Papers. 2016. p. 332-344. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-45587-7_29

Toward computer-assisted discovery and automated proofs of cutting plane theorems

Abstract

Publication series

Conference

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this