大卫·H·贝利。;乔纳森·博文(Jonathan M.Borwein)。;亚历山大·凯泽。 大型符号表达式的自动简化。 (英语) Zbl 1310.68259号 J.塞姆。计算。 60, 120-136 (2014).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.H.Bailey}等人,J.Symb。计算。60120-136(2014年;Zbl 1310.68259) 全文: 内政部
詹姆斯·博蒙特。;罗素·J·布拉德福德。;詹姆斯·H·达文波特。;纳利娜·菲桑布特 使用CAD测试基本功能标识。 (英语) Zbl 1142.68618号 申请。代数工程通讯。计算。 18,第6号,513-543(2007).MSC公司:68瓦30 第13页99 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Beaumont}等人,应用。代数工程通讯。计算。18,第6号,513--543(2007;Zbl 1142.68618) 全文: 内政部