close
1.

電子ブック

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
2.

電子ブック

EB
edited by Francisco Ortegón Gallego, Juan Ignacio García García
出版情報: Cham : Springer International Publishing : Imprint: Springer, 2020
シリーズ名: RSME Springer Series ; 4
オンライン: https://doi.org/10.1007/978-3-030-41321-7
所蔵情報: loading…
目次情報: 続きを見る
On the Control of the Navier-Stokes Equations and Related Systems
Asymptotic Stability in Some Generic Classes of Three-Dimensional Discontinuous Dynamical Systems
Regularisation in Ejection-Collision Orbits of the RTBP
On Local Algebras of Maximal Algebras of Jordan Quotients
On the Numerical Behavior of a Chemotaxis Model with Linear Production Term
The Thin-Sandwich Problem in General Relativity
Parametric Solutions to a Static Fourth-Order Euler–Bernoulli Beam Equation in Terms of Lamé Functions
On Large Orbits of Actions of Finite Soluble Groups: Applications
Poisson Algebras and Graphs
Graphs with Weight of Fold Gauss Maps
A Note on Spacelike Hypersurfaces and Timelike Conformal Vectors
Naturally Graded Quasi-Filiform Associative Algebras
Spacelike Hypersurfaces in Conformally Stationary Spacetimes
Geodesic Completeness and the Quasi-Einstein Equation for Locally Homogeneous Affine Surfaces
On the Control of the Navier-Stokes Equations and Related Systems
Asymptotic Stability in Some Generic Classes of Three-Dimensional Discontinuous Dynamical Systems
Regularisation in Ejection-Collision Orbits of the RTBP
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