KnowraComputer-assisted proofLinked fromLinked fromThe 13 pages that link to Computer-assisted proof, each with the reason it gives.All 13Broader topic 1Related 9Narrower topic 2Compared with 1Four color theoremNarrower topic: The theorem's proof made extensive computation part of an accepted mathematical argument.Kepler conjectureNarrower topic: The original proof’s large case analysis made computation central to establishing the result.