Involution : the formal theory of differential equations and its applications in computer algebra

＜図書＞
Involution : the formal theory of differential equations and its applications in computer algebra

責任表示	Werner M. Seiler
シリーズ	Algorithms and computation in mathematics ; 24
データ種別	図書
出版情報	Berlin : Springer , c2010
本文言語	英語
大きさ	xxii, 650 p. : ill. (some col.) ; 25 cm
概要	The book provides a self-contained account of the formal theory of general, i.e. also under- and overdetermined, systems of differential equations which in its central notion of involution combines ge...metric, algebraic, homological and combinatorial ideas. It presents for the first time in book form the theory of Pommaret bases, a special kind of Gröbner bases closely related to Koszul homology, and contains an extensive discussion of the existence and uniqueness of solutions of formally well-posed initial value problems and a novel presentation of Vessiot's dual version of the Cartan-Kähler theory. Special emphasis is put on a constructive approach leading to effective algorithms. Book jacket.続きを見る
電子版へのリンク	https://hdl.handle.net/2324/7000799

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	SEIL/10/1	2010		023212009005950		予約・取寄			予約・取寄