F Nous contacter


0

Multi angle Verified numerics for ODEs in Isabelle/HOL

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

Z