書誌事項
- タイトル別名
-
- Using the log method based on stabilization theory to factor polynomials over algebraic number fields (Computer Algebra : Foundations and Applications)
- アンテイカ リロン ニ モトズク ケイサン リレキホウ ノ ダイスウタイ ジョウ ノ インスウ ブンカイ エ ノ テキヨウ
この論文をさがす
抄録
The log method based on stabilization theory was proposed by Shirayanagi and Sweedler, to reduce the amount of exact computations as much as possible to obtain the exact results. This method is a floating-point interval method with zero rewriting and symbols. Zero rewriting rewrites an interval coefficient into the zero interval if the interval contains zero. Symbols are used to keep track of the execution path of the original algorithm with exact computations, so that the associated real coefficients can be found by evaluating the symbols. After the algorithm terminates, one evaluates the symbols of the output and get a result with exact coefficients. There are two kinds of the log methods: ISZ method and ISCZ method, depending on the treatment of zero rewriting for interval coefficients with symbols. In this paper, we show the efficiency of the ISZ method by applying it to the factorization of polynomials over algebraic number fields.
収録刊行物
-
- 数理解析研究所講究録
-
数理解析研究所講究録 2224 32-45, 2022-06
京都大学数理解析研究所
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1050576966671364864
-
- NII書誌ID
- AN00061013
-
- HANDLE
- 2433/279669
-
- NDL書誌ID
- 032427746
-
- ISSN
- 18802818
-
- 本文言語コード
- ja
-
- 資料種別
- departmental bulletin paper
-
- データソース種別
-
- IRDB
- NDL