How reliable is a computer-based proof (1990)

by C W H Lam
Venue:The Mathematical Intelligencer