代数制約の構造情報を用いた幾何定理証明の効率化手法の検討 : グレブナ基底による方法への適用
スポンサーリンク
概要
- 論文の詳細を見る
本稿では,代数的手法の一種であるグレプナ基底法を用いた幾何定理証明に対する,代数制約評価の効率化手法の適用について報告する.幾何定理の証明問題を代数制約を用いた制約論理型書語のひとつの応用問題とみなし,代数制約評価系の効率化手法の検討をおこなった.また,いくつかの幾何定理の証明に対して本手法の遺用実験をおこなった.
- 一般社団法人情報処理学会の論文
- 1991-02-25
著者
関連論文
- ブール代数を用いた制約充足問題の定式化と解法についての検討
- ブール代数を用いた制約充足問題の定式化とその解法について
- 数理計画法を用いた制約充足問題の定式化について検討
- 4Y-7 イントラネット応用電力系統監視制御システム : システム概要とそのメリット(情報システムの構築(1),一般講演,コンピュータと人間社会)
- Constraint Programming Languages; Their Specification and Generation, Wm Leler, Addison-Wesley, 1988 (制約論理プログラミング)
- グラフ理論による制約解析および手順生成
- 代数制約の構造情報を用いた幾何定理証明の効率化手法の検討 : グレブナ基底による方法への適用
- 制約処理パターンを用いたオブジェクト思考ソフトウェア開発