Rabe, Florian; Watt, Stephen M. Extracting theory graphs from Aldor libraries. (English) Zbl 07810743 Dubois, Catherine (ed.) et al., Intelligent computer mathematics. 16th international conference, CICM 2023, Cambridge, UK, September 5–8, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14101, 315-320 (2023). MSC: 68Vxx PDFBibTeX XMLCite \textit{F. Rabe} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 14101, 315--320 (2023; Zbl 07810743) Full Text: DOI
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
Jeffrey, David J.; Watt, Stephen M. Working with families of inverse functions. (English) Zbl 07691302 Buzzard, Kevin (ed.) et al., Intelligent computer mathematics. 15th international conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13467, 222-237 (2022). MSC: 68Vxx PDFBibTeX XMLCite \textit{D. J. Jeffrey} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 13467, 222--237 (2022; Zbl 07691302) Full Text: DOI
Ion, Patrick D. F.; Bouche, Thierry; Misra, Gadadhar; Onshuus, Alf A.; Watt, Stephen M.; Zheng, Liu International Mathematical Knowledge Trust IMKT: an update on the global digital mathematics library. (English) Zbl 1452.68264 Sirakov, Boyan (ed.) et al., Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1–9, 2018. Volume I. Plenary lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1157-1175 (2018). MSC: 68V35 PDFBibTeX XMLCite \textit{P. D. F. Ion} et al., in: Proceedings of the international congress of mathematicians, ICM 2018, Rio de Janeiro, Brazil, August 1--9, 2018. Volume I. Plenary lectures. Hackensack, NJ: World Scientific; Rio de Janeiro: Sociedade Brasileira de Matemática (SBM). 1157--1175 (2018; Zbl 1452.68264) Full Text: DOI
Ion, Patrick D. F.; Watt, Stephen M. The global digital mathematics library and the international mathematical knowledge trust. (English) Zbl 1367.68335 Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 56-69 (2017). MSC: 68U35 PDFBibTeX XMLCite \textit{P. D. F. Ion} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 10383, 56--69 (2017; Zbl 1367.68335) Full Text: DOI
Verschelde, Jan (ed.); Watt, Stephen M. (ed.); Zhi, Lihong (ed.) TCS SNC preface. (English) Zbl 1365.00072 Theor. Comput. Sci. 681, 1-2 (2017). MSC: 00B25 00B15 68-06 PDFBibTeX XMLCite \textit{J. Verschelde} (ed.) et al., Theor. Comput. Sci. 681, 1--2 (2017; Zbl 1365.00072) Full Text: DOI
Watt, Stephen M. (ed.); Verschelde, Jan (ed.); Zhi, Lihong (ed.) Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28–31, 2014. (English) Zbl 1330.68037 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2963-7). viii, 147 p. (2014). MSC: 68-06 65-06 68W30 00B25 PDFBibTeX XMLCite \textit{S. M. Watt} (ed.) et al., Proceedings of the 2014 symposium on symbolic-numeric computation, SNC 2014, Shanghai, China, July 28--31, 2014. New York, NY: Association for Computing Machinery (ACM) (2014; Zbl 1330.68037) Full Text: DOI
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
Hu, Rui; Watt, Stephen M. Determining points on handwritten mathematical symbols. (English) Zbl 1390.68566 Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 168-183 (2013). MSC: 68T10 PDFBibTeX XMLCite \textit{R. Hu} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 7961, 168--183 (2013; Zbl 1390.68566) Full Text: DOI arXiv
Koepf, Wolfram (ed.); Watt, Stephen M. (ed.) Special issue: Selected papers based on the presentations at the 35th international symposium on symbolic and algebraic computation, ISSAC, München, Germany, July 25–28, 2010. (English) Zbl 1287.13002 J. Symb. Comput. 49, 119 p. (2013). MSC: 13-06 68-06 13Pxx 68W30 00B25 PDFBibTeX XML
Bourdykine, Pavel; Watt, Stephen M. Lightweight abstraction for mathematical computation in Java. (English) Zbl 1373.68168 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 14th international workshop, CASC 2012, Maribor, Slovenia, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32972-2/pbk). Lecture Notes in Computer Science 7442, 47-59 (2012). MSC: 68N15 68N19 PDFBibTeX XMLCite \textit{P. Bourdykine} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 7442, 47--59 (2012; Zbl 1373.68168) Full Text: DOI
Mazalov, Vadim; Watt, Stephen M. Writing on clouds. (English) Zbl 1360.68736 Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 402-416 (2012). MSC: 68T10 68U35 PDFBibTeX XMLCite \textit{V. Mazalov} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 7362, 402--416 (2012; Zbl 1360.68736) Full Text: DOI
Hu, Rui; Mazalov, Vadim; Watt, Stephen M. A streaming digital ink framework for multi-party collaboration. (English) Zbl 1359.68284 Jeuring, Johan (ed.) et al., Intelligent computer mathematics. 11th international conference, AISC 2012, 19th symposium, Calculemus 2012, 5th international workshop, DML 2012, 11th international conference, MKM 2012, systems and projects, held as part of CICM 2012, Bremen, Germany, July 8–13, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31373-8/pbk). Lecture Notes in Computer Science 7362. Lecture Notes in Artificial Intelligence, 81-95 (2012). MSC: 68U35 00A35 68T10 PDFBibTeX XMLCite \textit{R. Hu} et al., Lect. Notes Comput. Sci. 7362, 81--95 (2012; Zbl 1359.68284) Full Text: DOI
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
Dragan, Laurentiu; Watt, Stephen M. Type specialization in Aldor. (English) Zbl 1290.68133 Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 12th international workshop, CASC 2010, Tsakhkadzor, Armenia, September 6–12, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15273-3/pbk). Lecture Notes in Computer Science 6244, 73-84 (2010). MSC: 68W30 PDFBibTeX XMLCite \textit{L. Dragan} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 6244, 73--84 (2010; Zbl 1290.68133) Full Text: DOI
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
Golubitsky, Oleg; Mazalov, Vadim; Watt, Stephen M. Orientation-independent recognition of handwritten characters with integral invariants. (English) Zbl 1194.68202 Suzuki, Masakazu (ed.) et al., The joint conference of ASCM 2009 and MACIS 2009. 9th international conference on Asian symposium on computer mathematics and 3rd international conference on mathematical aspects of computer and information sciences, Fukuoka, Japan, December 14–17, 2009. Selected papers. Fukuoka: Kyushu University, Faculty of Mathematics. COE Lecture Note 22, 252-261 (2009). MSC: 68T10 PDFBibTeX XMLCite \textit{O. Golubitsky} et al., COE Lect. Note 22, 252--261 (2009; Zbl 1194.68202)
Golubitsky, Oleg; Watt, Stephen M. Confidence measures in recognizing handwritten mathematical symbols. (English) Zbl 1247.68228 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, 460-466 (2009). MSC: 68T10 68T05 PDFBibTeX XMLCite \textit{O. Golubitsky} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 5625, 460--466 (2009; Zbl 1247.68228) 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
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
Carette, Jacques (ed.); Dixon, Lucas (ed.); Sacerdoti Coen, Claudio (ed.); Watt, Stephen M. (ed.) 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. (English) Zbl 1165.68005 Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). xix, 493 p. (2009). MSC: 68-06 68Txx 00B25 PDFBibTeX XMLCite \textit{J. Carette} (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 (2009; Zbl 1165.68005) Full Text: DOI
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
Moreno Maza, Marc (ed.); Watt, Stephen M. (ed.) PASCO’07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27–28, 2007. (English) Zbl 1169.68664 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-741-4). viii, 107 p. (2007). MSC: 68W30 68-06 00B25 68P25 PDFBibTeX XMLCite \textit{M. Moreno Maza} (ed.) and \textit{S. M. Watt} (ed.), PASCO'07. Proceedings of the 2007 international workshop on parallel symbolic computation, London, ON, Canada, July 27--28, 2007. New York, NY: Association for Computing Machinery (ACM) (2007; Zbl 1169.68664)
Verschelde, Jan (ed.); Watt, Stephen M. (ed.) Proceedings of the 2007 international workshop on symbolic-numeric computation, SNC ’07, University of Western Ontario, London, ON, Canada, July 25–27, 2007. (English) Zbl 1143.00005 New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-744-5). viii, 209 p. (2007). MSC: 13-06 68-06 00B25 PDFBibTeX XMLCite \textit{J. Verschelde} (ed.) and \textit{S. M. Watt} (ed.), Proceedings of the 2007 international workshop on symbolic-numeric computation, SNC '07, University of Western Ontario, London, ON, Canada, July 25--27, 2007. New York, NY: Association for Computing Machinery (ACM) (2007; Zbl 1143.00005)
Smirnova, Elena; Watt, Stephen M. Notation selection in mathematical computing environments. (English) Zbl 1204.68276 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). 339-355 (2006). MSC: 68W30 68T10 PDFBibTeX XMLCite \textit{E. Smirnova} and \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. 339--355 (2006; Zbl 1204.68276)
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
So, Clare M.; Watt, Stephen M. Determining empirical characteristics of mathematical expression use. (English) Zbl 1151.68675 Kohlhase, Michael (ed.), Mathematical knowledge management. 4th international conference, MKM 2005, Bremen, Germany, July 15-17, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31430-X/pbk). Lecture Notes in Computer Science 3863. Lecture Notes in Artificial Intelligence, 361-375 (2006). MSC: 68T30 68U15 68W30 PDFBibTeX XMLCite \textit{C. M. So} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 3863, 361--375 (2006; Zbl 1151.68675) Full Text: DOI
Dragan, Laurentiu; Watt, Stephen M. On the performance of parametric polymorphism in Maple. (English) Zbl 1114.68618 Kotsireas, Ilias (ed.) et al., Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23–26, 2006. Waterloo: Maplesoft (ISBN 1-897310-13-7/pbk). 35-42 (2006). MSC: 68W30 PDFBibTeX XMLCite \textit{L. Dragan} and \textit{S. M. Watt}, in: Maple conference 2006. Proceedings of the conference, Waterloo, Ontario, Canada, July 23--26, 2006. Waterloo: Maplesoft. 35--42 (2006; Zbl 1114.68618)
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
Watt, Stephen M.; Xie, Xiaofang Prototype pruning by feature extraction for handwritten mathematical symbol recognition. (English) Zbl 1114.68633 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). 423-437 (2005). MSC: 68W30 68T10 PDFBibTeX XMLCite \textit{S. M. Watt} and \textit{X. Xie}, 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. 423--437 (2005; Zbl 1114.68633)
Smirnova, Elena; Watt, Stephen M. A context for pen-based mathematical computing. (English) Zbl 1114.68630 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). 409-422 (2005). MSC: 68W30 PDFBibTeX XMLCite \textit{E. Smirnova} and \textit{S. M. Watt}, 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. 409--422 (2005; Zbl 1114.68630)
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)
Dragan, Laurentiu; Watt, Stephen M. Parametric polymorphism optimization for deeply nested types in computer algebras. (English) Zbl 1114.68617 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). 243-259 (2005). MSC: 68W30 PDFBibTeX XMLCite \textit{L. Dragan} and \textit{S. M. Watt}, 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. 243--259 (2005; Zbl 1114.68617)
Corless, Robert M.; Watt, Stephen M.; Zhi, Lihong \(QR\) factoring to compute the GCD of univariate approximate polynomials. (English) Zbl 1372.65120 IEEE Trans. Signal Process. 52, No. 12, 3394-3402 (2004). MSC: 65F25 68W30 12D05 PDFBibTeX XMLCite \textit{R. M. Corless} et al., IEEE Trans. Signal Process. 52, No. 12, 3394--3402 (2004; Zbl 1372.65120) Full Text: DOI
Smirnova, Elena S.; So, Clare M.; Watt, Stephen M. An architecture for distributed mathematical web services. (English) Zbl 1108.68603 Asperti, Andrea (ed.) et al., Mathematical knowledge management. Third international conference, MKM 2004, Białowieża, Poland, September 19–21, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23029-7/pbk). Lecture Notes in Computer Science 3119, 363-377 (2004). MSC: 68T30 68U35 PDFBibTeX XMLCite \textit{E. S. Smirnova} et al., Lect. Notes Comput. Sci. 3119, 363--377 (2004; Zbl 1108.68603) Full Text: DOI
Hazaveh, K.; Jeffrey, D. J.; Reid, G. J.; Watt, S. M.; Wittkopf, A. D. An exploration of homotopy solving in Maple. (English) Zbl 1047.65033 Li, Ziming (ed.) et al., Computer mathematics. Proceedings of the sixth Asian symposium (ASCM 2003), Beijing, China, April 17–19, 2003. River Edge, NJ: World Scientific (ISBN 981-238-220-8/hbk). Lect. Notes Ser. Comput. 10, 145-162 (2003). MSC: 65H10 65L05 68W30 34A34 12Y05 26C10 30C15 PDFBibTeX XMLCite \textit{K. Hazaveh} et al., Lect. Notes Ser. Comput. 10, 145--162 (2003; Zbl 1047.65033)
Naylor, Bill; Watt, Stephen Meta-stylesheets for the conversion of mathematical documents into multiple forms. (English) Zbl 1025.68104 Ann. Math. Artif. Intell. 38, No. 1-3, 3-25 (2003). MSC: 68U15 PDFBibTeX XMLCite \textit{B. Naylor} and \textit{S. Watt}, Ann. Math. Artif. Intell. 38, No. 1--3, 3--25 (2003; Zbl 1025.68104) Full Text: DOI
Corless, Robert M.; Galligo, André; Kotsireas, Ilias S.; Watt, Stephen M. A geometric-numeric algorithm for absolute factorization of multivariate polynomials. (English) Zbl 1072.68658 Mora, Teo (ed.), ISSAC 2002. Proceedings of the 2002 international symposium on symbolic and algebraic computation, Lille, France, July 07–10, 2002. New York, NY: ACM Press (ISBN 1-58113-484-3/pbk). 37-45 (2002). MSC: 68W30 65H05 PDFBibTeX XMLCite \textit{R. M. Corless} et al., in: Proceedings of the 2002 international symposium on symbolic and algebraic computation, ISSAC 2002, Lille, France, July 07--10, 2002. New York, NY: ACM Press. 37--45 (2002; Zbl 1072.68658)
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)
Corless, Robert M.; Giesbrecht, Mark W.; van Hoeij, Mark; Kotsireas, Ilias S.; Watt, Stephen M. Towards factoring bivariate approximate polynomials. (English) Zbl 1356.13030 Proceedings of the 2001 international symposium on symbolic and algebraic computation, ISSAC ’01, London, Ontario, Canada, 2001. New York, NY: ACM Press (ISBN 1-58113-417-7). 85-92 (2001). MSC: 13P05 68W30 PDFBibTeX XMLCite \textit{R. M. Corless} et al., in: Proceedings of the 2001 international symposium on symbolic and algebraic computation, ISSAC '01, London, Ontario, Canada, 2001. New York, NY: ACM Press. 85--92 (2001; Zbl 1356.13030) 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
Naylor, Bill; Watt, Stephen Meta stylesheets for the conversion of mathematical documents into multiple forms. (English) Zbl 0982.68168 Buchberger, Bruno (ed.) et al., Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24-26, 2001. Linz: Univ. Linz, 26 p. (2001). MSC: 68U15 PDFBibTeX XMLCite \textit{B. Naylor} and \textit{S. Watt}, in: Mathematical knowledge management: MKM 2001. Electronic proceedings of the 1st international workshop, RISC, Schloß Hagenberg, Austria, September 24--26, 2001. Linz: Univ. Linz. 26 p. (2001; Zbl 0982.68168) Full Text: Link
Watt, S. M. (ed.); Stetter, H. J. (ed.) Special issue: Symbolic numeric algebra for polynomials. (English) Zbl 0915.00021 J. Symb. Comput. 26, No. 6, 649-803 (1998). MSC: 00B15 65-06 68-06 68W30 12-06 13-06 PDFBibTeX XMLCite \textit{S. M. Watt} (ed.) and \textit{H. J. Stetter} (ed.), J. Symb. Comput. 26, No. 6, 649--803 (1998; Zbl 0915.00021) Full Text: DOI
Dalmas, Stéphane; Gaëtano, Marc; Watt, Stephen An OpenMath 1. 0 implementation. (English) Zbl 0923.68069 Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 241-248 (1997). MSC: 68W30 PDFBibTeX XMLCite \textit{S. Dalmas} et al., in: Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC '97, Maui, HI, USA, July 21--23, 1997. New York, NY: ACM Press. 241--248 (1997; Zbl 0923.68069)
Galligo, André; Watt, Stephen A numerical absolute primality test for bivariate polynomials. (English) Zbl 0920.11081 Küchlin, Wolfgang W. (ed.), Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC ’97, Maui, HI, USA, July 21–23, 1997. New York, NY: ACM Press. 217-224 (1997). MSC: 11Y16 68W30 11Y05 11R09 12D05 PDFBibTeX XMLCite \textit{A. Galligo} and \textit{S. Watt}, in: Proceedings of the 1997 international symposium on symbolic and algebraic computation, ISSAC '97, Maui, HI, USA, July 21--23, 1997. New York, NY: ACM Press. 217--224 (1997; Zbl 0920.11081)
Corless, Robert M.; Gianni, Patrizia M.; Trager, Barry M.; Watt, Stephen M. The singular value decomposition for polynomial systems. (English) Zbl 0920.65034 Levelt, A. H. M. (ed.), Proceedings of the 1995 international symposium on symbolic and algebraic computation, ISSAC ’95, Montreal, Canada, July 10–12, 1995. New York, NY: ACM Press. 195-207 (1995). MSC: 65H10 12Y05 26C10 68W30 PDFBibTeX XMLCite \textit{R. M. Corless} et al., in: Proceedings of the 1995 international symposium on symbolic and algebraic computation, ISSAC '95, Montreal, Canada, July 10--12, 1995. New York, NY: ACM Press. 195--207 (1995; Zbl 0920.65034)
Broadbery, P. A.; Gómez-Díaz, T.; Watt, S. M. On the implementation of dynamic evaluation. (English) Zbl 0922.68078 Levelt, A. H. M. (ed.), Proceedings of the 1995 international symposium on symbolic and algebraic computation, ISSAC ’95, Montreal, Canada, July 10–12, 1995. New York, NY: ACM Press. 77-84 (1995). MSC: 68W30 PDFBibTeX XMLCite \textit{P. A. Broadbery} et al., in: Proceedings of the 1995 international symposium on symbolic and algebraic computation, ISSAC '95, Montreal, Canada, July 10--12, 1995. New York, NY: ACM Press. 77--84 (1995; Zbl 0922.68078)
Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S. A first report on the \(\mathbb{A}^\#\) compiler. (English) Zbl 0945.68511 Von zur Gathen, Joachim (ed.) et al., ISSAC ’94. Proceedings of the international symposium on symbolic and algebraic computation, Oxford, GB, July 20-22, 1994. Baltimore, MD: ACM Press. 25-31 (1994). MSC: 68N20 68W30 PDFBibTeX XMLCite \textit{S. M. Watt} et al., in: ISSAC '94. Proceedings of the international symposium on Symbolic and algebraic computation, Oxford, GB, July 20--22, 1994. Baltimore, MD: ACM Press. 25--31 (1994; Zbl 0945.68511)
Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M. First leaves: a tutorial introduction to Maple V. (English) Zbl 0758.68037 New York, NY etc.: Springer-Verlag. XVIII, 253 p. (1992). Reviewer: B.Fuchssteiner (Paderborn) MSC: 68W30 12Y05 68-01 13P99 PDFBibTeX XMLCite \textit{B. W. Char} et al., First leaves: a tutorial introduction to Maple V. New York, NY etc.: Springer-Verlag (1992; Zbl 0758.68037)
Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M. Maple V - language reference manual. (English) Zbl 0758.68038 New York etc.: Springer-Verlag. XV, 267 p. (1991). Reviewer: B.Fuchssteiner (Paderborn) MSC: 68W30 68-00 68N15 12Y05 13P99 PDFBibTeX XMLCite \textit{B. W. Char} et al., Maple V - language reference manual. New York etc.: Springer-Verlag (1991; Zbl 0758.68038)
Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M. Maple V Library reference manual. (English) Zbl 0763.68046 New York etc.: Springer-Verlag. xxv, 698 p. (1991). Reviewer: M.Vuorinen (Helsinki) MSC: 68W30 65-04 68-00 PDFBibTeX XMLCite \textit{B. W. Char} et al., Maple V Library reference manual. New York etc.: Springer-Verlag (1991; Zbl 0763.68046)
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)
Burge, William H.; Watt, Stephen M. Infinite structures in Scratchpad II. (English) Zbl 1209.68667 Davenport, James H. (ed.), EUROCAL ’87. European Conference on Computer Algebra Leipzig, GDR, June 2-5, 1987. Proceedings. Berlin etc.: Springer-Verlag (ISBN 3-540-51517-8). Lecture Notes in Computer Science 378, 138-148 (1989). MSC: 68W30 PDFBibTeX XMLCite \textit{W. H. Burge} and \textit{S. M. Watt}, Lect. Notes Comput. Sci. 378, 138--148 (1989; Zbl 1209.68667) Full Text: DOI
Kaltofen, Erich (ed.); Watt, Stephen M. (ed.) Computers and mathematics. (Proceedings of a conference, June 13-17, 1989, Massachusetts Institute of Technology, Cambridge, MA). (English) Zbl 0671.00018 New York etc.: Springer-Verlag. xii, 326 p. DM 78.00 (1989). MSC: 00B25 68-06 PDFBibTeX XMLCite \textit{E. Kaltofen} (ed.) and \textit{S. M. Watt} (ed.), Computers and mathematics. (Proceedings of a conference, June 13-17, 1989, Massachusetts Institute of Technology, Cambridge, MA). New York etc.: Springer-Verlag (1989; Zbl 0671.00018)
Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M. Scratchpad II: An abstract datatype system for mathematical computation. (English) Zbl 0646.68044 Trends in computer algebra, Int. Symp., Bad Neuenahr/FRG 1987, Lect. Notes Comput. Sci. 296, 12-37 (1988). MSC: 68W30 65-04 PDFBibTeX XML
Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M. Scratchpad II: An abstract datatype system for mathematical computation. (English) Zbl 0646.68043 Mathematical aspects of scientific software, Proc. Workshop, IMA Vol. Math. Appl. 14, 157-182 (1988). MSC: 68W30 65-04 PDFBibTeX XML