検索結果 62 件
紙図書
国立国会図書館
- 内容細目...asic Principle of the Verification F......nt Formulation of the Problem Finite......closure Method of Solutions Criterion for......Application to the Second-Order Elliptic Boundary Value......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₃ a......c₄ Computation of the Constant K₁ Computation of the Constant K₂ Computation of the Constant K₃ An......Simple Example of FN-Int Other Examples of FN-Int Simplif......for Bifurcated Solutions Some Refineme......ion An Example of Direct Residua......Estimation for the Finite-Dimensional Part Some ...
- 件名Differential equations, Partial. Automatic theorem proving. Numerical calculations--Verification.
- タイトル標目Springer series in computational mathematics ; 53. 0179-3632
紙図書
国立国会図書館
- 要約等...ced processing of new and emergi......stems based on thermal transport ......s recent areas of considerable g......s, manufacture of electronic com...... applications. The book includes analysis, mathematical modeling, numerical simulation and......rimental study of processes for ....... It discusses the link between the characteristics of the final product and the basic transpor......foundation for the study of a wide range of manufacturing processes."--Bo...
- 内容細目...rust and Scope of the Book Reference....... Chapter 2: Mathematical Modeling of Manufacturing ...... 2.2 Governing Equations 2.3 Common Challenges in Mathematical Modelin......onditions 2.5 Other Challenges Re......es; Chapter 3: Numerical Modeling and E......3.1 Analytical Solution 3.2 Numerical Modeling 3.2.1......ate Imposition of Appropriate Bo......nditions 3.2.2 Numerical Modeling of Complicated Re......3.2.3 Modeling of Combined Mecha......e Modeling 3.3 Numerical Solution 3.4 Verificati......and Validation of the Model 3.5 Modeling of Manufacturing Systems 3.6 Numerical Simulation 3.7......l Growing 4.8 Other Processes and Materials 4.9 ...
紙図書
国立国会図書館
- 要約等... and this book offers a comprehensive account of the basic soliton theory and its app......gh primarily mathematical, the theory for nonline......ntion given to the presence of media where no......ok addresses mathematical theories, but also......gests possible theoretical innovations for many ...
- 内容細目...Hyperbolic and elliptic functions Vari......ng deformation of a rod. Wave pr...... linear string of infinite lengt...... Scattering by the potential V(x)......tic potentials The Korteweg-deVri......quation Steady solutions of the Korteweg-deVri......ion Developing equations of nonlinear vect......ves Bargmann's theorem Riccati's theorem Properties of the Eckart potential in the soliton field ......lies Dynamical theory of collective mot......at dissipation of wave motion Bo......stals Symmetry of media for the Korteweg-deVri......ion Scattering theory One-compone......terings Method of inverse scatte......tes Developing the Korteweg-deVries equation Mul...
- 件名...Nonlinear wave equations. Mathematical physics. Mathematical Physics......CE--Physics--Mathematical & Computational.
紙図書
国立国会図書館
- 目次・記事...Patrick BERNARD||Boris BUFFONI H......metry 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 envelop......Takashi SUZUKI Numerical study and exam...... singularities of solutions to anisotropi......urvature flows of nonconvex poly......3 Chiaki HIROTA||Tetsuya ISHIWATA||Shigetoshi YAZA......ne-dimensional elliptic systems under ......565 Masato IIDA||Kimie NAKASHIMA||Eiji YANAGIDA St......s for a stripe solution in the Gierer-Meinhar......A Perturbation of structures of radial solution...
- 内容細目...tion structure of positive stationary solutions for a competi...... Kan-on Global solutions to a one-dime......kagi Existence of standing waves for the nonlinear Schr......iroaki Kikuchi The Hamiltonian fo......lating zone on the sphere by Bendong Lou On the dynamical 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-Meinhar......symptotic form of solutions of the Tadjbakhsh-Ode......obal existence of a reaction-dif......i Osaki Blowup solutions to some syste......akasi Senba On the role of the source terms in a...
- 一般注記"The Fourteenth MSJ International ...
紙図書
国立国会図書館
- 内容細目...BED extensions of some commutati......to 著 Simple proofs of some L[∞] ineq......H.Shindoh 著 Further extention of an order prese......tisymmetricity of some binary re......ear degenerate elliptic boundary value......tic properties of Bernoulli numbers and the numbers of real roots of Bernoulli poly......epresentations of the solutions of nonlinear simultaneous equations M.Yamada, S.Sa......to 著 Functions of the Nevanlinna class on the boudary T.Naka......nite sequences of inner function......o 著 Polynomial numerical hull of a matrix H.Nak......n fixed points of resolvents of monotone operators in Banach ...
- 典拠情報（Author Heading/「を見よ」参照）Graduate School of Science, Hokkaido University Department of Mathematics, Hokkaido University
紙図書
国立国会図書館
- 内容細目On periodic points of 2-periodic dyn......otic behaviour of a nonlinear st......A.D.Appleby, Catherine Swords 著 A......tic properties of solutions of the discrete analogue of the Emden-Fowler e......著 Intermediate solutions for nonlinear difference equations with ρ-Laplaci...... 著 Oscillation theory of symplectic dif......sly 著 Periodic solutions of periodic difference equations Tetsuo Furumoc......o Muraoka 著 On the existence of almost periodic solutions to a nonlines......e structure in the prey Sophia R.......ed by Jacobian elliptic space curve dy......a 著 Inefficacy of temporary poli......rete potential theory for iterated maps of the i...
- 一般注記"The Eleventh Inter...... on Difference Equations and Applicatio......6) was held on the campus of Kyoto University, July 24-28,...
- シリーズ著者・編者chief editor of the series: Toshitake Kohno edited by the Mathematical Society of Japan
紙図書
国立国会図書館全国の図書館
- 内容細目Large time behavior of a solution to the one-dimensiona......, A. Kadoya On the asymptotic behaviour of the p-Laplace equa......t, Y. Xie Weak solutions for Stefan pr......time behaviour of solutions to non-isothermal phase sepa......near diffusion equations with boundary ......Chunpeng Index of the gradient mappi......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......ring rates for the wave equation ......eneralizations of Cahn-Hilliard ......ce law for microforces by A. Mir......or damped wave equations and their applications from G...
デジタル記事
全国の図書館
- 件名Applied Mathematics General Engineering
- 参照Numerical verification methods for solutions of semilinear elliptic boundary value problems
記事
全国の図書館
- 件名numerical verification method elliptic equations Rayleigh-Benard problem bifur...
記事
全国の図書館
記事
全国の図書館
An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations
デジタル記事
全国の図書館
- 件名Applied Mathematics
- 参照A numerical proof algorithm for the non-existence of solutions to elliptic boundary value......d Computations of Eigenvalue Exc......ng eigenvalues of an elliptic operator linearized at a solution of a nonlinear pr......mulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: with......for an inverse of the linearized ope......n for inverses of linear operato......e verification of solutions for boundary ......式の解に対する数値的存在検証 Numerical verification methods for solutions of semilinear elliptic boundary value......d computations of solutions for nonlinear......bolic problems Numerical verification methods for a sy...
紙図書
全国の図書館
- 件名Differential equations, Elliptic -- Numerical solutions
- 件名（識別子）Differential equations, Elliptic -- Numerical solutions
記事
全国の図書館
An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations
記事
全国の図書館
An efficient approach to the numerical verification for solutions of elliptic differential equations
記事
全国の図書館
An efficient approach to the numerical verification for solutions of elliptic differential equations
記事
全国の図書館
An efficient approach to the numerical verification for solutions of elliptic differential equations
記事
全国の図書館