Questo sito utilizza solo cookie tecnici per il corretto funzionamento delle pagine web e per il miglioramento dei servizi.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Seminario del 2019
2019
24 gennaio
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.