CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介(ラボラトリーズ)

DOI Web Site

書誌事項

タイトル別名

Introduction of CREST Program : Establishment of Foundations of Verified Numerical Computations for Nonlinear Systems and Error-free Algorithms in Computational Engineering(Laboratories)
ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介
ラボラトリーズ CREST ケンキュウカダイ「ヒセンケイケイノセイドホショウツキスウチケイサンホウノキバントエラーフリーナケイサンコウガクアルゴリズムノタンキュウ」ノショウカイ