>> Google Books

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  CiNiibooks
ISBN:
9783319114453 [331911445X]  CiNii Books  Webcat Plus  Google Books
9783319114446 [3319114441]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
オンライン
所蔵情報
Loading availability information
タイトルが類似している資料
1. Formal algorithmic elimination for PDEs
Daniel Robertz , Springer , 2014

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Wright, Steve, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Schoutens, Hans, SpringerLink (Online service)

Springer Berlin Heidelberg

Broué, Michel, SpringerLink (Online service)

Springer Berlin Heidelberg

Yengui, Ihsen, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Robertz, Daniel

Springer

Marubayashi, Hidetoshi, Van Oystaeyen, Fred, SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer

Urbano, Jose Miguel, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg

Bianchini, Stefano, Carlen, Eric A., Mielke, Alexander, Villani, Cedric, SpringerLink (Online service)

Springer-Verlag Berlin Heidelberg

5 電子ブック Geometric Analysis and PDEs

Gursky, Matthew J., Chang, Sun-Yung Alice, Malchiodi, Andrea, Ambrosetti, Antonio, Yang, Paul C., Lanconelli, Ermanno, …

Springer-Verlag Berlin Heidelberg

Burger, Martin, Mennucci, Andrea C.G., Osher, Stanley, Rumpf, Martin, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Kharchenko, Vladislav, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer

Capogna, Luca, Guan, Pengfei, Gutiérrez, Cristian E., Montanari, Annamaria, SpringerLink (Online service)

Springer International Publishing : Imprint: Springer