A divide-and-conquer algorithm for computing Gröbner bases of syzygies in finite dimension

Simone Naldi, Vincent Neiger

Let $f_1,\dots ,f_m$ be elements in a quotient $R^n/N$ which has finite dimension as a $K$-vector space, where $R=K[X_1,\dots ,X_r]$ and $N$ is an $R$-submodule of $R^n$. We ad…