Lundi 11/10/2010, à partir de 11h, en salle Euler Bleu.
Orateur : Guillaume Cano.
Titre : La vérification formelle du théorème de Perron-Frobenius.
Résumé :
La présentation portera sur le théorème de Perron-Frobenius, ça parle de matrices, de valeurs propres et de rayon spectrale. J’essaierai de présenter un peu la démonstration du théorème, et ce que j’ai formalisé i.e. les nombres complexes, quelques points de la démonstration et un peu de topologie.
