Main.Approfondimenti-ParteStefano History
Hide minor edits - Show changes to markup
April 20, 2009, at 03:36 PM
by -
Changed lines 4-18 from:
Approfondimenti parte Stefano
to:
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à
April 20, 2009, at 03:08 PM
by -
Added lines 1-4:
