克里斯托弗·布朗（Christopher W.Brown）。;佐尔坦科瓦奇;托马斯·雷西奥;洛伯特·瓦伊达;维莱兹，M.Pilar 计算机代数准备好在课堂上猜测和证明几何不等式了吗？ （英语） Zbl 07700011号 数学。计算。科学。 16，第4号，第31号论文，第14页（2022年）.MSC公司：97克40 14H50型 03B35型 第68页第15页 68伏15 2014年第30季度 2016年11月51日 51-04 51-08 PDF格式BibTeX公司 XML格式引用 \textit{C.W.Brown}等人，数学。计算。科学。16，第4号，第31号论文，第14页（2022；Zbl 07700011） 全文： 内政部
阿奈、平子 在基于模型的制造设计中应用代数几何。 （英语） Zbl 1326.93050号 Wakayama，Masato（编辑）等人，《应用程序对数学的影响》。《工业数学论坛论文集》，“2013年工业数学”，日本福冈，2013年11月4日至8日。东京：Springer（ISBN 978-4-431-54906-2/hbk；978-4-331-54907-9/电子书）。《产业数学》，177-186（2014）。MSC公司：93亿B51 14第05页 1999年第14季度 13第25页 PDF格式BibTeX公司 XML格式引用 \textit{H.Anai}，数学。Ind.（东京）117--186（2014；Zbl 1326.93050） 全文： 内政部
D.J.威尔逊。;R.J.布拉德福德。;J.H.达文波特。;英格兰，M。 圆柱代数子分解。 （英语） Zbl 1309.68232号 数学。计算。科学。 8，第2期，263-288（2014）.MSC公司：68瓦30 第14页 2014年第20季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛D.J.Wilson｝等人，《数学》。计算。科学。8，第2号，263--288（2014；Zbl 1309.68232） 全文： 内政部 arXiv公司
吴文孙 数学机械化。机械几何理论证明，机械几何问题解决和多项式方程解决。 （英语） Zbl 0987.68074号 数学及其应用（多德雷赫特）. 489. 多德雷赫特：Kluwer学术出版社。北京：科学出版社。xii，420页（2000年）。 审核人：克里斯蒂安·芬斯克（Gießen） MSC公司：第68页第15页 68-01 01A25号 第12天第10天 13页第10页 2005年第14季度 2004年5月5日 65G99型 68T40型 68单位07 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{W.-T.Wu}，数学机械化。机械几何理论证明，机械几何问题解决和多项式方程解决。多德雷赫特：Kluwer学术出版社；北京：科学出版社（2000；Zbl 0987.68074）