※一部利用できない機能があります
Formal Algorithmic Elimination for PDEs
- フォーマット:
- 電子ブック
- 責任表示:
- by Daniel Robertz
- 言語:
- 英語
- 出版情報:
- Cham : Springer International Publishing : Imprint: Springer, 2014
- 形態:
- VIII, 283 p. 6 illus., 3 illus. in color : online resource
- 著者名:
- シリーズ名:
- Lecture Notes in Mathematics ; 2121
- 目次情報:
-
Introduction Formal Methods for PDE Systems Differential Elimination for Analytic Functions Basic Principles and Supplementary Material References List of Algorithms List of Examples Index of Notation Index Introduction Formal Methods for PDE Systems Differential Elimination for Analytic Functions Basic Principles and Supplementary Material References List of Algorithms - 書誌ID:
- NB00096704
- ISBN:
- 9783319114453 [331911445X]
9783319114446 [3319114441]
類似資料:
Springer International Publishing : Imprint: Springer |
Springer Berlin Heidelberg |
Springer Berlin Heidelberg |
Springer International Publishing : Imprint: Springer |
Springer |
Springer Berlin Heidelberg : Imprint: Springer |
Springer-Verlag Berlin Heidelberg |
Springer-Verlag Berlin Heidelberg |
Springer-Verlag Berlin Heidelberg |
Springer International Publishing : Imprint: Springer |
Springer International Publishing : Imprint: Springer |
Springer International Publishing : Imprint: Springer |