References
- [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-6
- [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-z
- [3] John Fritz. Nonlinear Wave Equations, Formulation of Singularities. American Mathematical Society, 1990. ISBN 978-0-8218-7001-3.
- [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-1
- [5] Mitsuhiro Nakao. Bibun-sekibun-gaku (Japanese). Kindai-kagaku-sha, pages 52–53, 1992.
- [6] Ian Naismith Sneddon. Elements of Partial Differential Equations. Tokyo McGraw-Hill Kogakusha, pages 209–273, 1957.
- [7] Hiroshi Yamazaki, Yoshinori Fujisawa, and Yatsuka Nakamura. On replace function and swap function for finite sequences. Formalized Mathematics, 9(3):471–474, 2001.
- [8] Yuguang Yang and Yasunari Shidama. Trigonometric functions and existence of circle ratio. Formalized Mathematics, 7(2):255–263, 1998.
- [9] Kentaro Yano. Kaiseki-gaku-gairon (Japanese). Shokabo Co., Ltd., 1982.