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
- http://helm.cs.unibo.it/tesi/tesi002.html
- http://matita.cs.unibo.it/matita_it.shtml (tool per dimostrazione di teoremi)
- capitolo 3: le ipermappe combinatoriali
- capitolo 4: il teorema formale
- capitolo 5: il controllo della riducibilità
- capitolo 6: la verifica di inevitabilità
