En mathématiques, certaines démonstrations font plusieurs centaines de pages, voire plus. Comment s'assurer qu'elles sont dépourvues de toute erreur ? L'ordinateur devient dans ce domaine un précieux assistant.