定理

polynomial theorem

多项式定理

polynomial solution 多项式解 | polynomial theorem 多项式定理 | polynomial trend 多项式瞧

polynomial theorem

多項定理

polymerized filter 重合フィルタ | polynomial theorem 多項定理 | polyphase 多相

prime ideal theorem

素理想定理

prime ideal 素理想 | prime ideal theorem 素理想定理 | prime number 素数

principal ideal theorem

猪想定理

principal ideal theorem 猪想定理 | principal isobaric surfaces 标准等压面 | principal map 殖射

principal ideal theorem

主理想定理

principal ideal ring 主理想环 | principal ideal theorem 主理想定理 | principal idempotent 主幂等元

projective theorem

射影定理

projective tensor 射影张量 | projective theorem 射影定理 | projective transformation 射影变换

theorem proving

定理证明

所采用的主要是定理证明(theorem proving)技术. 80年代初,最大的进展是Pnueli将时态逻辑引入到反应式程序的验证中. 1981年,Clarke等提出了模型检验(Model Checking)方法,实现了对于并发系统的自动验证问题. 然而,

theorem proving

定理证实

纹理 texture | 定理证实 theorem proving | 治疗模型 therapy model

pythagoras theorem

毕达哥拉斯定理

直角三角形如果直角三角形两直角边分别为a、b,斜边为c,那么a2+b2=c2.即直角三角形两直角边的平方和等于斜边的平方.勾股定理在西方文献中又称为毕达哥拉斯定理(pythagoras theorem)

pythagoras theorem

畢氏定理

跟据毕氏定理(Pythagoras theOrEm)和我的见解,原来每样事情其实都好简单,只不过是自己老是把它复杂化,钻牛角尖,庸人自扰.其实只要认清楚自己的目标,凡事总会变得更近.

Senior Chief made the swim to the Aleutian Islands：军士长游泳去了阿留申群岛

Some people actually believe|有些人真的相信 | Senior Chief made the swim to the Aleutian Islands.|军士长游泳去了阿留申群岛 | He's standing on a distant beach somewhere|此时他正在某个遥远的海滩

plebeianism：庶民风格

plebeian 平民 | plebeianism 庶民风格 | plebiscitary 平民表决法令的