計算履歴法の一般逆行列計算に対する有効性について

摘要

数式処理のアルゴリズムは,基本的に厳密計算を前提としている.素朴に近似計算を使って実行すると,誤差の影響で真の出力に近づかないばかりか,全く異なる出力を出すことさえある. このような現象を不安定性と呼ぶ.この不安定性を解消するために,白柳らは代数的アルゴリズムの安定化手法を提案した.その安定化手法に基づき提案されたISCZ法ではシンボル付きの区間演算を導入し,計算履歴を残すことにより厳密解を得ることができる.