Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Computer-assisted_proof> ?p ?o. }
Showing items 1 to 33 of
33
with 100 items per page.
- Computer-assisted_proof abstract "A computer-assisted proof is a mathematical proof that has been at least partially generated by computer.Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem. In 1976, the four color theorem was the first major theorem to be verified using a computer program.Attempts have also been made in the area of artificial intelligence research to create smaller, explicit, new proofs of mathematical theorems from the bottom up using machine reasoning techniques such as heuristic search. Such automated theorem provers have proved a number of new results and found new proofs for known theorems. Additionally, interactive proof assistants allow mathematicians to develop human-readable proofs which are nonetheless formally verified for correctness. Since these proofs are generally human-surveyable (albeit with difficulty, as with the proof of the Robbins conjecture) they do not share the controversial implications of computer-aided proofs-by-exhaustion.".
- Computer-assisted_proof wikiPageExternalLink 1183548786.
- Computer-assisted_proof wikiPageExternalLink Why-did-AM-halt.html.
- Computer-assisted_proof wikiPageExternalLink 753384-28.stm.
- Computer-assisted_proof wikiPageID "2840305".
- Computer-assisted_proof wikiPageRevisionID "599892891".
- Computer-assisted_proof hasPhotoCollection Computer-assisted_proof.
- Computer-assisted_proof subject Category:Artificial_intelligence.
- Computer-assisted_proof subject Category:Automated_theorem_proving.
- Computer-assisted_proof subject Category:Formal_methods.
- Computer-assisted_proof subject Category:Philosophy_of_mathematics.
- Computer-assisted_proof type Ability105616246.
- Computer-assisted_proof type Abstraction100002137.
- Computer-assisted_proof type Cognition100023271.
- Computer-assisted_proof type FormalMethods.
- Computer-assisted_proof type Know-how105616786.
- Computer-assisted_proof type Method105660268.
- Computer-assisted_proof type PsychologicalFeature100023100.
- Computer-assisted_proof comment "A computer-assisted proof is a mathematical proof that has been at least partially generated by computer.Most computer-aided proofs to date have been implementations of large proofs-by-exhaustion of a mathematical theorem. The idea is to use a computer program to perform lengthy computations, and to provide a proof that the result of these computations implies the given theorem.".
- Computer-assisted_proof label "Computer-assisted proof".
- Computer-assisted_proof label "Maschinengestütztes Beweisen".
- Computer-assisted_proof label "Preuve assistée par ordinateur".
- Computer-assisted_proof label "Доказательные вычисления".
- Computer-assisted_proof label "電腦協助證明".
- Computer-assisted_proof sameAs Maschinengestütztes_Beweisen.
- Computer-assisted_proof sameAs Preuve_assistée_par_ordinateur.
- Computer-assisted_proof sameAs 컴퓨터를_이용한_증명.
- Computer-assisted_proof sameAs m.0863f9.
- Computer-assisted_proof sameAs Q1150675.
- Computer-assisted_proof sameAs Q1150675.
- Computer-assisted_proof sameAs Computer-assisted_proof.
- Computer-assisted_proof wasDerivedFrom Computer-assisted_proof?oldid=599892891.
- Computer-assisted_proof isPrimaryTopicOf Computer-assisted_proof.