Mathematics
and Interactions

MSC > 34-XX ORDINARY DIFFERENTIAL EQUATIONS > 34-04 Explicit machine computation and programs

• Videos linked to 34-04 Explicit machine computation and programs
  

  01:01:17

  published on February 3, 2016

  Verified numerics for ODEs in Isabelle/HOL

  By Fabian Immler

  More +