Maschinengest%C3%BCtztes_BeweisenComputer-assisted_proofPrueba_asistida_por_ordenadorPreuve_assist%C3%A9e_par_ordinateur%E8%A8%88%E7%AE%97%E6%A9%9F%E6%8F%B4%E7%94%A8%E8%A8%BC%E6%98%8E%EC%BB%B4%ED%93%A8%ED%84%B0%EB%A5%BC_%EC%9D%B4%EC%9A%A9%ED%95%9C_%EC%A6%9D%EB%AA%85%D0%9A%D0%BE%D0%BC%D0%BF%D1%98%D1%83%D1%82%D0%B5%D1%80%D1%81%D0%BA%D0%B8_%D0%B0%D1%81%D0%B8%D1%81%D1%82%D0%B8%D1%80%D0%B0%D0%BD_%D0%B4%D0%BE%D0%BA%D0%B0%D0%B7%D0%94%D0%BE%D0%BA%D0%B0%D0%B7%D0%B0%D1%82%D0%B5%D0%BB%D1%8C%D0%BD%D1%8B%D0%B5_%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8FQ1150675%E9%9B%BB%E8%85%A6%E5%8D%94%E5%8A%A9%E8%AD%89%E6%98%8E
about
P101
P800
description
Demostración matemática generada al menos parcialmente mediante un ordenador
@es
Mathematical proof at least partially generated by computer
@en
Unterstützung mathematischer Beweise durch Computer
@de
コンピュータによって少なくとも一部が生成された数学的証明
@ja
name
Maschinengestütztes Beweisen
@de
Prueba asistida por ordenador
@es
computer-assisted proof
@en
preuve assistée par ordinateur
@fr
prova assistida por computador
@pt
prova assistida por computador
@pt-br
Доказательные вычисления
@ru
Компјутерски асистиран доказ
@mk
הוכחה בעזרת מחשב
@he
电脑协助证明
@zh-hans
type
label
Maschinengestütztes Beweisen
@de
Prueba asistida por ordenador
@es
computer-assisted proof
@en
preuve assistée par ordinateur
@fr
prova assistida por computador
@pt
prova assistida por computador
@pt-br
Доказательные вычисления
@ru
Компјутерски асистиран доказ
@mk
הוכחה בעזרת מחשב
@he
电脑协助证明
@zh-hans
altLabel
Beweis-Assistent
@de
Beweisassistent
@de
Computerbeweis
@de
Demostración asistida por computador
@es
Demostración asistida por ordenador
@es
Démonstrateur interactif de théorèmes
@fr
Preuve interactive
@fr
Prueba asistida por computador
@es
Theorembeweis
@de
Theorembeweisen
@de
prefLabel
Maschinengestütztes Beweisen
@de
Prueba asistida por ordenador
@es
computer-assisted proof
@en
preuve assistée par ordinateur
@fr
prova assistida por computador
@pt
prova assistida por computador
@pt-br
Доказательные вычисления
@ru
Компјутерски асистиран доказ
@mk
הוכחה בעזרת מחשב
@he
电脑协助证明
@zh-hans