维克托·马格伦；穆罕默德·萨弗里·埃尔丁 {RealCertify公司}：用于证明非否定性的Maple包。 （英语） Zbl 1433.68625号 ACM通信。计算。代数 52，编号2，34-37（2018）. 引用于8文件 MSC公司： 68瓦30 符号计算和代数计算 软件：枫树；univsos公司；多重vso；RealCertify公司 PDF格式BibTeX公司 XML格式引用 \textit{V.Magron}和\textit{M.Safey El Din}，ACM Commun。计算。代数52，No.2，34-37（2018；Zbl 1433.68625） 全文： 内政部 arXiv公司