Lucio Antonio Rosi

1 April 2025

Supervision of the master thesis of Lucio Antonio Rosi on computer assisted proofs for fluid equations.

Master