| ISBN |
9783319114453 |
| 기타 표준번호 |
10.1007/978-3-319-11445-3 |
| 청구기호 |
QA161.A-161.Z |
| 형태사항 |
VIII, 283 p. 6 illus., 3 illus. in color. online resource.
|
| 언어 |
English |
| 내용 |
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.
|
| 주제 |
Mathematics.
Associative rings.
Rings (Algebra).
Commutative algebra.
Commutative rings.
Algebra.
Field theory (Physics).
Partial differential equations.
Mathematics.
Field Theory and Polynomials.
Commutative Rings and Algebras.
Associative Rings and Algebras.
Partial Differential Equations.
|
| 보유판 및 특별호 저록 |
Springer eBooks
Printed edition: 9783319114446
|
| QR CODE |
|
