Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light.

Syeda Hira Taqdees, Osman Hasan

Browse the full LPAR paper archive.