Automated theorem prover的解释和发音「欧路词典」英汉-汉英词典为您提供权威的英语单词解释_真人发音_用法

Automated theorem prover

亥姆霍兹定理hài mǔ huò zī dìng lǐ helmholtz theorem
毕氏定理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
毕达哥拉斯定理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
费马最后定理fèi mǎ zuì hòu dìng lǐ Fermat's last theorem
傅里叶积分公式fù lǐ yè jī fèn gōng shì integral theorem of fourier
法则fǎ zé principle, theorem
纳斯达克nà sī dá kè NASDAQ(National Association of Securities Deal Automated Quotations)
匹配定理pǐ pèi dìng lǐ matching theorems
冲量定理chōng liàng dìng lǐ theorem of impulse
弗洛凯定理fú luò kǎi dìng lǐ Floquet theorem
刘维尔定理liú wéi ěr dìng lǐ Liouville theorem
脯历经定理pú lì jīng dìng lǐ ergodic theorem
唯一性定理wéi yī xìng dìng lǐ uniqueness theorem
黎兹表示定理lí zī biǎo shì dìng lǐ riesz representation theorem

3G, 401(K), a,