TY - RPRT TI - Generalised Buchberger and Schreyer algorithms for strongly discrete coherent rings AU - Stefan Neuwirth AU - Henri Lombardi AU - Ihsen Yengui PY - 2024 UR - https://arxiv.org/abs/2411.16460 ID - 2411.16460 ER -