Cartesian Factoring of Polyhedra in Linear Relation Analysis. - Nicolas Halbwachs; David Merchat; Catherine Parent-Vigouroux (SAS, 2003)

Réduction du nombre de variables en analyse de relations linéaires. - David Merchat (2005)

Some ways to reduce the space dimension in polyhedra computations. - Nicolas Halbwachs; David Merchat; Laure Gonnord (Formal Methods Syst. Des., 2006)