Search results 193
Paper図書
National Diet Library
- Contents...asic Principle of the Verificati......nt Formulation of the Problem Fi......closure Method of Solutions Criterion for......Simple Example of FS-Int Other Examples of FS-Int Case of Non-convex Dom......on Computation of the Constant c......h) Computation of the Constants ......c₄ Computation of the Constant K₁ Computation of the Constant K₂ Computation of the Constant K......Simple Example of FN-Int Other Examples of FN-Int Simplif......for Bifurcated Solutions Some Refineme......ion An Example of Direct Residua......g Verification of the Local Uniq......e Verification of the Local Uniq......cal Uniqueness of the Solution Verification Alg...
- Subject HeadingDifferential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.
Paper図書
National Diet LibraryOther Libraries in Japan
- Authority（Subject Heading/altLabel）Differential equations, Partial
- Note (General)原タイトル: Numerical solution of partial differential equations
- Additional TitleNumerical solution of partial differential equations
Paper図書
National Diet Library
- ContentsFirst order-differential equations Second-order linear equations Higher-order linear equations Series solutions of second-order linear equations The Laplace tr......nsform Systems of first-order linear equations Numerical methods Nonlinear differential equations and stability Partial differential equations and Fourier series Boundary v...
- Subject HeadingDifferential equations. Boundary value problems.
- Note (General)...e's Elementary Differential Equations and Boundary Value Problems, ...
Digital電子書籍・電子雑誌図書
Available onlineNational Diet Library
Paper規格・テクニカルリポート類
National Diet Library
Paper図書
National Diet LibraryOther Libraries in Japan
- ContentsLarge time behavior of a solution to the one-dim......otic behaviour of the p-Laplace ......t, Y. Xie Weak solutions for Stefan pr......time behaviour of solutions to non-isothe......near diffusion equations with boundary ......Chunpeng Index of the gradient m......hi Convergence of monotone diffe......lic-hyperbolic equations by Y. Kobayash...... non-existence of weak solutions to a degenera......eng On a class of parabolic free......eneralizations of Cahn-Hilliard ......ce law for microforces by A. Mir......or damped wave equations and their appl......fect and their numerical simulation by ...... Navier-Stokes equations by Y. Qin The Cahn-Hilliard e...
Paper図書
National Diet Library
- Toc / ArticleTABLE OF CONTENTS ORGAN......CE METHODS FOR PARTIAL DIFFERENTIAL EQUATIONS/ 3 John Noye B......rdle INVERSION OF LARGE SPARSE M......ED PAPERS/ 397 NUMERICAL SIMULATION OF TIDES IN THE GULF OF CARPENTARIA/ 3......ichael Teubner NUMERICAL MODELLING OF LONG WAVES/ 43......ION IN A MODEL OF A LAYERED AQUI......YSTEM A SIMPLE NUMERICAL TREATMENT/ 471......idson A REVIEW OF THE METHODS OF SOLUTION OF HYPERBOLIC EQUATIONS FOR ELECTRON A......w COMPUTATIONS OF CHEMICAL REACT...... SPECIFICATION OF MASS IN A PORTION OF THE DOMAIN/ 52......FINITE ELEMENT SOLUTION FOR PARTIAL DIFFERENTIAL EQUATIONS/ 541 Grant P. ......teven ANALYSIS OF ACOUSTIC RESONANCE IN A MOTOR...
- Subject Heading偏微分方程式. Differential equations, Partial -- Numerical solutions -- Congresses.
- Author HeadingConference on the Numerical Solutions of Partial Differential Equations (1981 : Melbourne University)...
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingNumerical grid generation (Numerical analysis) -- Congresses. Differential equations, Partial -- Numerical solutions -- Congresses. Fluid dynamic...
- Note (General)"The text of this book appears simultaneou...
- Author HeadingSymposium on the Numerical Generation of Curvilinear Co......eir Use in the Numerical Solution of Partial Differential Equations (1982 : Nashvi......es. Air Force. Office of Scientific Research. Mississi...
Paper博士論文
National Diet Library
Paper図書
National Diet Library
- Subject HeadingDifferential equations, Partial -- Numerical solutions -- Congresses.
- Author Heading...rt. University of Maryland. Inst......cs. University of Maryland. Comp......mposium on the Numerical Solution of Partial Differential Equations.
Paper図書
National Diet Library
- ContentsOpen 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...
Paper規格・テクニカルリポート類
National Diet Library
Paper図書
Other Libraries in Japan
- Subject HeadingDifferential equations, Partial -- Numerical solutions -- Congresses
- Subject Heading (ID)Differential equations, Partial -- Numerical solutions -- Congresses
Paper図書
National Diet LibraryOther Libraries in Japan
- Subject HeadingDifferential equations.
- Title HeadingProceedings of summer schools organised by t...
Paper図書
Other Libraries in Japan
- Subject HeadingFinite element method Differential equations, Partial -- Numerical solutions
- Subject Heading (ID)Finite element method Differential equations, Partial -- Numerical solutions
Paper図書
Other Libraries in Japan
- Subject HeadingDecomposition method Differential equations, Partial -- Numerical solutions
- Subject Heading (ID)Decomposition method Differential equations, Partial -- Numerical solutions
Paper図書
National Diet LibraryOther Libraries in Japan
- Contents... Effectiveness of higher-order numerical integration fo......or integration of continuous pie...... high-accurate numerical computations of ill-posed prob......als grown from solution-a stefan type ......ddy simulation of a flow around ......nio Kuwahara 著 Numerical simulations fo......es on implicit partial differential equations Paolo Marcelli......tions:dynamics of TCDS collimato......near diffusion equations in image filte......epayment model of mortgage-backe......iodic function of a free boundary problem of hyperbolic typ......rror estimates of bi-harmonic pr......nd restoration of cultural herit......llel computing of interval arithmetic in multip...
Paper図書
Other Libraries in Japan
Paper図書
Other Libraries in Japan
- Subject HeadingDifferential equations, Partial -- Numerical solutions
- Subject Heading (ID)Differential equations, Partial -- Numerical solutions
Paper図書
Other Libraries in Japan