検索結果 17 件

図書
Springerc2010.<NA171-B1>
国立国会図書館
  • 内容細目Open channel flow equations Methods for so......ving algebraic equations and their systems Numerical solution of ordinary differential equations Steady gradual...... open channels Partial differential equations of hyperbolic and parabolic type Numerical solution of the advection equation Numerical solution of the advection-......usion equation Numerical integration of the system of Saint Venant equations Simplified equations of the unsteady flow in open cha...
デジタル記事
中尾 充宏<Z43-1336>数理解析研究所講究録1169 2000.9p.27~56
インターネットで読める国立国会図書館全国の図書館
  • 件名Numerical verification nonlinear differential equation computer assisted proof in analysis
図書
Granville SewellWorld Scientificc2015
全国の図書館
  • 件名Differential equations -- Numerical solutions -- Data processing Differential equations, Partial -- Numerical solutions -- Data processing
  • 件名(識別子)Differential equations -- Numerical solutions -- Data processing Differential equations, Partial -- Numerical solutions -- Data processing
  • 一般注記Includes bibliographical references (p. 327-329) and index
デジタル記事
2005-06-17
全国の図書館
  • 参照...t from a model of three Ca<sup>2+</sup> release...
図書
Granville SewellWiley-Intersciencec2005
全国の図書館
  • 件名Differential equations -- Numerical solutions -- Data processing Differential equations, Partial -- Numerical solutions -- Data processing
  • 件名(識別子)Differential equations -- Numerical solutions -- Data processing Differential equations, Partial -- Numerical solutions -- Data processing
  • 一般注記Includes bibliographical references (p. 327-329) and index
デジタル記事
2006-09Journal of Computational and Applied Mathematics193 2p.614-637
全国の図書館
  • 参照Rigorous numerical inclusion of the blow-up ti......ype equation A numerical method of estimating blo......near evolution equations by using rescaling algorithm ...
図書
Granville SewellAcademic Pressc1988
全国の図書館
  • 件名Differential equations -- Numerical solutions -- Data processing Differential equations, Partial -- Numerical solutions -- Data processing
  • 件名(識別子)Differential equations -- Numerical solutions -- Data processing Differential equations, Partial -- Numerical solutions -- Data processing
デジタル記事
2001-06-30Numerical Functional Analysis and Optimization22 3-4p.321-356
全国の図書館
  • 件名Control and Optimization Computer Science...
  • 参照Computer Assisted Proofs of Bifurcating Solutions for Nonlinear......ion Problems A numerical proof algorithm for ...... non-existence of solutions to elliptic b......ems Estimation of Sobolev embedd......ng eigenvalues of an elliptic op......inearized at a solution of a nonlinear pr......lement for the numerical existence proof of solutions to elliptic p......for an inverse of the linearized......considerations of the invertibil......perators Sharp numerical inclusion of the best const......n for inverses of linear operato......e improvements of invertibility ......ar Schrödinger equations Inclusion method of optimal constant with quadrat...
デジタル記事
Nakao, Mitsuhiro T.京都大学数理解析研究所2000-09数理解析研究所講究録1169p.27-56
インターネットで読める全国の図書館

検索結果は以上です。