彭西成;张景忠;陈,毛;刘三玉 基于复数恒等式的自动几何定理证明。 (英语) Zbl 07800191号 J.汽车。推理 67,第4期,第38号论文,第18页(2023年).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{X.Peng}等人,J.Autom。推理67,第4号,论文38,18页(2023;Zbl 07800191) 全文: 内政部
彭西成;陈启航;张景忠;陈,毛 基于向量方程的几何定理的自动发现。 (英语) Zbl 07432185号 J.汽车。推理 65,编号6,711-726(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{X.Peng}等人,J.Autom。推理65,No.6,711--726(2021;Zbl 07432185) 全文: 内政部
周尚卿;高小山;张景忠 自动几何定理证明和发现的演绎数据库方法。 (英语) Zbl 0961.68121号 J.汽车。推理 25,第3期,219-246(2000).MSC公司:第68页第15页 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Chou}等人,J.Autom。推理25,No.3,219--246(2000;Zbl 0961.68121) 全文: 内政部
周尚卿;高小山;张景忠 自动生成具有几何不变量的可读证明。二: 用全角度证明定理。 (英语) Zbl 0865.68110号 J.汽车。推理 17,第3号,349-370(1996).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Chou}等人,J.Autom。推理17,No.3,349--370(1996;Zbl 0865.68110) 全文: 内政部
周尚卿;高小山;张景忠 使用几何不变量自动生成可读的证明。一: 多个最短的证明生成。 (英语) Zbl 0865.68109号 J.汽车。推理 17,第3期,325-347(1996).MSC公司:第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Chou}等人,J.Autom。推理17,第3期,第325-347页(1996年;Zbl 0865.68109) 全文: 内政部
周尚卿;高小山;张景忠 立体几何中传统证明的自动生成。 (英语) Zbl 0824.03005号 J.汽车。推理 14,第2期,257-291(1995).MSC公司:03B35型 2015年11月51日 51米25 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.-C.Chou}等人,J.Autom。推理14,No.2,257--291(1995;Zbl 0824.03005) 全文: 内政部