夏碧灿 自动发现和证明几何不等式。 （中文。英文摘要） Zbl 0922.03018号 四川大学自然科学系。预计起飞时间。 35，第5期，669-672（1998）. 小结：作者提供了求解系统TSG的完整理论和有效算法。基于这些结果，作者实现了一个证明器EXPLORER，它自动发现了许多几何不等式。 MSC公司： 03B35型 证明和逻辑操作的机械化 2016年11月51日 实几何或复几何中的不等式和极值问题 68吨15 定理证明（演绎、解析等）（MSC2010） 关键词：完全鉴别系统；客户尽职调查；圆柱代数分解；定理证明器EXPLORER；高效算法；几何不等式 软件：探索者 PDF格式BibTeX公司 XML格式引用 \textit{B.Xia}，J.四川大学，自然科学。第35版，第5669-672号（1998年；Zbl 0922.03018）