グレブナー基底による幾何定理の代数的証明の効率について
スポンサーリンク
概要
- 論文の詳細を見る
We show experimental results for proving Euclidean geometry theorems by Grobner bases method. In 1988, Chou Shang-Ching proved 512 theorems by Wu's method, and reported that 35 of them remained unsolvable by Grobner bases method. In this paper, we tried to prove these 35 theorems by Grobner basis method using three kinds of computer algebra systems : Reduce, Maple and Risa/Asir. As a result, we succeeded in proving 26 theorems but have found that the rest 9 theorems are essentially difficult to compute Grobner vases. We show the table of timing data and discuss several devices to complete the proof.
- 日本応用数理学会の論文
- 2007-06-25
著者
関連論文
- 和算における「冪乗演段」で扱われた連立代数方程式の解について
- 代数方程式の折紙による解法について (Computer Algebra : Design of Algorithms, Implementations and Applications)
- グレブナー基底による幾何定理の代数的証明の効率について
- 整数行列のFrobenius標準形のモジュラー計算法(II) (Computer Algebra : Algorithms, Implementations and Applications)
- 整数行列のFrobenius標準形のモジュラー計算法
- 行列の固有値・固有ベクトル・一般固有ベクトルの数式処理による記号的計算法
- 整数行列のFrobenius標準形のモジュラー計算法 (数式処理における理論と応用の研究)
- ISSAC'99参加報告
- ISSAC'98見聞録
- RISC-Linz, Johannes Kepler Universitat(Overseas,Laboratories)
- 数式処理による行列の有理標準形からJacobson標準形への変換行列の計算法(数式処理における理論と応用の研究)
- 行列の有理標準形の分数なし計算法
- 数式処理による行列の標準形の厳密計算法
- 行列のJordan標準形の数式処理による厳密計算法
- 数式処理による行列のJordan標準形の構成法
- グレブナー基底による幾何定理の証明について (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 (数式処理 : その研究と目指すもの)