採択課題 【詳細】
11-NA07 | 精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開 |
---|---|
課題代表者 | 山本野人(電気通信大学) |
概要 | 既存のものより高速でメモリ効率が良く使いやすい精度保証付き多倍長並列演算ライブラリを作成し,数学的未解決問題に対する計算機援用証明への応用を目指す.今年度は、基本演算関数の作成と各種数学関数の設計・実装,および,連立1次方程式・固有値・特異値問題など精度保証付き線形計算ライブラリの整備を行う. |
関連Webページ | |
報告書等 | 研究紹介ポスター / 最終報告書 |
業績一覧 | (1) 学術論文 (査読あり) |
該当なし | |
(2) 国際会議プロシーディングス (査読あり) | |
該当なし | |
(3) 国際会議発表(査読なし) | |
該当なし | |
(4) 国内会議発表(査読なし) | |
該当なし | |
(5) 公開したライブラリなど | |
該当なし | |
(6) その他(特許,プレスリリース,著書等) | |
該当なし |
無断転載禁止