Documents (MSC Codes)

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

Linked documents : [2 document(s)]