田中 啓治 | 理化学研究所情報科学研究室
スポンサーリンク
概要
理化学研究所情報科学研究室 | 論文
- 4. 数式処理と数値計算の融合による精度保証 (精度保証付き数値計算とその応用)
- PC-PRS GCD算法の改良(数式処理と数学研究への応用)
- On Sturm Sequence with Floating-point Number Coefficients
- Four New Algorithms for Multivariate Polynomial GCD
- 2) 陰極線管の分解能の改良について(第24回 テレビジョン電子装置研究委員会)