Ils ont un laboratoire de recherche "relativement" récent en Angleterre, qui publie un certain nombre de trucs.
Ils ont par exemple sorti en collaboration avec l'INRIA une nouvelle démonstration du théorème des quatre couleurs, nécessitant moins de temps de calcul que les précédentes, et surtout dont les calculs sont entièrement vérifiables par un humain, dans un temps "raisonnable" voir http://www.inria.fr/actualites/2005/theoreme4couleurs.fr.html
(ensuite il y a le bouton démarrer placé en bas à gauche ----->[])
[^] # Re: Autre sujet ...
Posté par khivapia . En réponse au journal Microsoft a ses affidés dans l'administration Bush. Évalué à 3.
Ils ont par exemple sorti en collaboration avec l'INRIA une nouvelle démonstration du théorème des quatre couleurs, nécessitant moins de temps de calcul que les précédentes, et surtout dont les calculs sont entièrement vérifiables par un humain, dans un temps "raisonnable" voir http://www.inria.fr/actualites/2005/theoreme4couleurs.fr.html
(ensuite il y a le bouton démarrer placé en bas à gauche ----->[])