-
![]()
56
-
函数的微分、偏微分及梯度、散度、旋度在Mizar语言下的实现.doc
- 函数的微分、偏微分及梯度、散度、旋度在Mizar语言下的实现,梯度 散度 旋度,旋度 散度,散度和旋度,旋度的散度为零,旋度场的散度为零,散度与旋度,旋度与散度的关系,散度旋度物理意义,梯度 散度,散度和梯度
-
-
![]()
41
-
关于反对称反循环矩阵的几个性质及循环矩阵在mizar系统中的实现.pdf
- 关于反对称反循环矩阵的几个性质及循环矩阵在mizar系统中的实现
-
-
![]()
68
-
mizar语言系统与四元数的代数结构.pdf
- mizar语言系统与四元数的代数结构
-
-
![]()
76
-
基于mizar的特殊函数积分及简化剩余系的研究.pdf
- 基于mizar的特殊函数积分及简化剩余系的研究
-
-
![]()
39
-
广义循环矩阵的性质及循环矩阵在mizar系统中的实现.pdf
- 广义循环矩阵的性质及循环矩阵在mizar系统中的实现
-
-
![]()
77
-
Sorting Operators for Finite Sequences - Mizar.pdf
- Sorting Operators for Finite Sequences - Mizar
-
-
![]()
140
-
布尔代数的广义Fuzzy子代数及其在Mizar系统中的实现.pdf
- 布尔代数的广义Fuzzy子代数及其在Mizar系统中的实现
-
-
![]()
76
-
verification of sequencel programs using mizar.pdf
- verification of sequencel programs using mizar
-
-
![]()
50
-
Miesser Genealogy (Meiser, Miser, Mizar, Mizer, Myser).ppt
- Miesser Genealogy (Meiser, Miser, Mizar, Mizer, Myser)
-
向豆丁求助：有没有mizar?
