Heras, Jónathan; Martín-Mateos, Francisco Jesús; Pascual, Vico Modelling algebraic structures and morphisms in ACL2. (English) Zbl 1325.68214 Appl. Algebra Eng. Commun. Comput. 26, No. 3, 277-303 (2015). MSC: 68T15 68W30 PDFBibTeX XMLCite \textit{J. Heras} et al., Appl. Algebra Eng. Commun. Comput. 26, No. 3, 277--303 (2015; Zbl 1325.68214) Full Text: DOI Link
Monagan, Michael; Pearce, Roman POLY: a new polynomial data structure for Maple 17. (English) Zbl 1352.68300 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). 325-348 (2014). MSC: 68W30 68P05 PDFBibTeX XMLCite \textit{M. Monagan} and \textit{R. Pearce}, 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. 325--348 (2014; Zbl 1352.68300) Full Text: DOI