河西学院学报
河西學院學報
하서학원학보
JOURNAL OF HEXI UNIVERSITY
2013年
5期
36-40
,共5页
Euler函数%Mizar%算术基本定理
Euler函數%Mizar%算術基本定理
Euler함수%Mizar%산술기본정리
在计算机上利用有限序列的理论性质给出了Euler函数在Mizar系统下的定义,给出了与Euler函数有关的一些定理和性质的证明,并实现了算术基本定理在Mizar系统下的实现.
在計算機上利用有限序列的理論性質給齣瞭Euler函數在Mizar繫統下的定義,給齣瞭與Euler函數有關的一些定理和性質的證明,併實現瞭算術基本定理在Mizar繫統下的實現.
재계산궤상이용유한서렬적이론성질급출료Euler함수재Mizar계통하적정의,급출료여Euler함수유관적일사정리화성질적증명,병실현료산술기본정리재Mizar계통하적실현.
