Watt, Stephen M. (ed.); Davenport, James H. (ed.); Sexton, Alan P. (ed.); Sojka, Petr (ed.); Urban, Josef (ed.) Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. (English) Zbl 1293.68035 Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). xx, 458 p. (2014). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{S. M. Watt} (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7--11, 2014. Proceedings. Berlin: Springer (2014; Zbl 1293.68035) Full Text: DOI
Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. Reasoning about the elementary functions of complex analysis. (English) Zbl 1007.30001 Ann. Math. Artif. Intell. 36, No. 3, 303-318 (2002). Reviewer: Gabriela Kohr (Cluj-Napoca) MSC: 30A99 26A09 PDFBibTeX XMLCite \textit{R. Bradford} et al., Ann. Math. Artif. Intell. 36, No. 3, 303--318 (2002; Zbl 1007.30001) Full Text: DOI
Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Litt, Gurjeet; Watt, Stephen M. Reasoning about the elementary functions of complex analysis. (English) Zbl 1042.68128 Campbell, John A. (ed.) et al., Artificial intelligence and symbolic computation. International conference AISC 2000, Madrid, Spain, July 17–19, 2000. Revised papers. Berlin: Springer (ISBN 3-540-42071-1). Lect. Notes Comput. Sci. 1930, 115-126 (2001). MSC: 68W30 33F10 PDFBibTeX XMLCite \textit{R. M. Corless} et al., Lect. Notes Comput. Sci. 1930, 115--126 (2001; Zbl 1042.68128) Full Text: Link