Torna alla pagina del Progetto Citrini
Argomenti dei vari progetti
"4 coloring Project" Fatto
- teoria del teorema dei 4 colori
- applet dimostrativa (con istruzioni)
"Sito 4 colori" - Guido
- introduzione sul problema dei 4 colori
- teorema dei 6 colori: anello di moebius
- teorema dei 6 colori: bottiglia di klein
- teorema dei 7 colori: poliedro di szilassi
- teorema dei 7 colori: toro
- galleria fotografica: anello di moebius
- galleria fotografica: bottiglia di klein
- galleria fotografica: poliedro di szilassi
- galleria fotografica: toro
- video (in .wmv)
"Teorema 4 colori" - Lara
- cenni sul problema dei 4 colori
- introduzione sul problema dei 4 colori
- risoluzione problema 4 colori
- problema dei due colori (presentazione)
- problema dei cinque colori (presentazione)
- mappe con tre colori (presentazione)
- colorazione di un grafo (applicazione)
- demo scaricabili (in java) del teorema dei 2,3,4 colori
"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