Algebraic techniques based on Laplace transform are widely used for solving differential equations and evaluating transfer of signals while analyzing physical aspects of many safety-critical systems. To facilitate formal analysis of these systems, we present the formalization of Laplace transform using the multivariable calculus theories of HOL-Light. In particular, we use integral, differentia...

In this paper, we apply the Laplace decomposition method to obtain a series solutions of the Burgers-Huxley and Burgers-Fisher equations. The technique is based on the application of Laplace transform to nonlinear partial differential equations. The method does not need linearization, weak nonlinearity assumptions or perturbation theory and the nonlinear terms can be easily handled by using the...