m

F Nous contacter


0
     
Multi angle

H 1 Verified numerics for ODEs in Isabelle/HOL

Auteurs : Immler, Fabian (Auteur de la Conférence)
CIRM (Editeur )

Z