Preferred language:

This is the default search language used by BabelNet
Select the main languages you wish to use in BabelNet:
Selected languages will be available in the dropdown menus and in BabelNet entries
Select all

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z

all preferred languages
    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10

  المبرهن نظرية الآلي · خصم الآلي From automatic translation

 Automated theorem proving is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Wikipedia

    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10     •     Categories: 全部小作品, 数学软件

  定理机器证明 · 自动化定理证明 · 自动定理证明 · 机器证明

自动化定理证明(Automated theorem proving,简称ATP)目前是自动推理(Automated reasoning,简称AR)体系中发展最好的部分,它的目的是为使用电子计算机程序来进行数学定理的证明。 Wikipedia

HAS INSTANCE
    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10     •     Categories: Automated theorem proving, Formal methods

  automated theorem proving · automated deduction · automated theorem prover · theorem prover · Applications of automated theorem proving

Automated theorem proving is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Wikipedia

More definitions


The proving of mathematical theorems by a computer program Wikipedia (disambiguation)
Subfield of automated reasoning dealing with proving theorems by computer programs Wikidata
The proving of mathematical theorems by a computer program. OmegaWiki

    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10     •     Categories: Article contenant un appel à traduction en anglais, Méthode de démonstration, Technologies/Articles liés, Théorie de la démonstration

  démonstration automatique de théorèmes · démonstration automatique · Demonstration automatique de theoremes · Démonstrateur automatique de théorèmes

La démonstration automatique de théorèmes est l'activité d'un logiciel qui démontre une proposition qu'on lui soumet, sans l'aide de l'utilisateur. Wikipedia

    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10

  theorem-proving From automatic translation

 Automated theorem proving is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Wikipedia

HAS INSTANCE
    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10

  αυτοματοποιημένη αφαίρεση · αυτοματοποιημένο θεωρημάτων · αυτόματη αφαίρεση From automatic translation

 Automated theorem proving is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Wikipedia

    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10

  prover משפט אוטומטי · ניכוי אוטומטי From automatic translation

 Automated theorem proving is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Wikipedia

    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10

  प्रमेय सिद्ध · स्वचालित कटौती है · स्वचालित प्रमेय prover From automatic translation

 Automated theorem proving is a subfield of automated reasoning and mathematical logic dealing with proving mathematical theorems by computer programs. Wikipedia

    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10     •     Categories: Intelligenza artificiale

  Dimostrazione automatica di teoremi · Automated theorem proving · Dimostratore automatico dei teoremi

La dimostrazione automatica di teoremi o deduzione automatica, è il sottocampo più sviluppato del ragionamento automatico. Wikipedia

    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10     •     Categories: 形式手法, 数学に関する記事, 自動定理証明, 計算機科学...

  自動定理証明 · 定理自動証明 · 定理証明系 · 数学証明論 · 証明系

自動定理証明(英: automated theorem proving, ATP)とは、自動推論 の中でも最も成功している分野であり、コンピュータプログラムによって数学的定理に対する証明を発見すること。 Wikipedia

HAS INSTANCE
    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10     •     Categories: Формальные методы, Экспертные системы

  Автоматическое доказательство · Автоматизированное доказательство · Автоматические рассуждения · Автоматические умозаключения · Автоматический вывод

Автоматическое доказательство Wikipedia

    •     bn:01893665n     •     NOUN     •     Concept    •     Updated on 2019/11/10     •     Categories: Aprendizaje automático, Artículos con identificadores LCCN, Demostradores de teoremas, Métodos formales

  demostración automática de teoremas · deducción automatizada · Deduccion automatizada · Demostracion automatica · Demostracion automatica de teoremas

La demostración automática de teoremas que también puede ser denominada Deducción automatizada, es actualmente el subcampo más desarrollado del razonamiento automático, y se encarga de la demostración de teoremas matemáticos mediante programas de ordenador. Wikipedia

More definitions


Demostración de teoremas matemáticos por un programa informático. OmegaWiki


 

Translations

المبرهن نظرية الآلي, خصم الآلي
定理机器证明, 自动化定理证明, 自动定理证明, 机器证明, 自 动 定 理 证 明, 自 动 扣 除 。
automated theorem proving, automated deduction, automated theorem prover, theorem prover, applications of automated theorem proving, automated proof, Automated prover, Automated theorem provers, Automatic proof system, Automatic theorem prover, Automatic theorem proving, Automating theorem proving, Comparison of automated theorem provers, First-order theorem provers, Formalized theorem proving, history of automated theorem proving, List of automated theorem provers, Proof assistent, proof automation, Theorem-prover, Theorem-proving system, Theorem-proving systems, Theorem proving
démonstration automatique de théorèmes, démonstration automatique, Demonstration automatique de theoremes, Démonstrateur automatique de théorèmes, déduction automatique, démonstration de théorèmes, démonstration de théorèmes automatisé
theorem-proving
αυτοματοποιημένη αφαίρεση, αυτοματοποιημένο θεωρημάτων, αυτόματη αφαίρεση
prover משפט אוטומטי, ניכוי אוטומטי
प्रमेय सिद्ध, स्वचालित कटौती है, स्वचालित प्रमेय prover
dimostrazione automatica di teoremi, automated theorem proving, Dimostratore automatico dei teoremi, deduzione automatica, prover teorema automatizzato, proving teorema
自動定理証明, 定理自動証明, 定理証明系, 数学証明論, 証明系, 定 理 証 明 、, 自 動 定 理 証 明
автоматическое доказательство, автоматизированное доказательство, автоматические рассуждения, автоматические умозаключения, автоматический вывод, автоматическое доказательство теорем, автоматическое рассуждение, автоматическое умозаключение, автоматизированной дедукции
demostración automática de teoremas, deducción automatizada, Deduccion automatizada, Demostracion automatica, Demostracion automatica de teoremas, Demostracion automática, Demostracion automática de teoremas, Demostración automatica, Demostración automatica de teoremas, Demostración automática, deducción automática, demostrador de teoremas automatizado

Sources

Wikipedia redirections

Translations from Wikipedia sentences

المبرهن نظرية الآلي, خصم الآلي
自 动 定 理 证 明, 自 动 扣 除 。
déduction automatique, démonstration de théorèmes, démonstration de théorèmes automatisé
theorem-proving
αυτοματοποιημένη αφαίρεση, αυτοματοποιημένο θεωρημάτων, αυτόματη αφαίρεση
prover משפט אוטומטי, ניכוי אוטומטי
प्रमेय सिद्ध, स्वचालित कटौती है, स्वचालित प्रमेय prover
deduzione automatica, prover teorema automatizzato, proving teorema
定 理 証 明 、, 自 動 定 理 証 明
автоматизированной дедукции
deducción automática, demostrador de teoremas automatizado
1 source | 2 senses
4 sources | 8 senses
4 sources | 27 senses
5 sources | 10 senses
1 source | 1 sense
1 source | 3 senses
1 source | 2 senses
1 source | 3 senses
4 sources | 7 senses
4 sources | 8 senses
4 sources | 10 senses
5 sources | 15 senses

Compounds

BabelNet

automatic theorem prover, automated theorem prover
Demostración automática de teoremas

Other forms

BabelNet

theorem prover, theorem provers, TPTP
定理証明, 定理の自動証明
доказательство теорем, автоматического доказательства, автоматического доказательства теорем
demostradores de teoremas