精度保証付き多倍長並列演算環境の構築と計算機援用解析への展開
山本野人(電気通信大学)

概要

既存のものより高速でメモリ効率が良く使いやすい精度保証付き多倍長並列演算ライブラリを作成し，数学的未解決問題に対する計算機援用証明への応用を目指す．今年度は、基本演算関数の作成と各種数学関数の設計・実装，および，連立1次方程式・固有値・特異値問題など精度保証付き線形計算ライブラリの整備を行う．

N/A