Watt, Stephen Michael Efficient generic quotients using exact arithmetic. (English) Zbl 07760800 Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 535-544 (2023). MSC: 68W30 PDFBibTeX XMLCite \textit{S. M. Watt}, in: Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24--27, 2023. New York, NY: Association for Computing Machinery (ACM). 535--544 (2023; Zbl 07760800) Full Text: DOI arXiv
Watt, Stephen M. (ed.) Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25–28, 2010. (English) Zbl 1271.68060 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0150-3). xiv, 363 p. (2010). MSC: 68-06 65-06 13-06 37-06 35-06 68W30 65-04 00B25 PDFBibTeX XMLCite \textit{S. M. Watt} (ed.), Proceedings of the 35th international symposium on symbolic and algebraic computation, ISSAC 2010, Munich, Germany, July 25--28, 2010. New York, NY: Association for Computing Machinery (ACM) (2010; Zbl 1271.68060) Full Text: DOI
Watt, Stephen M. Algorithms for the functional decomposition of Laurent polynomials. (English) Zbl 1247.68329 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, 186-200 (2009). MSC: 68W30 16S34 PDFBibTeX XMLCite \textit{S. M. Watt}, Lect. Notes Comput. Sci. 5625, 186--200 (2009; Zbl 1247.68329) Full Text: DOI Link
Watt, Stephen M. Mathematical document classification via symbol frequency analysis. (English) Zbl 1170.68494 Sojka, Petr (ed.), DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4658-0/pbk). 29-40 (2008). MSC: 68P99 PDFBibTeX XMLCite \textit{S. M. Watt}, in: DML 2008. Towards digital mathematics library, Birmingham, UK, July 27th, 2008. Proceedings. Brno: Masaryk University. 29--40 (2008; Zbl 1170.68494) Full Text: EuDML
Watt, Stephen M. Making computer algebra more symbolic. (English) Zbl 1204.68278 Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24–26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 43-49 (2006). MSC: 68W30 PDFBibTeX XMLCite \textit{S. M. Watt}, in: Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24--26, 2006. Proceedings. Granada: Universidad de Granada. 43--49 (2006; Zbl 1204.68278)
Watt, Stephen M. Algorithms for symbolic polynomials. (Plenary talk). (English) Zbl 1141.68716 Ganzha, Victor G. (ed.) et al., Computer algebra in scientific computing. 9th international workshop, CASC 2006, Chişinău, Moldova, September 11–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45182-2/pbk). Lecture Notes in Computer Science 4194, 302 (2006). MSC: 68W30 PDFBibTeX XMLCite \textit{S. M. Watt}, Lect. Notes Comput. Sci. 4194, 302 (2006; Zbl 1141.68716) Full Text: DOI
Watt, Stephen M. Manuel Eric Bronstein, August 28 1963 – June 6 2005, in memoriam. (English) Zbl 1341.01051 SIGSAM Bull. 39, No. 4, 103-104 (2005). MSC: 01A70 PDFBibTeX XMLCite \textit{S. M. Watt}, SIGSAM Bull. 39, No. 4, 103--104 (2005; Zbl 1341.01051) Full Text: DOI
Watt, Stephen M. A study in the integration of computer algebra systems: Memory management in a Maple-Aldor environment. (English) Zbl 1059.68648 Cohen, Arjeh M. (ed.) et al., Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17–19, 2002. Singapore: World Scientific (ISBN 981-238-048-5). 405-410 (2002). MSC: 68W30 PDFBibTeX XMLCite \textit{S. M. Watt}, in: Mathematical software. Proceedings of the 1st international congress, Beijing, China, August 17--19, 2002. Singapore: World Scientific. 405--410 (2002; Zbl 1059.68648)
Watt, Stephen M. (ed.) ISSAC ’91. Proceedings of the 1991 international symposium on Symbolic and algebraic computation. Bonn, Germany, July 15–17, 1991. (English) Zbl 0908.00028 New York, NY: ACM Press, xiii, 468 p. (1991). MSC: 00B25 68-06 68W30 11Y16 12Y05 PDFBibTeX XMLCite \textit{S. M. Watt} (ed.), ISSAC '91. Proceedings of the 1991 international symposium on Symbolic and algebraic computation. Bonn, Germany, July 15--17, 1991. New York, NY: ACM Press (1991; Zbl 0908.00028)