A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables
Keyword(s):
Summary In this article, we formalized in Mizar [4], [1] simple partial differential equations. In the first section, we formalized partial differentiability and partial derivative. The next section contains the method of separation of variables for one-dimensional wave equation. In the last section, we formalized the superposition principle.We referred to [6], [3], [5] and [9] in this formalization.
1999 ◽
Vol 122
(1)
◽
pp. 34-41
◽
1958 ◽
Vol 11
(1)
◽
pp. 145-151
◽
1993 ◽
Vol 17
(4)
◽
pp. 355-368
◽
1992 ◽
Vol 437
(1901)
◽
pp. 673-692
◽
1961 ◽
Vol 14
(3)
◽
pp. 171-186
◽