電子計算機の数学研究への応用 denshi keisanki no sugaku kenkyu eno oyo
この論文にアクセスする
この論文をさがす
著者
書誌事項
- タイトル
-
電子計算機の数学研究への応用
- タイトル別名
-
denshi keisanki no sugaku kenkyu eno oyo
- 著者名
-
井戸川, 知之
- 著者別名
-
イドガワ, トモユキ
- 学位授与大学
-
早稲田大学
- 取得学位
-
博士 (理学)
- 学位授与番号
-
甲第1106号
- 学位授与年月日
-
1996-02-08
注記・抄録
博士論文
制度:新 ; 文部省報告番号:甲1106号 ; 学位の種類:博士(理学) ; 授与年月日:1996-02-08 ; 早大学位記番号:新2261 ; 理工学図書館請求番号:1933
目次
- 目次 / p1 (0003.jp2)
- 1 はじめに / p1 (0006.jp2)
- 2 不等式を扱う数式処理システムの研究 / p10 (0015.jp2)
- 2.1 背景 / p10 (0015.jp2)
- 2.2 論理式の内部表現 / p11 (0016.jp2)
- 2.3 符号条件式の生成 / p18 (0023.jp2)
- 2.4 簡約化アルゴリズム / p23 (0028.jp2)
- 2.5 数式実験結果 / p26 (0031.jp2)
- 2.6 まとめ / p28 (0033.jp2)
- 3 ある非線形常微分方程式の二点境界値問題の実解析性 / p30 (0035.jp2)
- 3.1 手計算による結果 / p30 (0035.jp2)
- 3.2 電子計算機の活用 / p39 (0044.jp2)
- 3.3 まとめ / p48 (0053.jp2)
- 4 エジプト分数表現に関連した問題 / p49 (0054.jp2)
- 4.1 エジプト分数 / p49 (0054.jp2)
- 4.2 Erdös-Strausの予想に対する数値実験 / p52 (0057.jp2)
- 4.3 エジプト分数表現の長さについて / p63 (0068.jp2)
- 4.4 エジプト分数表現の重複項除去とその応用 / p66 (0071.jp2)
- 4.5 まとめ / p77 (0082.jp2)
- 5 一般化された曲線短縮方程式の数値解析 / p78 (0083.jp2)
- 5.1 一般化された曲線短縮方程式 / p78 (0083.jp2)
- 5.2 数値解析 / p82 (0087.jp2)
- 5.3 まとめ / p99 (0104.jp2)
- 6 おわりに / p101 (0106.jp2)
- 謝辞 / p103 (0108.jp2)
- 参考文献 / p105 (0110.jp2)
- 関連業績 / p110 (0115.jp2)
