An Algorithm for Diagonalizing Matrices of Formal Power Series.

Zihao Dai, Hao Liang, Jingyu Lu, Lihong Zhi

Browse the full ISSAC paper archive.