Oancea, Cosmin E.; Watt, Stephen M. Domains and expressions: an interface between two approaches to computer algebra. (English) Zbl 1360.68948 Kauers, Manuel (ed.), Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC’05, Beijing, China, July 24–27, 2005. New York, NY: ACM Press (ISBN 1-59593-095-7). 261-268 (2005). MSC: 68W30 68N15 PDFBibTeX XMLCite \textit{C. E. Oancea} and \textit{S. M. Watt}, in: Proceedings of the 2005 international symposium on symbolic and algebraic computation, ISSAC'05, Beijing, China, July 24--27, 2005. New York, NY: ACM Press. 261--268 (2005; Zbl 1360.68948) Full Text: DOI
Oancea, Cosmin; So, Clare; Watt, Stephen M. Generalization in Maple. (English) Zbl 1114.68629 Kotsireas, Ilias S. (ed.), Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17–21, 2005.With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft (ISBN 1-894511-85-9/pbk). 377-382 (2005). MSC: 68W30 PDFBibTeX XMLCite \textit{C. Oancea} et al., in: Maple conference 2005. Proceedings of the conference, Waterloo Ontario, Canada, July 17--21, 2005. With the assistance of Ian J. Sinclair, James Duketow, Robert M. Kalbfleisch. Waterloo: Maplesoft. 377--382 (2005; Zbl 1114.68629)