模归约算法的数学基础研究

• Research of mathematical foundation for modulo reduction algorithms