close
1.

電子ブック

EB
by Douglas Shafer, Valery Romanovski
出版情報: Boston : Birkhäuser Boston, 2009
オンライン: http://dx.doi.org/10.1007/978-0-8176-4727-8
所蔵情報: loading…
2.

電子ブック

EB
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
3.

電子ブック

EB
edited by Kenji Iohara, Philippe Malbos, Masa-Hiko Saito, Nobuki Takayama
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: Algorithms and Computation in Mathematics ; 28
オンライン: https://doi.org/10.1007/978-3-030-26454-3
所蔵情報: loading…
目次情報: 続きを見る
Part I First Byway: Gröbner Bases
1 From Analytical Mechanical Problems to Rewriting Theory Through M. Janet
2 Gröbner Bases in D-modules: Application to Bernstein-Sato Polynomials
3 Introduction to Algorithms for D-Modules with Quiver D-Modules
4 Noncommutative Gröbner Bases: Applications and Generalizations
5 Introduction to Computational Algebraic Statistics
Part II Second Byway: Quivers
6 Introduction to Representations of Quivers
7 Introduction to Quiver Varieties
8 On Additive Deligne-Simpson Problems
9 Applications of Quiver Varieties to Moduli Spaces of Connections on P1
Part I First Byway: Gröbner Bases
1 From Analytical Mechanical Problems to Rewriting Theory Through M. Janet
2 Gröbner Bases in D-modules: Application to Bernstein-Sato Polynomials