Torna alla pagina del Progetto Citrini
Approfondimenti parte Stefano
"Cavenaghi" - Stefano
- introduzione teorema dei quattro colori
- capitolo 1: il problema e le sue soluzioni
- capitolo 2: coq ed il calcolo di costruzione induttiva
- capitolo 3: le ipermappe combinatoriali
- capitolo 4: il teorema formale
- capitolo 5: il controllo della riducibilità
- capitolo 6: la verifica di inevitabilità
Torna alla pagina del Progetto Citrini