Metodi HBVM per la efficiente risoluzione numerica di probemi Hamiltoniani (corso per il Dottorato di Ricerca in Matematica)