| 释义 |
natural deduction theorem proving
- 减除jiǎn chú
deduction
- 试验场shì yàn chǎng
proving ground
- 亥姆霍兹定理hài mǔ huò zī dìng lǐ
helmholtz theorem
- 扣除项目kòu chú xiàng mù
deduction; deduction items
- 证明合适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
- 自然界的zì rán jiè de
natural
- 自然数的zì rán shù de
natural
- 减除额jiǎn chú é
deduction
- 扣减kòu jiǎn
deduction; abatement
- 定理dìng lǐ
theorem
- 费马最后定理fèi mǎ zuì hòu dìng lǐ
Fermat's last theorem
- 禀性bǐng xìng
natural disposition; natural instincts
- 雍容yōng róng
natural, graceful and poised
- 探明tàn míng
prove up
- 验方yàn fāng
proved recipe
|