Pencarian berdasarkan :
Pencarian terakhir:
We generalize an efficient hyper-regularity and unimodularity test from differential Ore polynomial matrices to arbitrary Ore polynomial matrices. The core of the contribution consists of algorithm…