検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
「数式処理と数学研究への応用」研究集会 : はしがき(数式処理と数学研究への応用) 一松, 信 (1983-04) 数理解析研究所講究録, 486: 1-3 | |
幾何の定理を計算機に証明させる試み : 呉文俊教授の成果 (数式処理と数学研究への応用) 一松, 信 (1980-12) 数理解析研究所講究録, 406: 93-99 | |
数式処理の実例 (数式処理と数学研究への応用) 一松, 信 (1980-12) 数理解析研究所講究録, 406: 47-51 | |
京都大学数理解析研究所図書室とデータベースRIMS PICMSについて (数学分野の情報検索 : 現状と方策) 中司, 里美; 一松, 信 (1981-06) 数理解析研究所講究録, 433: 41-63 | |
数学分野の情報検索について (数学分野の情報検索 : 現状と方策) 一松, 信 (1981-06) 数理解析研究所講究録, 433: 20-31 | |
初等函数の統一的計算法CORDICによる (非線型方程式の数値解析) 一松, 信 (1973-10) 数理解析研究所講究録, 190: 156-165 | |
絶対単調数列に関する性質 (不等式に関する研究) 一松, 信; 荒木, 不二洋 (1973-11) 数理解析研究所講究録, 191: 81-83 | |
誤差評価と不等式 (不等式に関する研究) 一松, 信 (1973-11) 数理解析研究所講究録, 191: 34-41 | |
IFIP, W.G., 2.5の報告 : 特に新浮動小数点標準体系について (数学的ソフトウェアの評価) 一松, 信 (1979-07) 数理解析研究所講究録, 359: 1-14 | |
自由討論 : Library programのテストについて : 数理解析研究所での実験報告と討論 (数値解析の基礎理論) 一松, 信 (1971-01) 数理解析研究所講究録, 107: 114-118 |
絞り込み
発行日
分類
- 56 410