- Page 3
-
-
Avancée dans la preuve informatique
Après la validation du théorème des quatre couleurs par le logiciel de certification Coq en 2005, c’est au tour du théorème de Feit et Thompson de passer dans la moulinette de la preuve informatique. La difficulté était cependant incomparable car, si le théorème des quatre couleurs n’utilise que des mathématiques combinatoires élémentaires, le théorème de Feit et Thompson s’appuie sur des mathématiques embrassant, grosso modo, le programme jusqu’à la licence ! Il est également plus long, avec ses 250 pages de démonstration, et les enjeux autrement importants, avec des applications dans de nombreux domaines scientifiques modernes, de la mécanique quantique à la cryptographie, en passant par la cristallographie.
La suite de l'article ICI et les témoignages des membres de l'équipe ICI .
-
Version 4.2 de GeoGebra disponible avec CAS
La version 4.2 de GeoGebra vient d'être rendue disponible en téléchargement:
http://code.google.com/p/geogebra/downloads/list?can=3&q=4.2
Elle est plus rapide et dispose du calcul formel (CAS).
Les améliorations sont décrites ICI .