Séminaire Marelle : La vérification formelle du théorème de Perron-Frobenius

Sorry, this entry is only available in French.