自己検証的算法とその応用
著者
書誌事項
自己検証的算法とその応用
（数理解析研究所講究録, 673）
京都大学数理解析研究所, 1988.11
- タイトル別名
-
[The self-verifiable law of composition and its application]
- タイトル読み
-
ジコ ケンショウテキ サンポウ ト ソノ オウヨウ
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
「自己検証的算法とその応用」研究集会報告集(1988年6月28日-6月30日) 研究代表者:山本哲朗
収録内容
- 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 / 八杉満利子
- 浜田方式の数表現に対する誤差解析試論 / 一松信
