このアイテムのアクセス数: 139

このアイテムのファイル:
ファイル 記述 サイズフォーマット 
1733-10.pdf882.52 kBAdobe PDF見る/開く
完全メタデータレコード
DCフィールド言語
dc.contributor.authorTakayasu, Akitoshien
dc.contributor.authorOishi, Shinichien
dc.contributor.alternative高安, 亮紀ja
dc.contributor.alternative大石, 進一ja
dc.contributor.transcriptionタカヤス, アキトシja
dc.contributor.transcriptionオオイシ, シンイチja
dc.date.accessioned2013-02-28T07:20:06Z-
dc.date.available2013-02-28T07:20:06Z-
dc.date.issued2011-03-
dc.identifier.issn1880-2818-
dc.identifier.urihttp://hdl.handle.net/2433/170738-
dc.format.mimetypeapplication/pdf-
dc.language.isoeng-
dc.publisher京都大学数理解析研究所ja
dc.subject.ndc410-
dc.titleA refinement technique to residual evaluation of Computer assisted proofs for Semilinear elliptic boundary value problems (Mathematical foundation and development of algorithms for scientific computing)en
dc.typedepartmental bulletin paper-
dc.type.niitypeDepartmental Bulletin Paper-
dc.identifier.ncidAN00061013-
dc.identifier.jtitle数理解析研究所講究録ja
dc.identifier.volume1733-
dc.identifier.spage118-
dc.identifier.epage126-
dc.textversionpublisher-
dc.sortkey10-
dc.addressGraduate School of Fundamental Science and Engineering, Waseda Universityen
dc.addressDepartment of Applied Mathematics, Faculty of Science and Engineering, Waseda University・CREST, JSTen
dc.address.alternative早稲田大学基幹理工学研究科ja
dc.address.alternative早稲田大学理工学研究科・CREST, JSTja
dcterms.accessRightsopen access-
出現コレクション:1733 科学技術計算アルゴリズムの数理的基盤と展開

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

Export to RefWorks


出力フォーマット 


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