A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables

[1] Grzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.10.1007/s10817-017-9440-6604425130069070Open DOISearch in Google Scholar

[2] Noboru Endou, Hiroyuki Okazaki, and Yasunari Shidama. Higher-order partial differentiation. Formalized Mathematics, 20(2):113–124, 2012. doi:10.2478/v10037-012-0015-z.10.2478/v10037-012-0015-zOpen DOISearch in Google Scholar

[3] John Fritz. Nonlinear Wave Equations, Formulation of Singularities. American Mathematical Society, 1990. ISBN 978-0-8218-7001-3.Search in Google Scholar

[4] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.10.1007/s10817-015-9345-1Open DOISearch in Google Scholar

[5] Mitsuhiro Nakao. Bibun-sekibun-gaku (Japanese). Kindai-kagaku-sha, pages 52–53, 1992.Search in Google Scholar

[6] Ian Naismith Sneddon. Elements of Partial Differential Equations. Tokyo McGraw-Hill Kogakusha, pages 209–273, 1957.Search in Google Scholar

[7] Hiroshi Yamazaki, Yoshinori Fujisawa, and Yatsuka Nakamura. On replace function and swap function for finite sequences. Formalized Mathematics, 9(3):471–474, 2001.Search in Google Scholar

[8] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255–263, 1998.Search in Google Scholar

[9] Kentaro Yano. Kaiseki-gaku-gairon (Japanese). Shokabo Co., Ltd., 1982.Search in Google Scholar