About: Computer-assisted proof

Property	Value
dbo:description	mathematical proof at least partially generated by computer (en) demostració matemàtica generada almenys parcialment mitjançant un ordinador (ca) Unterstützung mathematischer Beweise durch Computer (de) целенаправленные вычисления на ЭВМ, которые приводят к строгому установлению новых фактов и доказательству теорем (ru) コンピュータによって少なくとも一部が生成された数学的証明 (ja) demostración matemática generada al menos parcialmente mediante un ordenador (es) математичне доведення з використанням комп'ютерних обчислень (uk)
dbo:wikiPageExternalLink	https://www.comp.glam.ac.uk/pages/staff/efurse/Abstracts/Why-did-AM-halt.html https://web.archive.org/web/20120717094035/https:/www.comp.glam.ac.uk/pages/staff/efurse/Abstracts/Why-did-AM-halt.html https://www.ams.org/journals/bull/1982-06-03/S0273-0979-1982-15008-X/S0273-0979-1982-15008-X.pdf https://www.ams.org/notices/200811/%7Cwork=Notices https://apps.dtic.mil/sti/pdfs/ADA155378.pdf http://www.post-gazette.com/businessnews/2007/01/12/Number-proofs-done-by-computer-might-err/stories/200701120255%7Carchive-url=https:/web.archive.org/web/20180416201308/http:/www.post-gazette.com/businessnews/2007/01/12/Number-proofs-done-by-computer-might-err/stories/200701120255
dbo:wikiPageWikiLink	dbr:Smale's_problems dbr:Gigabyte dbr:Verification_and_validation dbr:Metamath dbr:Marijn_Heule dbr:Thomas_Tymoczko dbr:Computer dbr:Interval_arithmetic dbr:Artificial_intelligence dbr:Kepler_conjecture dbr:University_of_Edinburgh dbr:Boolean_Pythagorean_triples_problem dbc:Philosophy_of_mathematics dbr:American_Mathematical_Society dbr:Connect_Four dbr:Formal_verification dbr:Mathematical_proof dbr:Model_checking dbr:Theoretical_physics dbr:Automated_reasoning dbr:Minimum-weight_triangulation dbr:Schur's_theorem dbr:Computer_program dbr:Scientific_method dbr:Sudoku dbr:Projective_plane dbr:Logic_Theorist dbr:Mathematical_Platonism dbr:Quasi-empiricism_in_mathematics dbr:Exercise_(mathematics) dbr:Validated_numerics dbr:Experimental_mathematics dbr:Heuristic_(computer_science) dbr:Observational_study dbr:Proof_assistant dbr:DPLL_algorithm dbr:Kazhdan's_property_(T) dbr:Keller's_conjecture dbr:Four_color_theorem dbr:Theorem dbc:Automated_theorem_proving dbr:Terence_Tao dbr:Van_der_Waerden_number dbr:Mitchell_Feigenbaum dbr:Warwick_Tucker dbc:Artificial_intelligence dbr:Robbins_conjecture dbr:Seventeen_or_Bust dbc:Numerical_analysis dbc:Formal_methods dbc:Computer-assisted_proofs dbr:Double_bubble_conjecture dbr:Proof_by_exhaustion dbr:Non-surveyable_proof dbr:Optimal_solutions_for_Rubik's_Cube dbc:Argument_technology dbr:Erdős_discrepancy_problem dbr:Automorphism_group_of_a_free_group dbr:NP-hard dbr:Symbolic_computation dbr:Kolmogorov-Arnold-Moser_theorem dbr:FPGA dbr:Lorenz_attractor dbr:Proof_checker dbr:Automated_theorem_prover dbr:Happy_Ending_problem dbr:Distributed_SAT-solver dbr:Petabytes dbr:Mathematical_elegance dbr:SAT-solver dbr:Terabytes
dbp:wikiPageUsesTemplate	dbt:Cite_book dbt:Cite_tech_report dbt:Mathematical_logic dbt:Annotated_link dbt:Citation_needed dbt:Cite_journal dbt:Cite_news dbt:Cite_thesis dbt:Cite_web dbt:Clarify_span dbt:Columns-list dbt:GBurl dbt:Main dbt:More_citations_needed_section dbt:Reflist dbt:See_also dbt:Short_description dbt:Numerical_PDE
dct:subject	dbc:Philosophy_of_mathematics dbc:Automated_theorem_proving dbc:Numerical_analysis dbc:Formal_methods dbc:Computer-assisted_proofs dbc:Argument_technology
gold:hypernym	dbr:Proof
rdf:type	owl:Thing
rdfs:label	Computer-assisted proof (en) Prueba asistida por ordenador (es) Maschinengestütztes Beweisen (de) Preuve assistée par ordinateur (fr) 計算機援用証明 (ja) 컴퓨터를 이용한 증명 (ko) Доказові обчислення (uk) Доказательные вычисления (ru) 電腦協助證明 (zh)
rdfs:seeAlso	dbr:Proof_assistant
owl:sameAs	freebase:Computer-assisted proof dbpedia-de:Computer-assisted proof yago-res:Computer-assisted proof wikidata:Computer-assisted proof dbpedia-es:Computer-assisted proof dbpedia-fr:Computer-assisted proof dbpedia-ja:Computer-assisted proof dbpedia-ru:Computer-assisted proof dbpedia-zh:Computer-assisted proof dbpedia-ko:Computer-assisted proof dbpedia-mk:Computer-assisted proof dbpedia-uk:Computer-assisted proof dbpedia-global:Computer-assisted proof
prov:wasDerivedFrom	wikipedia-en:Computer-assisted_proof?oldid=1309459231&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Computer-assisted_proof
is dbo:genre of	dbr:INTLAB
is dbo:wikiPageRedirects of	dbr:Computer-aided_proof dbr:Computer_assisted_proof dbr:Computer_proof dbr:List_of_computer-assisted_proofs
is dbo:wikiPageWikiLink of	dbr:Argument_from_reason dbr:Hyperbolic_Dehn_surgery dbr:Combinatorial_game_theory dbr:Ramon_E._Moore dbr:Mathematics dbr:Oren_Patashnik dbr:Boolean_Pythagorean_triples_problem dbr:Series_(mathematics) dbr:Minimum-weight_triangulation dbr:Philosophy_of_computer_science dbr:Hilbert's_problems dbr:Werner_Boy dbr:Automated_Mathematician dbr:Natural_deduction dbr:INTLAB dbr:Validated_numerics dbr:List_of_mathematics_awards dbr:Chua's_circuit dbr:Experimental_mathematics dbr:Finite_geometry dbr:Proof_assistant dbr:Kazhdan's_property_(T) dbr:Keller's_conjecture dbr:1976_in_science dbr:Figure-eight_knot_(mathematics) dbr:Four_color_theorem dbr:Raph_Levien dbr:Computer-aided dbr:Oscar_Lanford dbr:Conjecture dbr:Computer_algebra dbr:3D_tic-tac-toe dbr:Seventeen_or_Bust dbr:Tensor_rank_decomposition dbr:Outline_of_artificial_intelligence dbr:Index_of_robotics_articles dbr:Timeline_of_scientific_computing dbr:Proof_by_exhaustion dbr:Non-surveyable_proof dbr:Timeline_of_computational_mathematics dbr:List_of_long_mathematical_proofs dbr:Optimal_solutions_for_Rubik's_Cube dbr:Euler's_Gem dbr:Computer-aided_proof dbr:Computer_assisted_proof dbr:Computer_proof dbr:List_of_computer-assisted_proofs
is dbp:genre of	dbr:INTLAB
is rdfs:seeAlso of	dbr:Proof_assistant
is foaf:primaryTopic of	wikipedia-en:Computer-assisted_proof