Programma ufficiale del corso di GEOMETRIA COMPUTAZIONALE (modulo base, Prof. Mauro Spera) Universita' degli Studi di Verona Facolta' di Scienze MM. FF. NN. Corso di Laurea in Matematica Applicata Anno accademico 2007-2008 Introduzione storica. Disegno prospettico. Richiami sugli spazi proiettivi e sulla teoria delle coniche (polarità) (approccio analitico). Trasformazioni proiettive. Il teorema fondamentale della geometria proiettiva. Approccio sintetico alla geometria proiettiva: proiezioni e sezioni. Omografie piane. Omologie. Applicazione al disegno prospettico. Il teorema di Desargues sui triangoli omologici. Proiettività tra forme di prima specie. Asse di collineazione. Teorema di Pappo. Birapporto. Gruppi armonici. Formula di Laguerre. Fasci di coniche. Classificazione affine e metrica delle coniche. Quadriche e loro classificazione proiettiva, affine, metrica. Approccio matriciale alle omografie piane e spaziali. Applicazioni alla visione computerizzata (catena visiva, viewing pipeline): calibrazione di apparati, ricostruzione affine e metrica di immagini, tramite il cerchio assoluto. Cerchio di distanza (conica calibrante). Ulteriori elementi di teoria delle coniche: generazione proiettiva (Steiner-Chasles), i teoremi dei quattro punti e delle quattro tangenti, teoremi di Pascal e Brianchon e applicazioni al tracciamento di coniche (cenni). Appendice: complementi di algebra lineare (dimostrazioni omesse): SVD, QR (e RQ), Choleski (per le matrici simmetriche definite positive), pseudoinversa. Teorema di inerzia di Sylvester e teorema spettrale. Criterio di Sylvester. Accertamento del profitto: esame scritto/orale, in contemporanea con quello del modulo avanzato (Prof. Andrea Fusiello) Gli argomenti si intendono corredati delle relative dimostrazioni (o idee di queste), salvo avviso contrario. Il programma del corso e' interamente contenuto nelle dispense distribuite a lezione. Di queste, una copia sara' in futuro disponibile in biblioteca, nonche' in formato pdf. Riferimenti bibliografici M.SPERA, Geometria Computazionale (modulo base) (note manoscritte, 2007) M.C.BELTRAMETTI, E.CARLETTI, D.GALLARATI, F.MONTI BRAGADIN, Lezioni di geometria analitica e proiettiva, Bollati-Boringhieri, Torino, 2002. M.R.CASALI, C.GAGLIARDI, L.GRASSELLI, Geometria, Progetto Leonardo, Bologna, 2002. R.CASSE, Projective Geometry, an introduction, Oxford University Press, Oxford, 2006 G.CASTELNUOVO, Lezioni di Geometria Analitica , Soc. Ed. Dante Alighieri, Milano, Roma, 1969. L.CATASTINI, F.GHIONE, Le Geometrie della Visione, Springer, Milano, 2003. M.DOCCI, R.MIGLIARI, La Scienza della rappresentazione. Fondamenti e applicazioni della geometria descrittiva, Carocci, Roma, 1999. F.ENRIQUES, Lezioni di Geometria Proiettiva, Zanichelli, Bologna, 1996. G.FARIN, 1999. NURBS- From Projective Geometry to practical use, AK Peters, Natick, MA, G.FARIN, Curves and Surfaces for CAGD. A practical guide, Academic Press, London, 2002. J.GALLIER, Geometric Methods and Applications for Computer Science and Engineering, Springer, Berlin, 2000. R.HARTLEY, A.ZISSERMAN, Multiple View Geometry in Computer Vision, Cambridge, Cambridge, 2003. D.MARSH, Applied Geometry for Computer Graphics and CAD, Springer, London, 2005. E.SERNESI, Geometria 1,2 Bollati Boringhieri, Torino, 1989, 1994. J.C. SIDLER, Ge'ome'trie projective, Dunod, Paris, 2000.