There are 3 Results with the keyword : "Feit-Thompson theorem"

© Inria / Photo Kaksonen

Computer-assisted proof

A major success for computer-assisted proof

Françoise Breton - 22/11/2012

Six years after the computer-assisted proof of the four colour theorem, Georges Gonthier and his team have successfully proven the far more complex Feit-Thompson theorem, a central theorem in group theory and group classification. This is a significant step forward for mathematicians, who are increasingly utilising computer-assisted proof. Moreover, it is a success for computer science, which as a result of this endeavour has shown its ability to deploy advanced tools and techniques to codify mathematics.

Keywords:

Home > Research > News > Un grand succès pour la preuve informatique

More

Georges Gonthier, join laboratory Microsoft Research-Inria © Laboratoire commun Inria-Microsoft Research

Computer-assisted proof

"Our work diagram looked like a Napoleonic war plan!"

Françoise Breton - 22/11/2012

Six years transpired between the start of the project and the end of the proof of the Feit-Thompson theorem, which came on 20 September 2012. Following is the account of this modern-day adventure.

Interview with Georges Gonthier, Microsoft Research-Inria joint laboratory.

Keywords:

Home > Research > News > "Notre diagramme de travail ressemblait à un plan de guerre napoléonienne !"

More

© Photo Bernard Lachaud

Computer-assisted proof

Mathematical proof by computer science!

Nathaly Mermet - 22/11/2012

A complete formal proof, certified by the Coq software, was announced in September by Georges Gonthier and his team at the Inria-Microsoft Research joint laboratory.

This work renders the conflict between computer science and mathematics obsolete, the common denominator being logic. Two young researchers who joined Georges Gonthier for the ride told us how much they enjoyed participating in the work and "grew" as a result of the Mathematical Components (MathComp) project. Here's what they had to say...

Keywords:

Home > Research > News > La preuve mathématique par informatique !

More

Top