Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Computer-assisted proof
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Mathematical proof at least partially generated by computer
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
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International