mizar
- 网络开阳;武曲
-
Vector function is presented and its properties are discussed through the Mizar language system .
利用Mizar语言系统实现了向量函数的表示,讨论其若干性质。
-
The Special Function Difference , Difference Quotient , Integral and Orthogonal , Norm Function in Mizar
特殊函数差分差商积分及函数正交性与函数范数的Mizar实现研究
-
Exploitation and Application of Mizar Language
Mizar语言的开发与应用
-
Mixed Operation of Quaternion , Special Function Differentiation and Application of Rolle 's Theorem in Mizar
四元数混合运算及特殊函数的微分公式和洛尔定理应用的Mizar实现
-
The Function Differential , Partial Differentiation , Grads , Divergence , and Curl in Mizar
函数的微分、偏微分及梯度、散度、旋度在Mizar语言下的实现
-
My soul is downcast within me ; therefore I will remember you from the land of the Jordan , the heights of Hermon-from Mount Mizar .
所以我从约但地,从黑门岭,从米萨山,记念你。
-
Mizar has a Mizar Mathematical Library containning 1126 articles , more than 2 million math concepts , and more than 40 million theorem , almost covering all branches of mathematics .
Mizar系统拥有世界上最大的数学数据库(MML),其中已经收录1126篇文章,2万多个数学概念,40多万条数学定理,几乎涵盖了数学科学的各个分支。
-
O my God , my soul is cast down within me : therefore will I remember thee from the land of Jordan , and of the Hermonites , from the hill Mizar .
我的神阿,我的心在我里面忧闷。所以我从约旦地,从黑门岭,从米萨山,记念你。