検索結果 156 件

記事
米谷 道夫<Z43-1336>数理解析研究所講究録(通号 1145) 2000.04p.263~269
国立国会図書館全国の図書館
図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
国立国会図書館
  • 内容細目...on Fixed-Point Formulation of the......ions Criterion for Infinite-Dimen......Part Criterion for Finite-Dimensi......ain An Example for ... -Error Est......Nh Fixed-Point Formulation by New......n Verification for Bifurcated Sol......ments Residual Formulation Direct Residual Formulation An Exa......irect Residual Formulation X*-Type Residual Formulation X*-Typ......riori Residual Formulation Exampl......orm Estimation for the Finite-Dim......ve Computation for Finite-Dimensi......cal Uniqueness for FN-Norm Notes ......ns Fixed-Point Form Verification ...... of the Region for Local Uniquene......ns Fixed-Point Formulation Verification Algorith...
  • 件名Differential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.
デジタル電子書籍・電子雑誌図書
2016
インターネットで読める国立国会図書館
図書
Springerc2010.<NA171-B1>
国立国会図書館
  • 内容細目Open channel flow equations Methods for solving algebraic equations and their systems Numerical solution of ordinary differential equations Steady gradual...... open channels Partial differential equations of hyperbolic ......parabolic type Numerical solution of th......ction equation Numerical solution of th......usion equation Numerical integration of......f Saint Venant equations Simplified equations of the unsteady flow in open ...
デジタル記事
中尾 充宏<Z43-1336>数理解析研究所講究録1169 2000.9p.27~56
インターネットで読める国立国会図書館全国の図書館
  • 件名Numerical verification nonlinear differential equation computer assisted pr...
記事
Mohammad. Jahanshahi, Katsuhiro Sakai<Z14-1983>埼玉工業大学紀要 / 埼玉工業大学先端科学研究所紀要編集委員会 編(通号 9) 2000.03p.35~40
国立国会図書館全国の図書館
  • 件名Third order partial differential equation Spect......ns First order differential equations system
図書
Sandip MazumderAcademic Press, an imprint of Elsevierc2016
全国の図書館
  • 件名Differential equations, Partial -- Numerical solutions Fini...... volume method Differential equations, Partial -- Numerical solutions. fast (OCoLC)fst008...
  • 件名(識別子)Differential equations, Partial -- Numerical solutions Fini...... volume method Differential equations, Partial -- Numerical solutions. fast (OCoLC)fst008...
図書
edited by Hiroshi Fujita, Masaaki NakamuraGakkotosho2008.4<M18-B873>
国立国会図書館全国の図書館
  • 内容細目...f higher-order numerical integration formulas for integration of...... high-accurate numerical computations o......nio Kuwahara 著 Numerical simulations for non-equilibriu......es on implicit partial differential equations Paolo Marcelli......element method for industrial app......near diffusion equations in image filte......matical models for damage Monitor......iple precision for simultaneous linear equations Hideo Sakaguch......ations control for a linear-quadr......n Jun Sekine 著 Numerical simulation and...... tuning method for credit scoring models using m...
図書
Victoriano RuasWiley2016
全国の図書館
  • 件名Differential equations, Partial Boundary value problems
  • 件名(識別子)Differential equations, Partial Boundary value problems
図書
Springer-Verlag1995.<M17-01-1814>
国立国会図書館
  • 一般注記Papers. Index term: partial differential equations ; adaptive numerical methods ; modeling generation ; mesh ...
  • 並列タイトル等(連結)partial differential equations ; adaptive numerical methods ; modeling generation ; mesh ...
  • 並列タイトル等partial differential equations ; adaptive numerical methods ; modeling generation ; mesh ...
図書
Joël ChaskalovicSpringerc2014
全国の図書館
  • 件名Engineering mathematics Differential equations, Partial Finite element method
  • 件名(識別子)Engineering mathematics Differential equations, Partial Finite element method
図書
World Scientific1992.<M17-92-1744>
国立国会図書館
  • 一般注記Selected papers. Index term: numerical methods ; partial differential equations ; computational mathematics. ...
  • 並列タイトル等(連結)numerical methods ; partial differential equations ; computational mathematics
  • 並列タイトル等numerical methods ; partial differential equations ; computational mathematics
図書
edited by N. Kenmochi, M. Otani, S. ZhengGakkotosho2004.3<M18-B504>
国立国会図書館全国の図書館
  • 内容細目...Weak solutions for Stefan problem......w-up phenomena for a nonlocal par......near diffusion equations with boundary ......dient mappings for non-smooth fun......zed generators for nonlinear none......erence schemes for degenerate par......lic-hyperbolic equations by Y. Kobayash......attering rates for the wave equat...... a balance law for microforces by A. Miran......p-Lq estimates for damped wave equations and their appl......fect and their numerical simulation by ......ttractor in H4 for the nonlinear ...... Navier-Stokes equations by Y. Qin The ...... by R. Racke A numerical method for tracking the level set in one...
記録メディア記事
降籏 大介<YH247-1279>計算工学講演会論文集 = Proceedings of the Conference on Computational Engineering and Science / 日本計算工学会 編21:2016.5p.3p
国立国会図書館全国の図書館
  • 件名discrete variational derivative method structure preserving method partial differential equation
  • 並列タイトル等(連結)...ure preserving numerical method for nonlinear partial differential equations
  • 並列タイトル等...ure preserving numerical method for nonlinear partial differential equations
デジタル記事
2010-12-09
全国の図書館
  • 参照...ference scheme for the Falk model......ge Runge-Kutta methods A second-order......serving scheme for the Cahn-Hilli......ference scheme for 1D Cahn–Hillia......iable approach for conservative/dissipative partial differential equations with unbounded......erence schemes for a semilinear t......error estimate for structure-pres......ference scheme for the Falk model......serving scheme for a non-local Al......erving schemes for the Hamilton e......age-difference methods'' Constructing......ant-preserving numerical schemes based ......ivative method for coupled partial differential equations A new proof of......serving scheme for Einstein equations A conserva...
  • 並列タイトル等A Structure-Preserving Numerical Method for Partial Differential Equations
図書
Richard BernatzWileyc2010
全国の図書館
  • 件名Fourier series Differential equations, Partial -- Numerical solutions
  • 件名(識別子)Fourier series Differential equations, Partial -- Numerical solutions
図書
Daisuke Furihata, Takayasu MatsuoCRC Pressc2011
全国の図書館
  • 件名Differential equations, Partial -- Numerical solutions Nonl...... MATHEMATICS / Differential Equations bisacsh MATHEMATICS / Applied...
  • 件名(識別子)Differential equations, Partial -- Numerical solutions Nonl...... MATHEMATICS / Differential Equations bisacsh MATHEMATICS / Applied...
  • 関連情報Chapman & Hall/CRC numerical analysis and scientific compu...
デジタル記事
降籏 大介, 松尾 宇泰2014数学66 2p.135-156
インターネットで読める全国の図書館
  • 件名Numerical Analysis Partial Differential Equation Struc......ure-Preserving Numerical Method Discrete Variational D...
  • 並列タイトル等(連結)...ure-preserving numerical method for partial differential equations——
  • 並列タイトル等...ure-preserving numerical method for partial differential equations——