検索結果 38 件
紙図書
国立国会図書館
- 内容細目First 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...
- 件名Differential equations. Boundary value problems.
- 一般注記...e's Elementary Differential Equations and Boundary Value Problems, ...
紙図書
国立国会図書館
- 内容細目...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 Refinemen......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...
- 件名Differential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.
紙図書
国立国会図書館全国の図書館
- 内容細目Large time behavior of a solution to ......otic behaviour of the p-Laplace ......t, Y. Xie Weak solutions for Stefan pro......time behaviour of solutions to non-isother......ures by A. Ito Nonlinear diffusion equations with boundary ......y and gradient nonlinearity by Y. Jingx......Chunpeng Index of the gradient m......generators for nonlinear nonexpansive s......hi Convergence of monotone diffe......lic-hyperbolic equations by Y. Kobayash...... non-existence of weak solutions to a degenerat......eng On a class of parabolic free......eneralizations of Cahn-Hilliard ......ce law for microforces by A. Mir......or damped wave equations and their applications from G...
紙図書
国立国会図書館全国の図書館
- 内容細目... Effectiveness of higher-order numerical integration fo......or integration of continuous pie...... high-accurate numerical computations of ill-posed prob......back trading a nonlinear model Massimil......ddy simulation of a flow around ......nio Kuwahara 著 Numerical simulations fo......plicit partial differential equations Paolo Marcelli......tions:dynamics of TCDS collimato......uca Massidda 著 Nonlinear 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 heritage R.Natalini,...
紙図書
国立国会図書館
- 内容細目...s ; 1.2. Types of inverse proble......lgram and weak solutions to boundary va......tochastic view of inverse proble......le filters and nonlinear Bayesian data ......6. Programming of numerical algorithms and......egral equation of the first kind......; 6.5. Integro-differential equations and neural fie...... 8. Simulation of waves and fiel.......2. Simulation of wave scatterin......tered waves 9. Nonlinear operators : 9........1. Uniqueness of inverse proble......0.5. Stability of cycled data as......; 10.6. Review of convergence co......ampling method of Colton and Kir......and range test of Schulz and Potthast ; 14.4. E...
- 件名Inverse problems (Differential equations) Stochastic processes.
紙図書
国立国会図書館
- 目次・記事...Patrick BERNARD||Boris BUFFONI H......amic limit and nonlinear PDEs with sing......FUNAKI PDE and differential geometry in study of motion of elastic wires/......OISO Evolution of stable phases ......ward parabolic equations/ 451 Corrado MASCIA||Andrea TERRACINA||Alberto TESEI A......Bin PAN Method of the blowup env......Takashi SUZUKI Numerical study and exam...... singularities of solutions to anisotropic......urvature flows of nonconvex poly......3 Chiaki HIROTA||Tetsuya ISHIWATA||Shigetoshi YAZA......565 Masato IIDA||Kimie NAKASHIMA||Eiji YANAGIDA S......A Perturbation of structures of radial solutions to elliptic equations/ 589 Yo...
- 内容細目... Kan-on Global solutions to a one-dimensional nonlinear parabolic syst......kagi Existence of standing waves for the nonlinear Schrodinger eq......h double power nonlinearity and harmoni......namical system of a parabolic eq......o self-similar solutions for semilinear heat equations by Yuki Naito Determination of the limit sets of trajectories of the Gierer-Mei......symptotic form of solutions of the Tadjbakhsh......obal existence of a reaction-dif......i Osaki Blowup solutions to some system......ba On the role of the source terms in an activa...
- シリーズ著者・編者chief editor: Toshitake Kohno edited by the Mathematical Society of Japan
マイクロ図書
国立国会図書館
- 件名Numerical analysis Scala......mptotic series Nonlinearity Nonlinear systems Asymptotes
- 並列タイトル等（連結）Global asymptotic behavior of time discretizations
- 並列タイトル等Global asymptotic behavior of time discretizations
紙図書
全国の図書館
- 件名Differential equations, Parabolic
- 件名（識別子）Differential equations, Parabolic
Stability of analytical and numerical solutions of nonlinear stochastic delay differential equations
デジタル記事
全国の図書館
- 参照...uare stability of explicit Runge......ochastic delay differential equations
紙デジタル博士論文障害者向け資料あり
インターネットで読める国立国会図書館
- 目次・記事...ons 1.2 Linear Differential Operators Chap......2.2 Properties of Almost Periodi......ns for Bounded Solutions 2.4 Regular Differential Operators Chap...... 4.1 Statement of the Theorem 4.2 Proof of the Theorem Ch......Green Function of Linear Differential Equation Chapt......o Second Order Differential Equation with ......Equation and a Numerical Example References
記事
全国の図書館
デジタル記事
インターネットで読める全国の図書館
- 要約等In this paper, a numerical method is pres......and uniqueness of solutions to two-point b......value problems of nonlinear ordinary differential equations. Taking into a......nt every error of numerical computations s......ns obtained by numerical computations a...... proven by the numerical existence theo......, illustrative numerical results are pr......the usefulness of the method.
- 件名Computer assisted proof Guaranteed err......element method Numerical computations with result veri...
- 参照...n for inverses of linear operato......lbert spaces A numerical verification method for nonlinear functional equations based on infin......ms on Verified solutions of two-point boun......e problems for nonlinear oscillators A method of computer assisted proof for nonlinear two-point boundary value prob...
デジタル記事
インターネットで読める全国の図書館
デジタル記事
全国の図書館
- 件名...and Simulation Numerical Analysis
- 参照On the Structure of Numerical Solutions of Flow Simulatio......thematical and Numerical Analyses of Dynamical Structure of Numerical Solutions of Two-Dimensional Fluid Equations
紙記事
全国の図書館
記事
全国の図書館
デジタル文書・図像類
全国の図書館
- 一般注記application/pdf 博士学位論文の要旨及び審査結果の要旨 (Summary of Thesis(DR)) 266366 bytes I1H1...
デジタル記事
全国の図書館
- 件名...and Simulation Numerical Analysis
- 参照...ionary partial differential equations