theorem

theorem machine prove

[计] 定理机器证明

theorem of angular momentum

[化] 角动量定理

theorem of impulse

[化] 冲量定理

theorem of kinetic energy

[化] 动能定理

theorem of momentum

[化] 动量定理

theorem of regular set

[计] 正则集定理

theorem proving

[计] 定理证明

theorematic

a. 定理的

theorematical

a. theorem的变形

theorematist

n. 定理；原理 (theorem的变形)

theoremproving

[计] 定理证明

theoremproving machine

[计] 定理证明机

theoremproving system

[计] 定理证明系统

theorems

n. （尤指数学）定理( theorem的复数形式 ); 命题; 原理; 原则