close
1.

図書
図書
1. Formal algorithmic elimination for PDEs
Daniel Robertz
出版情報: Cham : Springer, c2014
シリーズ名: Lecture notes in mathematics ; 2121
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. Formal Algorithmic Elimination for PDEs
by Daniel Robertz
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2014
シリーズ名: Lecture Notes in Mathematics ; 2121
オンライン: http://dx.doi.org/10.1007/978-3-319-11445-3
所蔵情報: loading…
目次情報: 続きを見る
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