Documents (Codes MSC)

• [Multi angle] Multistability of the climate : noise-induced transitions across Melancholia states, invariant measure, and phase transition / Auteur de la Conférence Lucarini, Valerio. -Marseille : CIRM
  
• [Multi angle] Verified numerics for ODEs in Isabelle/HOL / Auteur de la Conférence Immler, Fabian. -Marseille : CIRM
  

Documents liés : [2 document(s)]