Main.Approfondimenti-ParteStefano History

Show minor edits - Show changes to output

April 20, 2009, at 03:36 PM by MiTicozzo -
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à

----
[[Torna alla pagina del Progetto Citrini->ProgettoCitrini]]
Restore
April 20, 2009, at 03:08 PM by MiTicozzo -
Added lines 1-4:
[[Torna alla pagina del Progetto Citrini->ProgettoCitrini]]
----

!!Approfondimenti parte Stefano
Restore