Mathematical proofs in the computer age
scientific article; zbMATH DE number 920709