Compute generators of ker(M) for a matrix M over R=K[x1,…,xn] via syzygies of a Gröbner basis (Algorithm Kernel)

Original label: Compute generators of ker(M) for a matrix M over R=K[x1,…,xn] via syzygies of a Gröbner basis (Algorithm Kernel)