1. Kyoto University Research Information Repository
  2. 400　数理解析研究所
  3. 2.講究録別冊
  4. B30 Progress in Mathematics of Integrable Systems
このアイテムのアクセス数: 199

    このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/2433/196214
このアイテムのファイル:
ファイル 記述 サイズフォーマット 
B30_008.pdf2.37 MBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド値言語
dc.contributor.author渡部, 善隆ja
dc.contributor.alternativeWatanabe, Yoshitakaen
dc.contributor.transcriptionワタナベ, ヨシタカja-Kana
dc.date.accessioned2015-03-23T09:36:51Z-
dc.date.available2015-03-23T09:36:51Z-
dc.date.issued2012-04-
dc.identifier.issn1881-6193-
dc.identifier.urihttp://hdl.handle.net/2433/196214-
dc.format.mimetypeapplication/pdf-
dc.language.isojpn-
dc.publisher京都大学数理解析研究所ja
dc.publisher.alternativeResearch Institute for Mathematical Sciences, Kyoto Universityen
dc.subject.ndc410-
dc.title微分方程式の精度保証付き数値計算 : 逐次反復に基づく計算機援用証明 (Progress in Mathematics of Integrable Systems)ja
dc.title.alternativeNumerical verification methods for differential equations : Computer-assisted proofs based on infinite dimensional sequential iteration (Progress in Mathematics of Integrable Systems)en
dc.title.transcriptionビブン ホウテイシキ ノ セイド ホショウツキ スウチ ケイサン チクジ ハンプク ニ モトズク ケイサンキ エンヨウ ショウメイ PROGRESS IN MATHEMATICS OF INTEGRABLE SYSTEMSja-Kana
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAA12196120-
dc.identifier.jtitle数理解析研究所講究録別冊ja
dc.identifier.volumeB30-
dc.identifier.spage145-
dc.identifier.epage155-
dc.textversionpublisher-
dc.sortkey08-
dc.address九州大学情報基盤研究開発センターja
dc.address.alternativeResearch Institute for Information Technology, Kyushu Universityen
dcterms.accessRightsopen access-
dc.identifier.pissn1881-6193-
dc.identifier.jtitle-alternativeRIMS Kokyuroku Bessatsuen
出現コレクション:B30 Progress in Mathematics of Integrable Systems

アイテムの簡略レコードを表示する

Export to RefWorks


出力フォーマット 


このリポジトリに保管されているアイテムはすべて著作権により保護されています。