Formal Analysis of Homogeneous Linear Differential Equations Using Theorem Proving - Muhammad Usman Sanwal; Dr. Osman Hasan (Islamabad : RCMS - NUST, 2012)
Keywords: Computational Science And Engineering - MS Thesis