ELA, Volume 16, pp. 334-346, October 2007, abstract.

Combinatorial Properties of Fourier-Motzkin Elimination

Geir Dahl

Fourier-Motzkin elimination is a classical method for 
solving linear inequalities in which one variable is 
eliminated in each iteration. This method is considered 
here as a matrix operation and properties of this operation 
are established. In particular, the focus is on situations 
where this matrix operation preserves combinatorial matrices 
(defined here as (0,1,-1)-matrices).