Generalized Halfspaces in the Mixed-Integer Realm
Scowcroft, Philip
Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, p. 43-51 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In the ordered Abelian group of reals with the integers as a distinguished subgroup, the projection of a finite intersection of generalized halfspaces is a finite intersection of generalized halfspaces. The result is uniform in the integer coefficients and moduli of the initial generalized halfspaces.
Publié le : 2009-01-15
Classification:  mixed-integer quantifier elimination,  generalized halfspace,  projection,  03C64,  15A39,  90C11 
@article{1232375161,
     author = {Scowcroft, Philip},
     title = {Generalized Halfspaces in the Mixed-Integer Realm},
     journal = {Notre Dame J. Formal Logic},
     volume = {50},
     number = {1},
     year = {2009},
     pages = { 43-51},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1232375161}
}

Scowcroft, Philip. Generalized Halfspaces in the Mixed-Integer Realm. Notre Dame J. Formal Logic, Tome 50 (2009) no. 1, pp.  43-51. http://gdmltest.u-ga.fr/item/1232375161/