TY - RPRT TI - Gröbner bases and final polynomials AU - Peter Lundgaard AU - Andreas Bøgh Poulsen PY - 2024 UR - https://arxiv.org/abs/2405.16217 ID - 2405.16217 ER -