ヘルプ
ヘルプ

検索結果 2 件

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 Pr......c Principle of the Verification F......Formulation of the Problem Finite-Dimensional Projection and Constructive ......mple Enclosure Method of Solutions Criterion for Infinite-Dimensional Pa...... Criterion for Finite-Dimensional Pa......nt Programming An Application to the Second-Order E......Boundary Value Problems Dirichlet Boundary Value Problems Constructive E......Case Linear Triangular Element Fourier Basis ......ple of FS-Int Other Examples of F......-convex Domain An Example for ........convex Polygon Finite-Element Approximation Computation of the Constant c₂(h) Computation of...
  • 件名Differential equations, Partial. Automatic theorem proving. Numerical calcul...
  • タイトル標目Springer series in computational mathematics ; 53. 0179-3632

An introduction to the finite element method with applications to nonlinear problems

An introduction to the finite element method with applications to nonlinear problems
紙図書
R.E. WhiteWileyc1985
全国の図書館
  • 件名Finite element method Nonlinear theories
  • 件名（識別子）Finite element method Nonlinear theories

検索結果は以上です。