Tesi di laurea con relatore o correlatore Degenne, Rémy, discusse nel 2024

[su] Su di un livello
Esporta come [Atom feed] Atom [RSS feed] RSS 1.0 [RSS2 feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Numero di documenti: 1.

Luccioli, Lorenzo (2024) Formalizing information theory in Lean 4: divergences, hypothesis testing and the data processing inequality. [Laurea magistrale], Università di Bologna, Corso di Studio in Matematica [LM-DM270]

Questa lista e' stata generata il Mon Jun 16 06:34:14 2025 CEST.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2025.

^