阿米尔·霍森·萨德吉马内什;英格兰,马修 Maple内部用于非线性实数运算的SMT求解器。 (英语) Zbl 07721522号 ACM通信。计算。代数 56,编号2,76-79(2022).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{A.Sadeghimanesh}和\textit{M.英格兰},ACM Commun。计算。代数56,No.2,76--79(2022;Zbl 07721522) 全文: 内政部 链接
R.布拉德福德。;J.H.达文波特。;英格兰,M。;Sadeghimanesh,A。;恩库,A。 DEWCAD项目:推回柱面代数分解的双指数墙。 (英语) Zbl 07581910号 ACM通信。计算。代数 55,编号3,107-111(2021).MSC公司:68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{R.Bradford}等人,ACM Commun。计算。代数55,No.3,107--111(2021;Zbl 07581910) 全文: 内政部 arXiv公司