书目详细信息 : Error-free polynomial matrix computations