摘要
提出了一套求解系统ＴＳＧ的完整理论和高效的算法，据此实现的通用软件ＥＸ－ＰＬＯＲＥＲ已成功地自动发现了许多几何不等式．
The author offers a complete theory and an efficient algorithm for solve the system TSG.Based on these results, the author implements a prover EXPLORER which has discovered many geometric inequalities automatically.
出处
《四川大学学报（自然科学版）》
CAS
CSCD
北大核心
1998年第5期669-672,共4页
Journal of Sichuan University(Natural Science Edition)
基金
国家863计划资助
国家自然科学基金
关键词
几何不等式
EXPLORER
代数方程组
机器证明
complete discrimination system(CDS),cylindrical algebraic decomposition(CAD),geometric inequality,EXPLORER
