Edit Profile (opens in new tab) Watt, Stephen Michael Co-Author Distance Author ID: watt.stephen-m Published as: Watt, Stephen M.; Watt, Stephen; Watt, S. M.; Watt, Stephen Michael more...less Homepage: https://uwaterloo.ca/math/about/people/smwatt External Links: MGP · Wikidata · Google Scholar · dblp · GND Documents Indexed: 50 Publications since 1988, including 3 Books 11 Contributions as Editor Co-Authors: 57 Co-Authors with 52 Joint Publications 1,131 Co-Co-Authors all top 5 Co-Authors 9 single-authored 7 Corless, Robert Malcolm 4 Jeffrey, David J. 4 Sexton, Alan P. 3 Char, Bruce W. 3 Davenport, James Harold 3 Dragan, Laurentiu 3 Geddes, Keith O. 3 Giesbrecht, Mark W. 3 Gonnet, Gaston H. 3 Kotsireas, Ilias S. 3 Leong, Benton L. 3 Mazalov, Vadim 3 Monagan, Michael B. 3 Smirnova, Elena S. 3 So, Clare M. 3 Sorge, Volker 3 Sutor, Robert S. 3 Verschelde, Jan 3 Zhi, Lihong 2 Broadbery, Peter A. 2 Carette, Jacques 2 Galligo, André 2 Golubitsky, Oleg 2 Hu, Rui 2 Ion, Patrick D. F. 2 Jenks, Richard Dimick 2 Naylor, Bill 2 Oancea, Cosmin E. 1 Bouche, Thierry 1 Bourdykine, Pavel 1 Bradford, Russell J. 1 Burge, William H. 1 Dalmas, Stéphane 1 Dixon, Lucas 1 Dooley, Samuel S. 1 Gaetano, Marc 1 Gianni, Patrizia M. 1 Gómez-Díaz, Teresa 1 Hazaveh, K. 1 Iglio, Pietro 1 Kaltofen, Erich L. 1 Koepf, Wolfram A. 1 Litt, Gurjeet 1 Misra, Gadadhar 1 Moreno Maza, Marc 1 Morrison, Scott C. 1 Onshuus, Alf Angel 1 Sacerdoti Coen, Claudio 1 Sojka, Petr 1 Steinbach, Jonathan M. 1 Stetter, Hans J. 1 Trager, Barry M. 1 Urban, Josef 1 van Hoeij, Mark 1 Wittkopf, Allan D. 1 Xie, Xiaofang 1 Zheng, Liu all top 5 Serials 3 Journal of Symbolic Computation 2 Annals of Mathematics and Artificial Intelligence 2 Lecture Notes in Computer Science 1 SIGSAM Bulletin 1 Theoretical Computer Science 1 IEEE Transactions on Signal Processing all top 5 Fields 57 Computer science (68-XX) 12 General and overarching topics; collections (00-XX) 11 Numerical analysis (65-XX) 8 Field theory and polynomials (12-XX) 7 Commutative algebra (13-XX) 3 Real functions (26-XX) 2 History and biography (01-XX) 2 Number theory (11-XX) 2 Functions of a complex variable (30-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Associative rings and algebras (16-XX) 1 Special functions (33-XX) 1 Ordinary differential equations (34-XX) 1 Partial differential equations (35-XX) 1 Dynamical systems and ergodic theory (37-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 34 Publications have been cited 429 times in 357 Documents Cited by ▼ Year ▼ Maple V - language reference manual. Zbl 0758.68038Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M. 133 1991 The singular value decomposition for polynomial systems. Zbl 0920.65034Corless, Robert M.; Gianni, Patrizia M.; Trager, Barry M.; Watt, Stephen M. 61 1995 Maple V Library reference manual. Zbl 0763.68046Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M. 49 1991 \(QR\) factoring to compute the GCD of univariate approximate polynomials. Zbl 1372.65120Corless, Robert M.; Watt, Stephen M.; Zhi, Lihong 35 2004 First leaves: a tutorial introduction to Maple V. Zbl 0758.68037Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M. 32 1992 Numerical implicitization of parametric hypersurfaces with linear algebra. Zbl 1042.65020Corless, Robert M.; Giesbrecht, Mark W.; Kotsireas, Ilias S.; Watt, Stephen M. 21 2001 Towards factoring bivariate approximate polynomials. Zbl 1356.13030Corless, Robert M.; Giesbrecht, Mark W.; van Hoeij, Mark; Kotsireas, Ilias S.; Watt, Stephen M. 20 2001 A numerical absolute primality test for bivariate polynomials. Zbl 0920.11081Galligo, André; Watt, Stephen 10 1997 A geometric-numeric algorithm for absolute factorization of multivariate polynomials. Zbl 1072.68658Corless, Robert M.; Galligo, André; Kotsireas, Ilias S.; Watt, Stephen M. 9 2002 Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 6 2014 Infinite structures in Scratchpad II. Zbl 1209.68667Burge, William H.; Watt, Stephen M. 5 1989 Reasoning about the elementary functions of complex analysis. Zbl 1007.30001Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. 5 2002 Computing with abstract matrix structures. Zbl 1237.68261Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 4 2009 Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68043Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M. 4 1988 An architecture for distributed mathematical web services. Zbl 1108.68603Smirnova, Elena S.; So, Clare M.; Watt, Stephen M. 3 2004 Making computer algebra more symbolic. Zbl 1204.68278Watt, Stephen M. 3 2006 A first report on the \(\mathbb{A}^\#\) compiler. Zbl 0945.68511Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S. 3 1994 Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68044Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M. 3 1988 The global digital mathematics library and the international mathematical knowledge trust. Zbl 1367.68335Ion, Patrick D. F.; Watt, Stephen M. 3 2017 Generalization in Maple. Zbl 1114.68629Oancea, Cosmin; So, Clare; Watt, Stephen M. 2 2005 Proceedings of the 2007 international workshop on symbolic-numeric computation, SNC ’07, University of Western Ontario, London, ON, Canada, July 25–27, 2007. Zbl 1143.00005 2 2007 Reasoning about the elementary functions of complex analysis. Zbl 1042.68128Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Litt, Gurjeet; Watt, Stephen M. 2 2001 An OpenMath 1. 0 implementation. Zbl 0923.68069Dalmas, Stéphane; Gaëtano, Marc; Watt, Stephen 2 1997 On the implementation of dynamic evaluation. Zbl 0922.68078Broadbery, P. A.; Gómez-Díaz, T.; Watt, S. M. 2 1995 Determining empirical characteristics of mathematical expression use. Zbl 1151.68675So, Clare M.; Watt, Stephen M. 1 2006 Mathematical document classification via symbol frequency analysis. Zbl 1170.68494Watt, Stephen M. 1 2008 Orientation-independent recognition of handwritten characters with integral invariants. Zbl 1194.68202Golubitsky, Oleg; Mazalov, Vadim; Watt, Stephen M. 1 2009 Parametric polymorphism optimization for deeply nested types in computer algebras. Zbl 1114.68617Dragan, Laurentiu; Watt, Stephen M. 1 2005 Notation selection in mathematical computing environments. Zbl 1204.68276Smirnova, Elena; Watt, Stephen M. 1 2006 Symbolic domain decomposition. Zbl 1286.68515Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2010 Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2009 Algorithms for the functional decomposition of Laurent polynomials. Zbl 1247.68329Watt, Stephen M. 1 2009 Confidence measures in recognizing handwritten mathematical symbols. Zbl 1247.68228Golubitsky, Oleg; Watt, Stephen M. 1 2009 Special issue: Symbolic numeric algebra for polynomials. Zbl 0915.00021 1 1998 The global digital mathematics library and the international mathematical knowledge trust. Zbl 1367.68335Ion, Patrick D. F.; Watt, Stephen M. 3 2017 Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 6 2014 Symbolic domain decomposition. Zbl 1286.68515Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2010 Computing with abstract matrix structures. Zbl 1237.68261Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 4 2009 Orientation-independent recognition of handwritten characters with integral invariants. Zbl 1194.68202Golubitsky, Oleg; Mazalov, Vadim; Watt, Stephen M. 1 2009 Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327Sexton, Alan P.; Sorge, Volker; Watt, Stephen M. 1 2009 Algorithms for the functional decomposition of Laurent polynomials. Zbl 1247.68329Watt, Stephen M. 1 2009 Confidence measures in recognizing handwritten mathematical symbols. Zbl 1247.68228Golubitsky, Oleg; Watt, Stephen M. 1 2009 Mathematical document classification via symbol frequency analysis. Zbl 1170.68494Watt, Stephen M. 1 2008 Proceedings of the 2007 international workshop on symbolic-numeric computation, SNC ’07, University of Western Ontario, London, ON, Canada, July 25–27, 2007. Zbl 1143.00005 2 2007 Making computer algebra more symbolic. Zbl 1204.68278Watt, Stephen M. 3 2006 Determining empirical characteristics of mathematical expression use. Zbl 1151.68675So, Clare M.; Watt, Stephen M. 1 2006 Notation selection in mathematical computing environments. Zbl 1204.68276Smirnova, Elena; Watt, Stephen M. 1 2006 Generalization in Maple. Zbl 1114.68629Oancea, Cosmin; So, Clare; Watt, Stephen M. 2 2005 Parametric polymorphism optimization for deeply nested types in computer algebras. Zbl 1114.68617Dragan, Laurentiu; Watt, Stephen M. 1 2005 \(QR\) factoring to compute the GCD of univariate approximate polynomials. Zbl 1372.65120Corless, Robert M.; Watt, Stephen M.; Zhi, Lihong 35 2004 An architecture for distributed mathematical web services. Zbl 1108.68603Smirnova, Elena S.; So, Clare M.; Watt, Stephen M. 3 2004 A geometric-numeric algorithm for absolute factorization of multivariate polynomials. Zbl 1072.68658Corless, Robert M.; Galligo, André; Kotsireas, Ilias S.; Watt, Stephen M. 9 2002 Reasoning about the elementary functions of complex analysis. Zbl 1007.30001Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M. 5 2002 Numerical implicitization of parametric hypersurfaces with linear algebra. Zbl 1042.65020Corless, Robert M.; Giesbrecht, Mark W.; Kotsireas, Ilias S.; Watt, Stephen M. 21 2001 Towards factoring bivariate approximate polynomials. Zbl 1356.13030Corless, Robert M.; Giesbrecht, Mark W.; van Hoeij, Mark; Kotsireas, Ilias S.; Watt, Stephen M. 20 2001 Reasoning about the elementary functions of complex analysis. Zbl 1042.68128Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Litt, Gurjeet; Watt, Stephen M. 2 2001 Special issue: Symbolic numeric algebra for polynomials. Zbl 0915.00021 1 1998 A numerical absolute primality test for bivariate polynomials. Zbl 0920.11081Galligo, André; Watt, Stephen 10 1997 An OpenMath 1. 0 implementation. Zbl 0923.68069Dalmas, Stéphane; Gaëtano, Marc; Watt, Stephen 2 1997 The singular value decomposition for polynomial systems. Zbl 0920.65034Corless, Robert M.; Gianni, Patrizia M.; Trager, Barry M.; Watt, Stephen M. 61 1995 On the implementation of dynamic evaluation. Zbl 0922.68078Broadbery, P. A.; Gómez-Díaz, T.; Watt, S. M. 2 1995 A first report on the \(\mathbb{A}^\#\) compiler. Zbl 0945.68511Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S. 3 1994 First leaves: a tutorial introduction to Maple V. Zbl 0758.68037Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M. 32 1992 Maple V - language reference manual. Zbl 0758.68038Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M. 133 1991 Maple V Library reference manual. Zbl 0763.68046Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M. 49 1991 Infinite structures in Scratchpad II. Zbl 1209.68667Burge, William H.; Watt, Stephen M. 5 1989 Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68043Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M. 4 1988 Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68044Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M. 3 1988 all cited Publications top 5 cited Publications all top 5 Cited by 503 Authors 12 Winkler, Joab R. 8 Pérez-Díaz, Sonia 8 Ronveaux, André 8 Znojil, Miloslav 7 Corless, Robert Malcolm 7 Sendra, Juan Rafael 7 Sendra, Juana 6 Galligo, André 6 Himstedt, Frank 5 Bourne, Martin 5 Dmitriev, Vladimir Ivanovich 5 Foupouagnigni, Mama 5 Gaál, István 5 Gutnik, Sergey A. 5 Lewanowicz, Stanisław 5 Mitrouli, Marilena 5 Sanders, Jan A. 5 Sarychev, Vasily A. 4 Chèze, Guillaume 4 Đoković, Dragomir Ž. 4 Emiris, Ioannis Z. 4 Kaltofen, Erich L. 4 Karcanias, Nicos 4 Labelle, Gilbert 4 Nagasaka, Kosaku 4 Pan, Victor Yakovlevich 4 Shen, Liyong 4 Su, Yi 4 Wang, Jingping 4 Watt, Stephen Michael 3 Barashkov, Aleksandr Sergeevich 3 Bracken, Paul Francis 3 Bradley, Elizabeth 3 Christiansen, Søren 3 Christou, Dimitrios 3 Feng, Yong 3 Gonzalez-Vega, Laureano 3 Hasan, Madina 3 Homeier, Herbert H. H. 3 Ioakimidis, Nikolaos Ioakim 3 Kohlhase, Michael 3 Konaxis, Christos 3 Labahn, George 3 Lao, Xin 3 Markovsky, Ivan 3 Remete, László 3 Rupprecht, David 3 Schicho, Josef 3 Stolle, Reinhard 3 Szántó, Ágnes 3 Terui, Akira 3 Wang, Quanfeng 3 Zeng, Zhonggang 3 Zhang, Jingzhong 2 Anastasselou, Eleni G. 2 Barrowclough, Oliver J. D. 2 Batselier, Kim 2 Bazarov, S. B. 2 Bean, Michael A. 2 Beckermann, Bernhard 2 Bronstein, Manuel Eric 2 Bulgakov, Vitaly E. 2 Caprotti, Olga 2 De Moor, Bart L. R. 2 de Swart, Jacques J. B. 2 Dohrmann, Clark R. 2 Dreesen, Philippe 2 Elkadi, Mohamed 2 Giesbrecht, Mark W. 2 Guglielmi, Nicola 2 Hiss, Gerhard 2 Hounkonnou, Mahouton Norbert 2 Huang, Shih-Chang 2 Huseyin, Koncay 2 Jeffrey, David J. 2 Jüttler, Bert 2 Koepf, Wolfram A. 2 Korniłowicz, Artur 2 Kuhn, Günther 2 Lau, Amy Hing-Ling 2 Lau, Hon-Shiang 2 Lecerf, Grégoire 2 Letessier, Jean 2 Li, Zijia 2 Lichtblau, Daniel A. 2 Majid, Zanariah Abdul 2 Malle, Gunter 2 Matos, Ana Cristina 2 Müller, Dennis 2 Poteaux, Adrien 2 Rebillard, Luc 2 Riccomagno, Eva 2 Robinett, Rush D. III 2 Rueda, Sonia L. 2 Schott, René 2 Schröcker, Hans-Peter 2 Sekigawa, Hiroshi 2 Sexton, Alan P. 2 Shirayanagi, Kiyoshi 2 Sorge, Volker ...and 403 more Authors all top 5 Cited in 106 Serials 37 Journal of Computational and Applied Mathematics 35 Journal of Symbolic Computation 19 Theoretical Computer Science 15 Computer Physics Communications 11 Journal of Algebra 10 Computer Aided Geometric Design 8 Computers & Mathematics with Applications 8 Mathematics of Computation 8 Mathematics and Computers in Simulation 8 Computational Mathematics and Modeling 7 Applied Mathematics and Computation 7 Applied Numerical Mathematics 6 Computer Methods in Applied Mechanics and Engineering 6 Numerical Algorithms 6 Linear Algebra and its Applications 6 Mathematics in Computer Science 5 Physics Letters. A 4 Journal of Pure and Applied Algebra 4 Programming and Computer Software 4 Applicable Algebra in Engineering, Communication and Computing 4 Foundations of Computational Mathematics 3 Discrete Mathematics 3 Journal of Computational Physics 3 Journal of Differential Equations 3 Physica D 3 Annals of Physics 3 Journal of Systems Science and Complexity 2 International Journal of Theoretical Physics 2 Computing 2 Functiones et Approximatio. Commentarii Mathematici 2 International Journal for Numerical Methods in Engineering 2 Journal of Optimization Theory and Applications 2 Theoretical Population Biology 2 Insurance Mathematics & Economics 2 Statistics & Probability Letters 2 Journal of Complexity 2 Applied Mathematics Letters 2 Mathematical and Computer Modelling 2 Computational Geometry 2 European Journal of Operational Research 2 International Journal of Computer Mathematics 2 Annals of Mathematics and Artificial Intelligence 2 Representation Theory 1 Artificial Intelligence 1 Discrete Applied Mathematics 1 International Journal for Numerical and Analytical Methods in Geomechanics 1 International Journal for Numerical Methods in Fluids 1 International Journal of Solids and Structures 1 International Journal of Systems Science 1 Journal of Mathematical Physics 1 Mathematical Biosciences 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Rocky Mountain Journal of Mathematics 1 Acta Arithmetica 1 The Annals of Statistics 1 Automatica 1 Calcolo 1 International Journal of Mathematics and Mathematical Sciences 1 Journal of Approximation Theory 1 Journal of Combinatorial Theory. Series B 1 Journal of Computer and System Sciences 1 Journal of Statistical Planning and Inference 1 Manuscripta Mathematica 1 Monatshefte für Mathematik 1 Numerische Mathematik 1 Proceedings of the American Mathematical Society 1 Publications of the Research Institute for Mathematical Sciences, Kyoto University 1 SIAM Journal on Numerical Analysis 1 Transactions of the American Mathematical Society 1 Advances in Applied Mathematics 1 Acta Applicandae Mathematicae 1 Information and Computation 1 Journal of Automated Reasoning 1 Journal of the American Mathematical Society 1 SIAM Journal on Matrix Analysis and Applications 1 Science in China. Series A 1 Journal of Parallel and Distributed Computing 1 Computational Statistics 1 Applied Mathematical Modelling 1 Communications in Statistics. Simulation and Computation 1 Pattern Recognition 1 Cybernetics and Systems Analysis 1 SIAM Journal on Scientific Computing 1 Communications in Numerical Methods in Engineering 1 Journal de Théorie des Nombres de Bordeaux 1 Journal of Mathematical Sciences (New York) 1 Journal of Combinatorial Designs 1 Selecta Mathematica. New Series 1 Advances in Computational Mathematics 1 Integral Transforms and Special Functions 1 Doklady Mathematics 1 Soft Computing 1 Chaos 1 Mathematical and Computer Modelling of Dynamical Systems 1 European Journal of Mechanics. A. Solids 1 LMS Journal of Computation and Mathematics 1 Lobachevskii Journal of Mathematics 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Sādhanā ...and 6 more Serials all top 5 Cited in 53 Fields 133 Numerical analysis (65-XX) 131 Computer science (68-XX) 43 Commutative algebra (13-XX) 33 Field theory and polynomials (12-XX) 32 Algebraic geometry (14-XX) 27 Number theory (11-XX) 26 Special functions (33-XX) 24 Linear and multilinear algebra; matrix theory (15-XX) 18 Quantum theory (81-XX) 16 Group theory and generalizations (20-XX) 16 Ordinary differential equations (34-XX) 14 Partial differential equations (35-XX) 14 Mechanics of deformable solids (74-XX) 12 Mechanics of particles and systems (70-XX) 11 Fluid mechanics (76-XX) 10 Combinatorics (05-XX) 10 Functions of a complex variable (30-XX) 10 Dynamical systems and ergodic theory (37-XX) 9 Statistics (62-XX) 8 Real functions (26-XX) 8 Approximations and expansions (41-XX) 8 Operations research, mathematical programming (90-XX) 6 Geometry (51-XX) 6 Information and communication theory, circuits (94-XX) 5 Difference and functional equations (39-XX) 5 Probability theory and stochastic processes (60-XX) 5 Geophysics (86-XX) 4 Statistical mechanics, structure of matter (82-XX) 4 Biology and other natural sciences (92-XX) 4 Systems theory; control (93-XX) 3 Associative rings and algebras (16-XX) 3 Nonassociative rings and algebras (17-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Functional analysis (46-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 General and overarching topics; collections (00-XX) 2 Mathematical logic and foundations (03-XX) 2 Potential theory (31-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Operator theory (47-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Relativity and gravitational theory (83-XX) 1 Category theory; homological algebra (18-XX) 1 Topological groups, Lie groups (22-XX) 1 Sequences, series, summability (40-XX) 1 Convex and discrete geometry (52-XX) 1 Differential geometry (53-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Optics, electromagnetic theory (78-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.