First Page | Document Content | |
---|---|---|
Date: 2018-02-08 07:01:31Algebra Mathematics Convex geometry Linear algebra Convex analysis Convex cone Abstract interpretation Octahedron Polyhedron Linear programming Linear inequality Convex set | Counterexample-guided Refinement of Template Polyhedra Sergiy Bogomolov12, Goran Frehse3, Mirco Giacobbe2, and Thomas A. Henzinger2 1 3Add to Reading ListSource URL: repository.ist.ac.atDownload Document from Source WebsiteFile Size: 550,07 KBShare Document on Facebook |
Hausdorff School: Economics and Tropical Geometry Bonn, May 9-13, 2016 Discrete Convex Analysis III: Algorithms for Discrete Convex Functions Kazuo MurotaDocID: 1v6lO - View Document | |
Hausdorff School: Economics and Tropical Geometry Bonn, May 9-13, 2016 Discrete Convex Analysis I: Concepts of Discrete Convex Functions Kazuo MurotaDocID: 1uq8J - View Document | |
Hausdorff School: Economics and Tropical Geometry Bonn, May 9-13, 2016 Discrete Convex Analysis II: Properties of Discrete Convex Functions Kazuo MurotaDocID: 1uci8 - View Document | |
Simplot_FinalLogo_FullColorDocID: 1rprR - View Document | |
75 Documenta Math. Who Solved the Hirsch Conjecture? ¨ nter M. ZieglerDocID: 1rnGl - View Document |