| 释义 |
automatic theorem proving research
- 市场调查shì chǎng diào chá
market research
- 试验场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
- 自动的机器zì dòng de jī qì
automatic
- 运筹学yùn chóu xué
operational research
- 毕氏定理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
- 自动驾驶zì dòng jià shǐ
automatic drive, automatic transmission
- 验证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
- 研究助理yán jiū zhù lǐ
research assistant; research associate
- 定理dìng lǐ
theorem
- 费马最后定理fèi mǎ zuì hòu dìng lǐ
Fermat's last theorem
- 描述性研究miáo shù xìng yán jiū
descriptive research; descriptive studies
- 探明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
- 法则fǎ zé
principle, theorem
|