同余式求解、平方剩余及原根指數(shù)的mizar實現(xiàn)研究
本文檔由 tiros008 分享于2014-08-24 23:43
同余式求解、平方剩余及原根指數(shù)的mizar實現(xiàn)研究,根指數(shù),根指數(shù)有什么用,同余方程,線性同余法,余數(shù)同余,同余定理,同余問題,線性同余,同余的性質
下載文檔
收藏