ヘルプ
ヘルプ

検索結果 15 件

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)

Numerical verification methods and computer-assisted proofs for partial differential equations (Springer series in computational mathematics ; volume 53)
紙図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
国立国会図書館
  • 内容細目Verification by Finite-Dimensional......ection Basic Principle of the Ve......cation Fixed-Point Formulation of the Problem Finite-Dimensional......r Estimates Aubin-Nitsche Trick FS-Int : A Simple En...... Criterion for Infinite-Dimensional......Criterion for Finite-Dimensional......rt Notes on FS-Int Programming An Applicatio......ensional Case Linear Triangular ...... Example of FS-Int Other Examples of FS-Int Case of Non-convex Domain An Example for......onvex Polygon Finite-Element App...... Example Embedding Constants New......ype Approaches in Finite Dimension FN-Int : An Enclosur...... Operator Deriving Newton-Type Operator Nh Fixe...
  • 件名Differential equations, Partial. Automatic theorem proving. Numerical calculations--Ver...
  • タイトル標目Springer series in computational mathematics ; 5...

Solvability of heat equations with hysteresis coupled with Navier-Stokes equations in 2D and 3D (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

Solvability of heat equations with hysteresis coupled with Navier-Stokes equations in 2D and 3D (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)
紙記事
都築 寛<Z43-1336>数理解析研究所講究録(1984):2016.2p.64-86
国立国会図書館全国の図書館

Solvability of complex Ginzburg-Landau equation in a general domain (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

Solvability of complex Ginzburg-Landau equation in a general domain (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)
紙記事
Shoji Shimizu, Mitsuharu Otani<Z43-1336>数理解析研究所講究録(1984):2016.2p.110-120
国立国会図書館全国の図書館

QUASI-VARIATIONAL INEQUALITIES IN ECONOMIC GROWTH MODELS WITH TECHNOLOGICAL DEVELOPMENT (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

QUASI-VARIATIONAL INEQUALITIES IN ECONOMIC GROWTH MODELS WITH TECHNOLOGICAL DEVELOPMENT (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)
紙デジタル記事
Nobuyuki Kenmochi<Z43-1336>数理解析研究所講究録(1984):2016.2p.132-142
インターネットで読める国立国会図書館全国の図書館

Signal-dependent sensitivity preventing blow-up in a fully parabolic chemotaxis system (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

Signal-dependent sensitivity preventing blow-up in a fully parabolic chemotaxis system (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)
紙記事
藤江 健太郎<Z43-1336>数理解析研究所講究録(1984):2016.2p.52-63
国立国会図書館全国の図書館

Abstract methods in partial differential equations : pbk Dover ed

Abstract methods in partial differential equations : pbk Dover ed
紙図書
Robert W. CarrollDover Publications2012, c1997
全国の図書館
  • 件名Differential equations, Partial
  • 件名（識別子）Differential equations, Partial
  • 一般注記Originally published:......er & Row, 1969 Includes bibliogr....... 342-368) and index

Solvability of complex Ginzburg-Landau equation in a general domain (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

Solvability of complex Ginzburg-Landau equation in a general domain (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)
デジタル記事
2016-02数理解析研究所講究録1984p.110-120
インターネットで読める全国の図書館

Solvability of complex Ginzburg-Landau equation in a general domain (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

pdfを表すアイコン
デジタル記事
清水, 翔司, 大谷, 光春京都大学数理解析研究所2016-02数理解析研究所講究録1984p.110-120
インターネットで読める全国の図書館

QUASI-VARIATIONAL INEQUALITIES IN ECONOMIC GROWTH MODELS WITH TECHNOLOGICAL DEVELOPMENT (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

pdfを表すアイコン
デジタル記事
剣持, 信幸京都大学数理解析研究所2016-02数理解析研究所講究録1984p.132-142
インターネットで読める全国の図書館

QUASI-VARIATIONAL INEQUALITIES IN ECONOMIC GROWTH MODELS WITH TECHNOLOGICAL DEVELOPMENT (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

QUASI-VARIATIONAL INEQUALITIES IN ECONOMIC GROWTH MODELS WITH TECHNOLOGICAL DEVELOPMENT (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)
記事
2016-02数理解析研究所講究録1984p.132-142
全国の図書館

Solvability of heat equations with hysteresis coupled with Navier-Stokes equations in 2D and 3D (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

pdfを表すアイコン
デジタル記事
都築, 寛京都大学数理解析研究所2016-02数理解析研究所講究録1984p.64-86
インターネットで読める全国の図書館

Solvability of heat equations with hysteresis coupled with Navier-Stokes equations in 2D and 3D (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

Solvability of heat equations with hysteresis coupled with Navier-Stokes equations in 2D and 3D (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)
デジタル記事
2016-02数理解析研究所講究録1984p.64-86
インターネットで読める全国の図書館

Signal-dependent sensitivity preventing blow-up in a fully parabolic chemotaxis system (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

Signal-dependent sensitivity preventing blow-up in a fully parabolic chemotaxis system (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)
デジタル記事
2016-02数理解析研究所講究録1984p.52-63
インターネットで読める全国の図書館

Signal-dependent sensitivity preventing blow-up in a fully parabolic chemotaxis system (Reconsideration of the method of estimates on partial differential equations from a point of view of the theory on abstract evolution equations)

pdfを表すアイコン
デジタル記事
藤江, 健太郎京都大学数理解析研究所2016-02数理解析研究所講究録1984p.52-63
インターネットで読める全国の図書館

Abstract methods in partial differential equations

Abstract methods in partial differential equations
紙図書
Robert W. CarrollHarper & Rowc1969
全国の図書館
  • 件名Differential equations, Partial
  • 件名（識別子）Differential equations, Partial
  • 関連情報Harper's series in modern mathematics

検索結果は以上です。