グレブナー基底による幾何定理の証明について (II) : イデアル成分の分解の利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
スポンサーリンク
概要
著者
関連論文
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- 代数方程式の折紙による解法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グレブナー基底による幾何定理の代数的証明の効率について
- グレブナー基底による幾何定理の証明について (II) : イデアル成分の分解の利用 (Computer Algebra : Design of Algorithms, Implementations and Applications)
- 宮城清行「明元算法」に現れる連立代数方程式の解について (第18回日本数式処理学会大会報告)
- 古今算法記遺題の数値解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- Risa/Asir による Euclid 幾何定理証明プログラムの実装
- Solving Cubic Equations by ORIGAMI(Computer Algebra : Design of Algorithms, Implementations and Applications)
- 折り紙による3次方程式の解法について
- 固有値法による連立代数方程式のRUR計算について
- 折り紙による角の三等分について
- 宮城清行「明元算法」に現れる連立代数方程式の解について
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- 有理数行列のFrobenius標準形のモジュラー計算法 (Computer Algebra : Algorithms, Implementations and Applications)
- 数式処理を用いた暗号アルゴリズムの実験的評価
- 円内接多角形問題と「算法発揮(1690)」における解について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- シュタイナー環におけるデカルトの円定理の拡張について : Extended Abstract (数式処理 : その研究と目指すもの)