theorem proving

US 
UK 
  • un.定理证明
  • Web定理证明法；定理证明方法；定理机器证明

E-C

Web Definition

un.
1.
定理证明

Sample Sentence

Definition:
AllAll,定理证明定理证明,定理证明法定理证明法,定理证明方法定理证明方法,定理机器证明定理机器证明
Category:AllAll,OralOral,WrittenWritten,TitleTitle,TechnicalTechnical
Source:AllAll,DictionaryDictionary,WebWeb
Difficulty:AllAll,EasyEasy,MiddleMiddle,HardHard
1.
A member of the Herbrand base is called atom in automatic theorem proving .
在自动定理证明中，海尔勃朗基的成员也称为原子。
zài zì dòng dìng lǐ zhèng míng zhōng , hǎi ěr bó lǎng jī de chéng yuán yě chēng wéi yuán zǐ 。
www.bing.com
2.
First-order theorem proving is one of the most mature subfields of automated theorem proving.
一阶定理证明是最成熟的分支的自动定理证明。
yī jiē dìng lǐ zhèng míng shì zuì chéng shú de fēn zhī de zì dòng dìng lǐ zhèng míng 。
blog.sina.com.cn
3.
Commercial use of automated theorem proving is mostly concentrated in integrated circuit design and verification.
商业使用的自动定理证明主要集中在集成电路设计和验证。
shāng yè shǐ yòng de zì dòng dìng lǐ zhèng míng zhǔ yào jí zhōng zài jí chéng diàn lù shè jì hé yàn zhèng 。
blog.sina.com.cn
4.
There are hybrid theorem proving systems which use model checking as an inference rule.
有混合定理证明系统，使用模型检查的推理规则。
yǒu hùn hé dìng lǐ zhèng míng xì tǒng , shǐ yòng mó xíng jiǎn chá de tuī lǐ guī zé 。
blog.sina.com.cn
5.
The research in mechanical theorem proving has great significance in the theory and the practice.
定理机器证明的研究，在理论和实践上都具有重要的意义。
dìng lǐ jī qì zhèng míng de yán jiū , zài lǐ lùn hé shí jiàn shàng dōu jù yǒu zhòng yào de yì yì 。
www.dictall.com
6.
There is however a much larger disconnect between the world of theorem proving and dynamic languages.
然而在理论层面和动态语言实际应用之间还是存在一些差距的。
rán ér zài lǐ lùn céng miàn hé dòng tài yǔ yán shí jì yìng yòng zhī jiān hái shì cún zài yì xiē chā jù de 。
www.infoq.com
7.
Computing simplest subsidiary conditions in differential geometry theorem proving
微分几何定理证明中最简单辅助条件的计算
wēi fēn jǐ hé dìng lǐ zhèng míng zhōng zuì jiǎn dān fǔ zhù tiáo jiàn de jì suàn
ilib.cn
8.
Development and Verification of High Confidence Embedded Software by Combining Model Checking and Theorem Proving
模型检测与定理证明相结合开发并验证高可信嵌入式软件
mó xíng jiǎn cè yǔ dìng lǐ zhèng míng xiāng jié hé kāi fā bìng yàn zhèng gāo kě xìn qiàn rù shì ruǎn jiàn
www.ilib.cn
9.
catagenesis condition for approximate theorem - proving
近似定理证明中的退化条件
jìn sì dìng lǐ zhèng míng zhōng de tuì huà tiáo jiàn
www.ichacha.net
10.
Research on Parallel Algorithm of Numerical Verification for Geometry Theorem Proving
几何定理并行验证算法研究
jǐ hé dìng lǐ bìng xíng yàn zhèng suàn fǎ yán jiū
www.ilib.cn