How reliable is a computer-based proof?

DOI10.1007/BF03023977zbMath0697.00041MaRDI QIDQ911568

Clement Wing Hong Lam

Publication date: 1990

Published in: The Mathematical Intelligencer (Search for Journal in Brave)

zbMATH Keywords

projective planescorrectnesscomputer-based proofs

Mathematics Subject Classification ID

Methodology of mathematics (00A35)

Related Items (2)

On the verification of Clark's example of a Euclidean but not norm- Euclidean number field ⋮ There is no McLaughlin geometry

Cites Work

• The distribution of 1-widths of (0,1)-matrices
• Backtrack search with isomorph rejection and consistency check
• The Non-Existence of Finite Projective Planes of Order 10
• Every planar map is four colorable

This page was built for publication: How reliable is a computer-based proof?