Wang, Dongming; Xu, Juan A symbolic-numerical algorithm for isolating real roots of certain radical expressions. (English) Zbl 1461.65079 J. Comput. Appl. Math. 391, Article ID 113424, 18 p. (2021). MSC: 65H05 68W30 PDFBibTeX XMLCite \textit{D. Wang} and \textit{J. Xu}, J. Comput. Appl. Math. 391, Article ID 113424, 18 p. (2021; Zbl 1461.65079) Full Text: DOI
Robertz, Daniel Formal algorithmic elimination for PDEs. (English) Zbl 1364.35008 Rosenkranz, Markus (ed.), Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4380-0). 19-22 (2016). MSC: 35-04 35C05 35Q30 12H05 68W30 PDFBibTeX XMLCite \textit{D. Robertz}, in: Proceedings of the 41st international symposium on symbolic and algebraic computation, ISSAC 2016, Waterloo, Canada, July 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 19--22 (2016; Zbl 1364.35008) Full Text: DOI
Boulier, François; Chen, Changbo; Lemaire, François; Maza, Marc Moreno Real root isolation of regular chains. (English) Zbl 1336.65079 Feng, Ruyong (ed.) et al., Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14–17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26–28, 2012. Contributed papers and invited talks. Berlin: Springer (ISBN 978-3-662-43798-8/hbk; 978-3-662-43799-5/ebook). 33-48 (2014). MSC: 65H04 65H10 68W30 PDFBibTeX XMLCite \textit{F. Boulier} et al., in: Computer mathematics. 9th Asian symposium, ASCM 2009, Fukuoka, Japan, December 14--17, 2009, 10th Asian symposium, ASCM 2012, Beijing, China, October 26--28, 2012. Contributed papers and invited talks. Berlin: Springer. 33--48 (2014; Zbl 1336.65079) Full Text: DOI
Li, Xin; Moreno Maza, Marc; Rasheed, Raqeeb; Schost, Éric The modpn library: bringing fast polynomial arithmetic into Maple. (English) Zbl 1217.65092 J. Symb. Comput. 46, No. 7, 841-858 (2011). MSC: 65H10 65H04 68W30 12Y05 65Y15 65Y20 PDFBibTeX XMLCite \textit{X. Li} et al., J. Symb. Comput. 46, No. 7, 841--858 (2011; Zbl 1217.65092) Full Text: DOI