Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/7837
Tytuł: | A Simple Example for Linear Partial Differential Equations and Its Solution Using the Method of Separation of Variables |
Autorzy: | Otsuki, Sora Kawamoto, Pauline N. Yamazaki, Hiroshi |
Słowa kluczowe: | partial differential equations separation of variables superposition principle |
Data wydania: | 2019 |
Data dodania: | 21-maj-2019 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 27, Issue 1, Pages 25-34 |
Abstrakt: | 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. |
Afiliacja: | Sora Otsuki - Shinshu University, Nagano, Japan Pauline N. Kawamoto - Shinshu University, Nagano, Japan Hiroshi Yamazaki - Shinshu University, Nagano, Japan |
URI: | http://hdl.handle.net/11320/7837 |
DOI: | 10.2478/forma-2019-0003 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2019, Volume 27, Issue 1 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma_2019_27_1_003.pdf | 242,08 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL