Section: Overall Objectives

Highlights of the Year

This year, the Mathematical Components project of the Microsoft Research-Inria joint center under the direction of Georges Gonthier completed the major objective it had set six years ago: the complete formal verification of the Odd Order theorem, also known as the Feit Thompson theorem, which states that every odd order finite group is solvable. The Marelle project-team is a key participant in this project.

For more information : http://www.msr-inria.inria.fr/Projects/math-components/feit-thompson