Documents (MSC Codes)

• [Multi angle] Arithmétique à virgule flottante : plaie ou terrain de jeu ? / Author of the conference Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Algorithms for future emerging technologies / Author of the conference Dongarra, Jack. -Marseille : CIRM
  
• [Multi angle] Verified numerics for ODEs in Isabelle/HOL / Author of the conference Immler, Fabian. -Marseille : CIRM
  
• [Multi angle] Formal verification of numerical analysis programs / Author of the conference Boldo, Sylvie. -Marseille : CIRM
  

Linked documents : [4 document(s)]