Theory and Algorithms for Bivariate Polynomial Matrix Factorizations
摘要
Based on the primitive factorization theorem, this paper presents an improved algorithm for computing free bases of syzygy modules of bivariate polynomial matrices, which additionally enables efficient computation of