Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. Symbolic domain decomposition. (English) Zbl 1286.68515 Autexier, Serge (ed.) et al., Intelligent computer mathematics. 10th international conference, AISC 2010, 17th symposium, Calculemus 2010, and 9th international conference, MKM 2010, Paris, France, July 5–10, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14127-0/pbk). Lecture Notes in Computer Science 6167. Lecture Notes in Artificial Intelligence, 172-188 (2010). MSC: 68W30 PDFBibTeX XMLCite \textit{J. Carette} et al., Lect. Notes Comput. Sci. 6167, 172--188 (2010; Zbl 1286.68515) Full Text: DOI arXiv
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. Computing with abstract matrix structures. (English) Zbl 1237.68261 May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 325-332 (2009). MSC: 68W30 15B99 PDFBibTeX XMLCite \textit{A. P. Sexton} et al., in: Proceedings of the 2009 international symposium on symbolic and algebraic computation, ISSAC 2009, Seoul, July 28--31, 2009. New York, NY: Association for Computing Machinery (ACM). 325--332 (2009; Zbl 1237.68261) 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