丹尼尔·罗伯茨 PDE的形式化算法消除。 （英语） Zbl 1339.35007号 数学课堂笔记2121.查姆：施普林格（ISBN 978-3-319-11444-6/pbk；978-3-316-11445-3/ebook）。viii，第283页。(2014). 审核人：沃纳·M·塞勒（卡塞尔） MSC公司：35-02 2005年12月 13页第10页 2016年5月 16立方厘米 35-04 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Robertz}，PDE的形式算法消除。查姆：斯普林格（2014；Zbl 1339.35007） 全文： 内政部
爱德华·L·格林。;伊文德·索尔伯格 解决方案的算法方法。 （英语） Zbl 1133.13013号 J.塞姆。计算。 42，编号11-12，1012-1033（2007）。 审核人：Gerhard Pfister（凯泽斯劳滕） MSC公司：2013年02月 13页第10页 PDF格式BibTeX公司 XML格式引用 \textit{E.L.Green}和\textit{Ø.Solberg}，J.Symb。计算。42，编号11--12，1012--1033（2007；Zbl 1133.13013） 全文： 内政部 arXiv公司