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	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 https://apps.dtic.mil/sti/pdfs/ADA155378.pdf 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
dbo:wikiPageWikiLink	dbr:Model_checking dbr:Seventeen_or_Bust dbr:Automated_reasoning dbr:Warwick_Tucker dbr:Quasi-empiricism_in_mathematics dbc:Numerical_analysis dbr:Artificial_intelligence dbc:Formal_methods dbr:Mathematical_proof dbr:Terence_Tao dbr:Proof_assistant dbr:Heuristic_(computer_science) dbr:Experimental_mathematics dbc:Argument_technology dbr:Thomas_Tymoczko dbc:Philosophy_of_mathematics dbr:Computer dbr:Exercise_(mathematics) dbr:Interval_arithmetic dbr:Verification_and_validation dbr:Observational_study dbc:Artificial_intelligence dbr:Kepler_conjecture dbr:Proof_by_exhaustion dbc:Computer-assisted_proofs dbr:Connect_Four dbr:Theoretical_physics dbr:Computer_program dbr:Gigabyte dbc:Automated_theorem_proving dbr:Mitchell_Feigenbaum dbr:Optimal_solutions_for_Rubik's_Cube dbr:Scientific_method dbr:Sudoku dbr:University_of_Edinburgh dbr:American_Mathematical_Society dbr:Projective_plane dbr:Theorem dbr:Automorphism_group_of_a_free_group dbr:Robbins_conjecture dbr:Formal_verification dbr:Four_color_theorem dbr:Mathematical_Platonism dbr:Minimum-weight_triangulation dbr:Erdős_discrepancy_problem dbr:Van_der_Waerden_number dbr:FPGA dbr:DPLL_algorithm dbr:Schur's_theorem dbr:Metamath dbr:Logic_Theorist dbr:Non-surveyable_proof dbr:Smale's_problems dbr:Boolean_Pythagorean_triples_problem dbr:Keller's_conjecture dbr:Automated_theorem_prover dbr:Marijn_Heule dbr:Kazhdan's_property_(T) dbr:Validated_numerics dbr:NP-hard dbr:Double_bubble_conjecture dbr:Lorenz_attractor dbr:Kolmogorov-Arnold-Moser_theorem dbr:Symbolic_computation dbr:Happy_Ending_problem dbr:Mathematical_elegance dbr:Terabytes dbr:Distributed_SAT-solver dbr:Petabytes dbr:SAT-solver dbr:Proof_checker
dbp:wikiPageUsesTemplate	dbt:Clarify_span dbt:Columns-list dbt:Cite_book dbt:Cite_web dbt:Main dbt:Reflist dbt:Cite_journal dbt:Cite_news dbt:See_also dbt:Numerical_PDE dbt:Cite_tech_report dbt:More_citations_needed_section dbt:Citation_needed dbt:Cite_thesis dbt:Mathematical_logic dbt:GBurl dbt:Annotated_link dbt:Short_description
dct:subject	dbc:Numerical_analysis dbc:Formal_methods dbc:Argument_technology dbc:Philosophy_of_mathematics dbc:Computer-assisted_proofs dbc:Automated_theorem_proving
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) Доказательные вычисления (ru) Доказові обчислення (uk) 電腦協助證明 (zh)
rdfs:seeAlso	dbr:Proof_assistant
owl:sameAs	yago-res:Computer-assisted proof freebase:Computer-assisted proof dbpedia-de:Computer-assisted proof wikidata:Computer-assisted proof dbpedia-fr:Computer-assisted proof dbpedia-zh:Computer-assisted proof dbpedia-ja:Computer-assisted proof dbpedia-es:Computer-assisted proof dbpedia-ru: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=1260960178&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:Seventeen_or_Bust dbr:Timeline_of_computational_mathematics dbr:Hilbert's_problems dbr:Natural_deduction dbr:1976_in_science dbr:Philosophy_of_computer_science dbr:Conjecture dbr:3D_tic-tac-toe dbr:Proof_assistant dbr:Oscar_Lanford dbr:Experimental_mathematics dbr:Ramon_E._Moore dbr:Timeline_of_scientific_computing dbr:Werner_Boy dbr:Mathematics dbr:Finite_geometry dbr:Index_of_robotics_articles dbr:Combinatorial_game_theory dbr:Tensor_rank_decomposition dbr:Computer_algebra dbr:Proof_by_exhaustion dbr:Chua's_circuit dbr:Oren_Patashnik dbr:Optimal_solutions_for_Rubik's_Cube dbr:Automated_Mathematician dbr:Figure-eight_knot_(mathematics) dbr:Series_(mathematics) dbr:Computer-aided dbr:Four_color_theorem dbr:Minimum-weight_triangulation dbr:List_of_long_mathematical_proofs dbr:Raph_Levien dbr:INTLAB dbr:Non-surveyable_proof dbr:Argument_from_reason dbr:Hyperbolic_Dehn_surgery dbr:Boolean_Pythagorean_triples_problem dbr:Keller's_conjecture dbr:Outline_of_artificial_intelligence dbr:Kazhdan's_property_(T) dbr:Validated_numerics dbr:List_of_mathematics_awards 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