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 .

我的神阿，我的心在我里面忧闷。所以我从约旦地，从黑门岭，从米萨山，记念你。