同余式求解、平方剩余及原根指數(shù)的MIZAR實現(xiàn)研究
本文檔由 材料學(xué)論文 分享于2011-11-30 10:02
同余式求解、平方剩余及原根指數(shù)的MIZAR實現(xiàn)研究應(yīng)用數(shù)學(xué)（APPLIED MATHEMATICS）是應(yīng)用目的明確的數(shù)學(xué)理論和方法的總稱，研究如何應(yīng)用數(shù)學(xué)知識到其它范疇（尤其是科學(xué)）的數(shù)學(xué)分枝，可以說是純數(shù)學(xué)的相反。包括微分方程、向量分析、矩陣、傅里葉變換、復(fù)變分析、數(shù)值方法、概率論、數(shù)理統(tǒng)計、運(yùn)籌學(xué)、控制理論、組合數(shù)學(xué)、信息論等許多數(shù)學(xué)分支，也包括從各種應(yīng)用領(lǐng)域中提出的數(shù)學(xué)問題的研究。計算數(shù)學(xué)有時也可視為應(yīng)..