近似計算を用いた代数的数のゼロ判定法
スポンサーリンク
概要
- 論文の詳細を見る
- 日本応用数理学会の論文
- 2004-12-22
著者
関連論文
- 数式処理と数値計算の融合
- 係数に誤差を持つ多項式同士の整除性判定
- 係数に誤差を含む多項式同士の整除性判定 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- IMACS-ACA'99の参加報告
- 5.量子回路の自動設計手法(量子コンピュータと量子計算)
- 円に関する人間らしい初等幾何証明を生成するための推論方法 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 人間らしい初等幾何証明における角の取り扱いについて (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何の自動証明における効率的な補助線の発見法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 初等幾何における読みやすい証明の生成手法について (Computer Algebra : Algorithms, Implementations and Applications)
- スピンの交換だけを用いた量子コンピュータにおける厳密なCNOTの存在