首页 / 词典 / good

mizar

  • 网络开阳;武曲
mizarmizar
  1. Vector function is presented and its properties are discussed through the Mizar language system .

    利用Mizar语言系统实现了向量函数的表示,讨论其若干性质。

  2. The Special Function Difference , Difference Quotient , Integral and Orthogonal , Norm Function in Mizar

    特殊函数差分差商积分及函数正交性与函数范数的Mizar实现研究

  3. Exploitation and Application of Mizar Language

    Mizar语言的开发与应用

  4. Mixed Operation of Quaternion , Special Function Differentiation and Application of Rolle 's Theorem in Mizar

    四元数混合运算及特殊函数的微分公式和洛尔定理应用的Mizar实现

  5. The Function Differential , Partial Differentiation , Grads , Divergence , and Curl in Mizar

    函数的微分、偏微分及梯度、散度、旋度在Mizar语言下的实现

  6. My soul is downcast within me ; therefore I will remember you from the land of the Jordan , the heights of Hermon-from Mount Mizar .

    所以我从约但地,从黑门岭,从米萨山,记念你。

  7. 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多万条数学定理,几乎涵盖了数学科学的各个分支。

  8. 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 .

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