文献

J-GLOBAL ID：201602207527988463   整理番号：15A1292680

複雑な質量点法の改良と自動幾何学定理証明におけるその応用【Powered by NICT】

Improvement of the Complex Mass Point Method and Its Application in Automated Geometry Theorem Proving

著者 (3件)： Li Tao (Fac. of Sci., Tianjin Chengjian Univ., Tianjin) ,  Zou Yu (Coll. of Computer Sci. and Educational So ftware, Guangzhou Univ., Guangzhou) ,  Zhang Jingzhong (Coll. of Computer Sci. and Educational So ftware, Guangzhou Univ., Guangzhou)
資料名： Jisuanji Xuebao  (Jisuanji Xuebao)
巻： 38  号： 8  ページ： 1640-1647  発行年： 2015年 
JST資料番号： C2531A  ISSN： 0254-4164  CODEN： JIXUDT  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 複雑な質点法は幾何学的点間の演算に基づいているこの自動幾何学定理証明のための新しい方法である。複雑な質点法は効率的に最も構成的幾何学定理を証明するために用いることができるが,これまで,非線形構成的幾何学定理を扱うことができなかった。著者らのオリジナルな研究に基づいて,複雑な質量点法の元のアルゴリズムの改良を行った。いくつかの新しい重要な構造を添加した,新しい証明器CMPP(複合体質点法証明器)ソフトウェアMathematicaで再び改善アルゴリズムを実装した。百以上の幾何学ステートメントの結果はCMPPは線形構成的幾何学定理に加えて非線形構成的幾何学定理と多くの非構成的幾何学定理を効果的に処理できることを示したさらにCMPPはより効率的に動作する。特にCMPPは非常に短時間で多くの困難な幾何学定理(五円定理とMorleyの定理のような)を証明することができ,人間が読める機械証明を生成することができる。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： 複合体 ,  質点 ,  ソフトウェア ,  アルゴリズム ,  *幾何学 ,  線形性 ,  *定理証明 ,  カルボン酸 ,  芳香族塩素化合物 ,  フェノールエーテル
準シソーラス用語： Mathematica , 【Automatic Indexing@JST】

分類 (2件)： 人工知能  (JE08000Z) ,  図形・画像処理一般  (JE04010I)

物質索引 (1件)： メコプロップ

タイトルに関連する用語 (4件)： 質量 ,  幾何学 ,  定理証明 ,  応用