Documents (Codes MSC)

• [Virtualconference] Computational real algebraic geometry and applications to robotics - lecture 2 / Auteur de la Conférence Moroz, Guillaume. CIRM
  
• [Virtualconference] Computational real algebraic geometry and applications to robotics - lecture 1 / Auteur de la Conférence Moroz, Guillaume. 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
  

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