Almomen, Randa; Sexton, Alan P.; Sorge, Volker Abstracting symbolic matrices. (English) Zbl 1280.68300 Ann. Math. Artif. Intell. 64, No. 4, 343-368 (2012). MSC: 68W30 68T10 15A99 PDFBibTeX XMLCite \textit{R. Almomen} et al., Ann. Math. Artif. Intell. 64, No. 4, 343--368 (2012; Zbl 1280.68300) Full Text: DOI
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. Reasoning with generic cases in the arithmetic of abstract matrices. (English) Zbl 1247.68327 Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 138-153 (2009). MSC: 68W30 PDFBibTeX XMLCite \textit{A. P. Sexton} et al., Lect. Notes Comput. Sci. 5625, 138--153 (2009; Zbl 1247.68327) Full Text: DOI