Nonlinear Theory and Its Applications, IEICE
Online ISSN : 2185-4106
ISSN-L : 2185-4106
Special section on Recent Progress in Verified Numerical Computations
Validated computation of global solutions to ODEs
Masato Harikae, Nobito Yamamoto
著者情報
キーワード: validated numerics, dynamical systems
ジャーナル フリー

2013 年 4 巻 1 号 p. 88-96

詳細
PDFをダウンロード (409K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 2013 The Institute of Electronics, Information and Communication Engineers
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top