Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:02208755n
Noun Concept
FR
preuve assistée par ordinateur  Démonstrateur interactif de théorèmes  Preuve interactive
EN
A computer-assisted proof is a mathematical proof that has been at least partially generated by computer. Wikipedia
Relations
Sources
IS A
démonstration
EN
non-surveyable proof
HAS INSTANCE
théorème des quatre couleurs
Wikidata
FR
preuve assistée par ordinateur
Wikidata Alias
FR
Démonstrateur interactif de théorèmes, Preuve interactive
Wikipedia Translations
FR
preuve assistée par ordinateur

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License