Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Computer-assisted_proof> ?p ?o }
- 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 wikiPageLength "8242".
- Computer-assisted_proof wikiPageOutDegree "53".
- Computer-assisted_proof wikiPageRevisionID "657268339".
- Computer-assisted_proof wikiPageWikiLink Artificial_intelligence.
- Computer-assisted_proof wikiPageWikiLink Automated_proof_checking.
- Computer-assisted_proof wikiPageWikiLink Automated_reasoning.
- Computer-assisted_proof wikiPageWikiLink Automated_theorem_prover.
- Computer-assisted_proof wikiPageWikiLink Automated_theorem_proving.
- Computer-assisted_proof wikiPageWikiLink Category:Artificial_intelligence.
- Computer-assisted_proof wikiPageWikiLink Category:Automated_theorem_proving.
- Computer-assisted_proof wikiPageWikiLink Category:Formal_methods.
- Computer-assisted_proof wikiPageWikiLink Category:Philosophy_of_mathematics.
- Computer-assisted_proof wikiPageWikiLink Computer.
- Computer-assisted_proof wikiPageWikiLink Computer_program.
- Computer-assisted_proof wikiPageWikiLink Connect_Four.
- Computer-assisted_proof wikiPageWikiLink Exercise_(mathematics).
- Computer-assisted_proof wikiPageWikiLink Experimental_mathematics.
- Computer-assisted_proof wikiPageWikiLink Formal_verification.
- Computer-assisted_proof wikiPageWikiLink Four_color_theorem.
- Computer-assisted_proof wikiPageWikiLink Happy_Ending_problem.
- Computer-assisted_proof wikiPageWikiLink Happy_ending_problem.
- Computer-assisted_proof wikiPageWikiLink Heuristic_(computer_science).
- Computer-assisted_proof wikiPageWikiLink Interval_arithmetic.
- Computer-assisted_proof wikiPageWikiLink Kepler_conjecture.
- Computer-assisted_proof wikiPageWikiLink Lorenz_attractor.
- Computer-assisted_proof wikiPageWikiLink Lorenz_system.
- Computer-assisted_proof wikiPageWikiLink Machine_reasoning.
- Computer-assisted_proof wikiPageWikiLink Mathematical_Platonism.
- Computer-assisted_proof wikiPageWikiLink Mathematical_beauty.
- Computer-assisted_proof wikiPageWikiLink Mathematical_elegance.
- Computer-assisted_proof wikiPageWikiLink Mathematical_proof.
- Computer-assisted_proof wikiPageWikiLink Metamath.
- Computer-assisted_proof wikiPageWikiLink Minimum-weight_triangulation.
- Computer-assisted_proof wikiPageWikiLink Mitchell_Feigenbaum.
- Computer-assisted_proof wikiPageWikiLink Model_checking.
- Computer-assisted_proof wikiPageWikiLink NP-hard.
- Computer-assisted_proof wikiPageWikiLink NP-hardness.
- Computer-assisted_proof wikiPageWikiLink Observational_study.
- Computer-assisted_proof wikiPageWikiLink Optimal_solutions_for_Rubiks_Cube.
- Computer-assisted_proof wikiPageWikiLink Philosophy_of_mathematics.
- Computer-assisted_proof wikiPageWikiLink Projective_plane.
- Computer-assisted_proof wikiPageWikiLink Proof_assistant.
- Computer-assisted_proof wikiPageWikiLink Proof_by_exhaustion.
- Computer-assisted_proof wikiPageWikiLink Proof_checking.
- Computer-assisted_proof wikiPageWikiLink Quasi-empiricism_in_mathematics.
- Computer-assisted_proof wikiPageWikiLink Rigorous_numerics.
- Computer-assisted_proof wikiPageWikiLink Robbins_algebra.
- Computer-assisted_proof wikiPageWikiLink Robbins_conjecture.
- Computer-assisted_proof wikiPageWikiLink Scientific_method.
- Computer-assisted_proof wikiPageWikiLink Seventeen_or_Bust.
- Computer-assisted_proof wikiPageWikiLink Smales_problems.
- Computer-assisted_proof wikiPageWikiLink Sudoku.
- Computer-assisted_proof wikiPageWikiLink Symbolic_computation.
- Computer-assisted_proof wikiPageWikiLink Theorem.
- Computer-assisted_proof wikiPageWikiLink Theoretical_physics.
- Computer-assisted_proof wikiPageWikiLink University_of_Edinburgh.
- Computer-assisted_proof wikiPageWikiLink Validated_numerics.
- Computer-assisted_proof wikiPageWikiLink Verifiability.
- Computer-assisted_proof wikiPageWikiLinkText "Computer-assisted proof".
- Computer-assisted_proof wikiPageWikiLinkText "Computer-assisted proof: Philosophical objections".
- Computer-assisted_proof wikiPageWikiLinkText "aid of a computer".
- Computer-assisted_proof wikiPageWikiLinkText "aid of computers".
- Computer-assisted_proof wikiPageWikiLinkText "computer assistance".
- Computer-assisted_proof wikiPageWikiLinkText "computer assisted".
- Computer-assisted_proof wikiPageWikiLinkText "computer-assisted proof".
- Computer-assisted_proof wikiPageWikiLinkText "computer-assisted".
- Computer-assisted_proof wikiPageWikiLinkText "first theorem to be proved by computer".
- Computer-assisted_proof wikiPageWikiLinkText "proved using a computer".
- Computer-assisted_proof hasPhotoCollection Computer-assisted_proof.
- Computer-assisted_proof wikiPageUsesTemplate Template:By_whom.
- Computer-assisted_proof wikiPageUsesTemplate Template:Cite_web.
- Computer-assisted_proof wikiPageUsesTemplate Template:Reflist.
- 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 hypernym Proof.
- Computer-assisted_proof type Area.
- Computer-assisted_proof type Article.
- Computer-assisted_proof type TelevisionShow.
- Computer-assisted_proof type Area.
- Computer-assisted_proof type Article.
- Computer-assisted_proof type Method.
- Computer-assisted_proof type Proof.
- 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 sameAs Maschinengestütztes_Beweisen.
- Computer-assisted_proof sameAs Preuve_assistée_par_ordinateur.
- Computer-assisted_proof sameAs 컴퓨터를_이용한_증명.
- Computer-assisted_proof sameAs Компјутерски_асистиран_доказ.
- Computer-assisted_proof sameAs m.0863f9.
- Computer-assisted_proof sameAs Доказательные_вычисления.
- Computer-assisted_proof sameAs Q1150675.
- Computer-assisted_proof sameAs Q1150675.
- Computer-assisted_proof sameAs 電腦協助證明.