Ph D thesis quot Algorithms Computing Grobner Bases and Syzygies quot PDF A computational introduction to Grobner Basis Theory and its applications polynomials Laurent polynomials syzygies inverse FIR filter and unimodular matrix completion