Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q1150675> ?p ?o }
Showing triples 1 to 55 of
55
with 100 triples per page.
- Q1150675 subject Q558331.
- Q1150675 subject Q8279957.
- Q1150675 subject Q8466124.
- Q1150675 subject Q8761533.
- Q1150675 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.".
- Q1150675 wikiPageExternalLink 1183548786.
- Q1150675 wikiPageExternalLink Why-did-AM-halt.html.
- Q1150675 wikiPageExternalLink 753384-28.stm.
- Q1150675 wikiPageWikiLink Q1033772.
- Q1150675 wikiPageWikiLink Q1137554.
- Q1150675 wikiPageWikiLink Q11387554.
- Q1150675 wikiPageWikiLink Q11538.
- Q1150675 wikiPageWikiLink Q11660.
- Q1150675 wikiPageWikiLink Q1475760.
- Q1150675 wikiPageWikiLink Q1569697.
- Q1150675 wikiPageWikiLink Q160302.
- Q1150675 wikiPageWikiLink Q1671453.
- Q1150675 wikiPageWikiLink Q17254.
- Q1150675 wikiPageWikiLink Q173326.
- Q1150675 wikiPageWikiLink Q175515.
- Q1150675 wikiPageWikiLink Q180536.
- Q1150675 wikiPageWikiLink Q18362.
- Q1150675 wikiPageWikiLink Q184410.
- Q1150675 wikiPageWikiLink Q1960493.
- Q1150675 wikiPageWikiLink Q1981968.
- Q1150675 wikiPageWikiLink Q2248521.
- Q1150675 wikiPageWikiLink Q22907339.
- Q1150675 wikiPageWikiLink Q2519677.
- Q1150675 wikiPageWikiLink Q2555318.
- Q1150675 wikiPageWikiLink Q2664496.
- Q1150675 wikiPageWikiLink Q354659.
- Q1150675 wikiPageWikiLink Q3990732.
- Q1150675 wikiPageWikiLink Q40056.
- Q1150675 wikiPageWikiLink Q431667.
- Q1150675 wikiPageWikiLink Q44914.
- Q1150675 wikiPageWikiLink Q46857.
- Q1150675 wikiPageWikiLink Q4826475.
- Q1150675 wikiPageWikiLink Q5420020.
- Q1150675 wikiPageWikiLink Q558331.
- Q1150675 wikiPageWikiLink Q65943.
- Q1150675 wikiPageWikiLink Q68.
- Q1150675 wikiPageWikiLink Q6822975.
- Q1150675 wikiPageWikiLink Q6865406.
- Q1150675 wikiPageWikiLink Q7098949.
- Q1150675 wikiPageWikiLink Q7341067.
- Q1150675 wikiPageWikiLink Q818574.
- Q1150675 wikiPageWikiLink Q8279957.
- Q1150675 wikiPageWikiLink Q8466124.
- Q1150675 wikiPageWikiLink Q8761533.
- Q1150675 wikiPageWikiLink Q899844.
- Q1150675 wikiPageWikiLink Q923592.
- Q1150675 wikiPageWikiLink Q9299950.
- Q1150675 wikiPageWikiLink Q966873.
- Q1150675 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.".
- Q1150675 label "Computer-assisted proof".