. "Computer-assisted proof: Philosophical objections" . "computational proof methods" . . "Computer-assisted proof" . "computer assistance" . "first theorem to be proved by computer" . . "Computer-assisted proof" . "rigorous numerics" . . "computer-assisted" . . . . "proving mathematical theorems" . "computer-assisted proof" . "aid of computers" . "computer assisted" . "proved using a computer" . "Computer-assisted_proof#Theorems proved with the help of computer programs" . .