An Algorithm for the Reduction of Linear DAE.

M. P. Qur, Gilles Villard

Browse the full ISSAC paper archive.