Math.NumberTheory.Moduli.Chinese
chineseRemainder
chineseRemainder2