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 |