Research of mathematical foundation for modulo reduction algorithms

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