Conference

Basic information

Name MORIKURA Yusuke
Belonging department
Occupation name
researchmap researcher code
researchmap agency

Title

Verification methods for system of linear equations including irrational numbers

Author

Journal

The 14th Asia Simulation Conference & The 33rd JSST Annual Conference: International Conference on Simulation Technology AsiaSim&JSST2014, Kitakyusyu-City

Publication Date

2014/10

Start Date

 

End Date

Invited

Language

Country/Region

Conference Class

International conferences

International Collaboration

Conference Type

Promoter

Venue

URL

Format

Url

Download

Summary

無理数を係数に持つ連立一次方程式の精度保証付き数値計算において計算時間を変えることなく計算する手法を提案した.通常.浮動小数点数を係数にもつ連立一次方程式を対象として取り扱うが,無理数を取り扱う場合区間での計算が必要になり計算量の増加が考えられる.本発表では計算時間を変えることなくより広い範囲で精度保証できることを示した. 担当:筆頭著者として,主たる研究を行い,発表を行った. 著者:森倉悠介,大石進一