Composants mathématiques pour la théorie des groupes

TEL :: [tel-00493524, version 1]
http://tel.archives-ouvertes.fr/tel-00493524/fr/
Les systèmes de preuves formelles ont connu ces dernières années des évolutions importantes. Des travaux récents, comme la preuve formelle du théorème des quatre couleurs ou celle du théorème des nombres premiers, ont montré que ces systèmes ont atteint un niveau de maturité leur permettant de s'attaquer à des problèmes mathématiques non triviaux.
...