Mathematics
and Interactions

Keywords > validated computing

• Videos linked to validated computing
  

  01:22:04

  published on March 17, 2022

  Validated symbolic-numeric algorithms and practical applications in aerospace - Lecture 2

  By Mioara Joldes

  More +