| 释义 |
theorem proving for robot problem solving
- 妥善解决tuǒ shàn jiě jué
solving problems properly; adequate solution
- 解决问题jiě jué wèn tí
solve the problem; settle a matter; figure out
- 问题解决wèn tí jiě jué
problem solving; trouble shooting
- 攻关计划gōng guān jì huá
the Program for Tackling Key Problems
- 试验场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
- 迎刃而解yíng rèn ér jiě
be readily solved
- 毕氏定理bì shì dìng lǐ
Pythagorean theorem
- 费马定理fèi mǎ dìng lǐ
fermat theorem
- 瑞利定理ruì lì dìng lǐ
Rayleigh theorem
- 包管bāo guǎn
assure, no problem
- 攻关gōng guān
tackle key problem
- 二项式定理è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
- 求解qiú jiě
solve
- 机械人jī xiè rén
robot
- 验证yàn zhèng
test and verify; checking; proving; confirmation; corroboration
- 课题kè tí
problem; task; a question for discussion; issue
- 毕达哥拉斯定理bì dá gē lā sī dìng lǐ
pythagoras theorem
- 平均值定理píng jun1 zhí dìng lǐ
theorem of the mean
- 定理dìng lǐ
theorem
- 了却le què
settle; solve
|