書誌事項
- タイトル別名
-
- On the Efficiency of Geometry Theorem Proving by Grobner Bases
- グレブナー キテイ ニ ヨル キカ テイリ ノ ダイスウテキ ショウメイ ノ コウリツ ニ ツイテ
この論文をさがす
抄録
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.
収録刊行物
-
- 日本応用数理学会論文誌
-
日本応用数理学会論文誌 17 (2), 183-193, 2007
一般社団法人 日本応用数理学会
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1390282680744497408
-
- NII論文ID
- 110006317525
-
- NII書誌ID
- AN10367166
-
- ISSN
- 09172246
- 24240982
-
- NDL書誌ID
- 8882924
-
- 本文言語コード
- ja
-
- データソース種別
-
- JaLC
- NDL
- CiNii Articles
-
- 抄録ライセンスフラグ
- 使用不可