Documents (Codes MSC)

• [Multi angle] La difficile explication du résultat des calculs : des preuves automatiques à l'apprentissage automatique / Auteur de la conférence Dowek, Gilles. -Marseille : CIRM
  
• [Multi angle] Arithmétique à virgule flottante : plaie ou terrain de jeu ? / Auteur de la conférence Boldo, Sylvie. -Marseille : CIRM
  
• [Multi angle] Verified numerics for ODEs in Isabelle/HOL / Auteur de la conférence Immler, Fabian. -Marseille : CIRM
  
• [Multi angle] Proof and computation in Coq / Auteur de la conférence Théry, Laurent. -Marseille : CIRM
  
• [Post-edited] Une deuxième révolution galiléenne ? / Auteur de la conférence Dowek, Gilles. CIRM
  

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