Team, Visitors, External Collaborators
Overall Objectives
Research Program
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
XML PDF e-pub
PDF e-Pub

Section: New Results

Abel's theorem

Participants : Sophie Bernard, Yves Bertot, Cyril Cohen, Laurence Rideau, Assia Mahboubi [Inria Gallinette] , Russell O'Connor [McMaster University] .

A natural extension of the work on group theory is a proof that polynomials of degree higher than 5 cannot be solved by radicals. This is known as Abel's theorem. We have started an experiment to give a formal proof of this result on top of the Mathematical Components library.