| 释义 |
production system for theorem proving
- 试验场shì yàn chǎng
proving ground
- 亥姆霍兹定理hài mǔ huò zī dìng lǐ
helmholtz theorem
- 证明合适zhèng míng hé shì
prove out
- 证明是zhèng míng shì
prove; turn up
- 毕氏定理bì shì dìng lǐ
Pythagorean theorem
- 费马定理fèi mǎ dìng lǐ
fermat theorem
- 瑞利定理ruì lì dìng lǐ
Rayleigh theorem
- 二项式定理èr xiàng shì dìng lǐ
binomial theorem
- 介值定理jiè zhí dìng lǐ
intermediate value theorem
- 刘维定理liú wéi dìng lǐ
Liouville's theorem
- 验证yàn zhèng
test and verify; checking; proving; confirmation; corroboration
- 毕达哥拉斯定理bì dá gē lā sī dìng lǐ
pythagoras theorem
- 平均值定理píng jun1 zhí dìng lǐ
theorem of the mean
- 大规模生产dà guī mó shēng chǎn
mass production
- 定理dìng lǐ
theorem
- 费马最后定理fèi mǎ zuì hòu dìng lǐ
Fermat's last theorem
- 宗法zōng fǎ
patriarchal clan system
- 批量生产pī liàng shēng chǎn
quantity production; volume production
- 探明tàn míng
prove up
- 验方yàn fāng
proved recipe
- 傅里叶积分公式fù lǐ yè jī fèn gōng shì
integral theorem of fourier
- 制度zhì dù
system
- 侯氏制碱法hóu shì zhì jiǎn fǎ
Hou's process for soda production
- 法则fǎ zé
principle, theorem
- 产量下降chǎn liàng xià jiàng
decline of production; production drawdown
|