周尚卿;高小山;张景忠 几何专家简介。 （英语） Zbl 1412.68214号 McRobbie，M.A.（编辑）等人，《自动推导——CADE-13》。第十三届自动扣减国际会议，美国新泽西州新不伦瑞克，1996年7月/8月。诉讼程序。柏林：斯普林格。勒克特。注释计算。科学。第1104235-239页（1996年）。 关于整个系列，请参见[Zbl 1102.68317号]. 引用于三文件 MSC公司： 68吨15 定理证明（演绎、解析等）（MSC2010） 软件：GEX公司 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Chou}等人，Lect。注释计算。科学。1104，235--239（1996；Zbl 1412.68214） 全文： 内政部 参考文献： [1] S.C.Chou，《机械几何定理证明》，D.Reidel出版公司，荷兰多德雷赫特，1988年·Zbl 0661.14037号 [2] S.C.Chou，Macintosh的几何定理证明者，载于第十一届自动演绎国际会议（CADE-11）论文集，计算机科学讲稿，第607卷，686-689，Springer-Verlag，1992年。 [3] 周世昌，高圣山，张建中，《几何机器校对》，世界科学出版社，新加坡，1994年·Zbl 0941.68503号 [4] S.C.Chou、X.S.Gao和J.Z.Z.Z.Z.Zhang，《几何定理自动证明的不动点方法》，WSUCS-95-2，威奇托州立大学计算机科学系，1995年。 [5] D.Kapur，用Hilbert的Nullstellensatz证明几何定理，Proc。SYMSAC’86，滑铁卢，1986年，202-208年。 [6] B.Kutzler&S.Stifter，使用Buchberger算法自动证明几何定理，程序。SYMSAC’86，滑铁卢，1986年，209-214年·Zbl 0629.68086号 [7] 吴文韬：《几何力学定理证明的基本原理》，第一卷：《初等几何》，科学出版社，北京，1984年。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。