Computer-assisted proof
id:
computer-assisted-proof-179-7508412
title:
Computer-assisted proof
text:
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 al
brand slug:
wiki
category slug:
encyclopedia
description:
Mathematical proof at least partially generated by computer
original url:
https://en.wikipedia.org/wiki/Computer-assisted_proof
date created:
2005-10-05T18:05:31Z
date modified:
2024-09-04T21:53:16Z
main entity:
{"identifier":"Q1150675","url":"https://www.wikidata.org/entity/Q1150675"}
image:
fields total:
13
integrity:
15