Topics in Mathematics 2018/2019

pagina web ufficiale

Giovedì 02 Mag ore 14:30
presso - Aula Da Stabilire -
TBA
Lucia Romani
TBA
Mercoledì 27 Mar ore 14:30
presso - Aula Da Stabilire -
TBA
Silvia Benvenuti
TBA
Mercoledì 27 Feb ore 14:30
presso - Aula Da Stabilire -
TBA
Vittorio Martino
TBA
Lunedì 18 Feb ore 14:30
presso - Aula Da Stabilire -
Tensor decomposition and secant varieties
Alessandro Gimigliano
Determining secant varieties (i.e. varieties which are the union of secant lines, planes, etc.) for a given projective variety X is a classical problem in Algebraic Geometry. When X is a Segre Variety, its secant varieties parameterize tensors with assigned tensor rank, and their study is related to the study of tensor decompositions, a quite relevant issue in applied math. In a similar way, secant varieties of Veronese varieties are related to symmetric tensors. In this talk a sketchy view of the state of the art on these problems will be given.
Giovedì 24 Gen ore 14:30
presso Seminario II
Metodi formali per la pratica matematica
Marco Maggesi
La comparsa e la rapida evoluzione dei software di dimostrazione interattiva aprono nuovi scenari nell'impiego, nello sviluppo e nella comunicazione della Matematica. Nella prima parte del seminario si cercherà di fornire un'introduzione generale all'argomento e di dare conto dello stato dell'arte di questa disciplina emergente. Nella seconda parte verrà presentato uno sviluppo dell'analisi quaternionica con il sistema di dimostrazione interattiva HOL Light.