“…For the fundamental task of computing Gröbner bases, a modular version of Buchberger's algorithm is due to Arnold [1]. More recently, Boku, Fieker, Steenpaß and the second author [18] have designed a modular Gröbner bases algorithm which is specific to number fields. In addition to using the approach from Arnold's paper, which is to compute Gröbner bases modulo several primes and then use Chinese remaindering together with rational reconstruction, the new approach provides a second level of parallelization as depicted in Figure 3: If the number field is presented as…”