東京都立大学図書館

自己検証的算法とその応用

京都大学数理解析研究所, 1988. -- (数理解析研究所講究録 ; 673). <BB00993378>
登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 資料ID 請求記号 状態 返却予定日 予約 WEB書棚
0001 数理科学 理:数理科学図書室 レクチャーノート 10001458423 /410/Su76k/673 0件
No. 0001
巻号
所蔵館 数理科学
配置場所 理:数理科学図書室 レクチャーノート
資料ID 10001458423
請求記号 /410/Su76k/673
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 自己検証的算法とその応用
ジコ ケンショウテキ サンポウ ト ソノ オウヨウ
出版・頒布事項 [京都] : 京都大学数理解析研究所 , 1988.11
形態事項 ii,138p ; 26cm
書誌構造リンク 数理解析研究所講究録||スウリ カイセキ ケンキュウショ コウキュウロク <BB00036669> 673//a
その他の標題 異なりアクセスタイトル:[The self-verifiable law of composition and its application]
内容著作注記 Validation of numerical computation / Louis B. Rall
内容著作注記 A criterion for finding existence and nonexistence domains of solutions of nonlinear equations / 陳小君, 山本哲朗
内容著作注記 Some experiments on new ACRITH : self-validating SOR algorithm / 棚町芳弘, 奥田晃
内容著作注記 Multi-objective optimization using interval analysis / 藤井康雄
内容著作注記 The interval arithmetic for the ill-conditioned polynomial equation / 野田松太郎, 佐々木建昭
内容著作注記 Fast automatic differentiation and interval estimates of rounding errors / 久保田光一, 伊理正夫
内容著作注記 Periodic solutions of Duffing equation / 山口昌哉, 吉原英昭, 西田孝明
内容著作注記 On applications of interval arithmetic to circuit analysis / 奥村浩士, 木嶋昭
内容著作注記 A numerical approach to the proof of existence of solutions for elliptic problems / 中尾充宏
内容著作注記 The mathematical structure of incomplete constructive calculus / 八杉満利子
内容著作注記 浜田方式の数表現に対する誤差解析試論 / 一松信
ハマダ ホウシキ ノ スウ ヒョウゲン ニ タイスル ゴサ カイセキ シロン
注記 「自己検証的算法とその応用」研究集会報告集(1988年6月28日-6月30日) 研究代表者:山本哲朗
学情ID BN09055255
本文言語コード 日本語 英語
著者標目リンク 京都大学数理解析研究所||キョウト ダイガク スウリ カイセキ ケンキュウショ <AU00064589>