検索結果 8 件

図書
Mitsuhiro T. Nakao, Michael Plum, Yoshitaka Watanabe.Springer[2019]<MA117-D2>
国立国会図書館
  • 内容細目...asic Principle of the Verification Fixed-Point Formulation of the Problem Fi......closure Method of Solutions Criterion for Infinite-Dimen......Part Criterion for Finite-Dimensi......Simple Example of FS-Int Other Examples of FS-Int Case of Non-convex Domain An Example for ... -Error Est......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......Nh Fixed-Point Formulation by New......Simple Example of FN-Int Other Examples of FN-Int Simplif......n Verification for Bifurcated Sol......ments Residual Formulation Direct Residual Formu...
  • 件名Differential equations, Partial. Automatic theorem p...
図書
edited by Saber Elaydi, Kazuo Nishimura, Mitsuhiro Shishikura, Nobuyuki ToseThe Mathematical Society of Japanc2009<MA117-B96>
国立国会図書館
  • 内容細目On periodic points of 2-periodic dynamical systems Joao Ferreira ......otic behaviour of a nonlinear st......tic properties of solutions of the discrete analogue of the Emden-Fowl......iate solutions for nonlinear difference equations with ρ-Laplaci......llation theory of symplectic difference systems Ondrej Dosly 著......odic solutions of periodic difference equations Tetsuo Furumoc...... the existence of almost periodi......a 著 Inefficacy of temporary poli......tential theory for iterated maps of the interval C.Correia Ramo......lobal behavior of a two-dimensio......ity conditions for a delay differ......aracterization of equilibrium paths in the two-...
  • 一般注記... on Difference Equations and Applicatio...... on the campus of Kyoto University, July 24-28,...
  • シリーズ著者・編者chief editor of the series: Toshitake Kohno edited by the Mathematical Society of Japan
図書
Arnold NeumaierCambridge University Press2008, c1990
全国の図書館
  • 件名Interval analysis (Mathematics) Equations -- Numerical solutions
  • 件名(識別子)Interval analysis (Mathematics) Equations -- Numerical solutions
  • 一般注記"Paperback re-issue"--P. [4] of cover "First published 1990. ...
図書
Cambridge University Press1990.<MA251-A20>
国立国会図書館全国の図書館
  • 件名数値計算. 方程式. Interval analysis (Mathematics) Equations -- Numerical solutions.
  • タイトル標目Encyclopedia of mathematics and its applicati...
デジタル記事
1991-01-25
全国の図書館
  • 要約等<jats:p>An interval is a natural way of specifying a n......in tolerances. Interval analysis consists of the tools and methods needed to solv...... and nonlinear systems of equations in the presence of data uncertain......ivity analysis of solutions of equations depending on p......, the solution of global nonline......e verification of results obtain...... those aspects of the theory whi......sis (existence of solutions to nonlinear systems) are proved, often from a novel and more gene...
  • 参照...Rank Variation for Fragile Web Da......ing Enclosures for the Matrix Mit......er assisted proof of chaos in the M......operties Using Interval Analysis
図書
Arnold NeumaierCambridge University Press1990
全国の図書館
  • 件名Interval analysis (Mathematics) Equations -- Numerical solutions
  • 件名(識別子)Interval analysis (Mathematics) Equations -- Numerical solutions
  • 関連情報Encyclopedia of mathematics and its applicati...
デジタル記事
1989-03Computing43 1p.73-84
全国の図書館
  • 件名...puter Science Software
  • 参照A Share-Correctable Protocol for the Shamir Threshold Scheme a...

検索結果は以上です。