Edit Profile (opens in new tab) Watt, Stephen Michael Compute Distance To: Compute Author ID: watt.stephen-m Published as: Watt, Stephen M.; Watt, Stephen; Watt, S. M. more...less Homepage: https://uwaterloo.ca/math/about/people/smwatt External Links: MGP · Wikidata · Google Scholar · dblp · GND Documents Indexed: 48 Publications since 1988, including 3 Books 11 Contributions as Editor Co-Authors: 57 Co-Authors with 51 Joint Publications 1,109 Co-Co-Authors all top 5 Co-Authors 8 single-authored 7 Corless, Robert Malcolm 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 Jeffrey, David J. 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, William 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 55 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 33 Publications have been cited 389 times in 326 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. 122 1991 The singular value decomposition for polynomial systems. Zbl 0920.65034Corless, Robert M.; Gianni, Patrizia M.; Trager, Barry M.; Watt, Stephen M. 55 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. 46 1991 \(QR\) factoring to compute the GCD of univariate approximate polynomials. Zbl 1372.65120Corless, Robert M.; Watt, Stephen M.; Zhi, Lihong 31 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. 30 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. 18 2001 A numerical absolute primality test for bivariate polynomials. Zbl 0920.11081Galligo, André; Watt, Stephen 9 1997 A geometric-numeric algorithm for absolute factorization of multivariate polynomials. Zbl 1072.68658Corless, Robert M.; Galligo, André; Kotsireas, Ilias S.; Watt, Stephen M. 8 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 Infinite structures in Scratchpad II. Zbl 1209.68667Burge, William H.; Watt, Stephen M. 5 1989 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 Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 4 2014 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 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 Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68044Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M. 2 1988 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 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 Mathematical document classification via symbol frequency analysis. Zbl 1170.68494Watt, Stephen M. 1 2008 Parametric polymorphism optimization for deeply nested types in computer algebras. Zbl 1114.68617Dragan, Laurentiu; Watt, Stephen M. 1 2005 Generalization in Maple. Zbl 1114.68629Oancea, Cosmin; So, Clare; Watt, Stephen M. 1 2005 Determining empirical characteristics of mathematical expression use. Zbl 1151.68675So, Clare M.; Watt, Stephen M. 1 2006 Orientation-independent recognition of handwritten characters with integral invariants. Zbl 1194.68202Golubitsky, Oleg; Mazalov, Vadim; Watt, Stephen M. 1 2009 Notation selection in mathematical computing environments. Zbl 1204.68276Smirnova, Elena; Watt, Stephen M. 1 2006 Special issue: Symbolic numeric algebra for polynomials. Zbl 0915.00021 1 1998 An architecture for distributed mathematical web services. Zbl 1108.68603Smirnova, Elena S.; So, Clare M.; Watt, Stephen M. 1 2004 The global digital mathematics library and the international mathematical knowledge trust. Zbl 1367.68335Ion, Patrick D. F.; Watt, Stephen M. 1 2017 The global digital mathematics library and the international mathematical knowledge trust. Zbl 1367.68335Ion, Patrick D. F.; Watt, Stephen M. 1 2017 Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035 4 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 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 Orientation-independent recognition of handwritten characters with integral invariants. Zbl 1194.68202Golubitsky, Oleg; Mazalov, Vadim; Watt, Stephen M. 1 2009 Mathematical document classification via symbol frequency analysis. Zbl 1170.68494Watt, Stephen M. 1 2008 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 Parametric polymorphism optimization for deeply nested types in computer algebras. Zbl 1114.68617Dragan, Laurentiu; Watt, Stephen M. 1 2005 Generalization in Maple. Zbl 1114.68629Oancea, Cosmin; So, Clare; 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 31 2004 An architecture for distributed mathematical web services. Zbl 1108.68603Smirnova, Elena S.; So, Clare M.; Watt, Stephen M. 1 2004 A geometric-numeric algorithm for absolute factorization of multivariate polynomials. Zbl 1072.68658Corless, Robert M.; Galligo, André; Kotsireas, Ilias S.; Watt, Stephen M. 8 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. 18 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 9 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. 55 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. 30 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. 122 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. 46 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. 2 1988 all cited Publications top 5 cited Publications all top 5 Cited by 470 Authors 10 Winkler, Joab R. 8 Pérez-Díaz, Sonia 8 Znojil, Miloslav 7 Corless, Robert Malcolm 7 Ronveaux, André 7 Sendra, Juan Rafael 7 Sendra, Juana 6 Galligo, André 6 Himstedt, Frank 5 Dmitriev, Vladimir Ivanovich 5 Gutnik, Sergey A. 5 Lewanowicz, Stanisław 5 Sarychev, Vasily A. 4 Bourne, Martin 4 Chèze, Guillaume 4 Emiris, Ioannis Z. 4 Foupouagnigni, Mama 4 Labelle, Gilbert 4 Mitrouli, Marilena 4 Pan, Victor Yakovlevich 4 Sanders, Jan A. 4 Shen, Liyong 4 Watt, Stephen Michael 3 Barashkov, Aleksandr Sergeevich 3 Bradley, Elizabeth 3 Christiansen, Søren 3 Đoković, Dragomir Ž. 3 Feng, Yong 3 Gaál, István 3 Gonzalez-Vega, Laureano 3 Hasan, Madina 3 Ioakimidis, Nikolaos Ioakim 3 Kaltofen, Erich L. 3 Karcanias, Nicos 3 Konaxis, Christos 3 Labahn, George 3 Lao, Xin 3 Markovsky, Ivan 3 Nagasaka, Kosaku 3 Rupprecht, David 3 Schicho, Josef 3 Stolle, Reinhard 3 Su, Yi 3 Szántó, Ágnes 3 Terui, Akira 3 Wang, Jingping 3 Wang, Quanfeng 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 Bracken, Paul Francis 2 Bulgakov, Vitaly E. 2 Caprotti, Olga 2 Christou, Dimitrios 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 Homeier, Herbert H. H. 2 Huang, Shih-Chang 2 Huseyin, Koncay 2 Jeffrey, David J. 2 Jüttler, Bert 2 Koepf, Wolfram A. 2 Kohlhase, Michael 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 Matos, Ana Cristina 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 2 Suleiman, Mohamed Bin 2 Szilágyi, Ibolya 2 van der Hoeven, Joris 2 Verschelde, Jan 2 Wang, Steven Shiqi 2 Wu, Wenyuan 2 Zeng, Zhonggang 2 Zheng, Ailong ...and 370 more Authors all top 5 Cited in 101 Serials 35 Journal of Computational and Applied Mathematics 33 Journal of Symbolic Computation 19 Theoretical Computer Science 13 Computer Physics Communications 10 Computer Aided Geometric Design 8 Computers & Mathematics with Applications 8 Mathematics of Computation 8 Journal of Algebra 8 Mathematics and Computers in Simulation 8 Computational Mathematics and Modeling 7 Applied Mathematics and Computation 7 Applied Numerical Mathematics 6 Numerical Algorithms 6 Linear Algebra and its Applications 6 Mathematics in Computer Science 5 Physics Letters. A 4 Computer Methods in Applied Mechanics and Engineering 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 Physica D 3 Annals of Physics 3 Journal of Systems Science and Complexity 2 International Journal of Theoretical Physics 2 Computing 2 International Journal for Numerical Methods in Engineering 2 Journal of Differential Equations 2 Journal of Optimization Theory and Applications 2 Theoretical Population Biology 2 Insurance Mathematics & Economics 2 Statistics & Probability Letters 2 Journal of Complexity 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 Functiones et Approximatio. Commentarii Mathematici 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 Applied Mathematics Letters 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 Soft Computing 1 Mathematical and Computer Modelling of Dynamical Systems 1 European Journal of Mechanics. A. Solids 1 LMS Journal of Computation and Mathematics 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Mathematics 1 Sādhanā 1 Computer Languages, Systems & Structures 1 Journal of Applied Logic 1 Journal of Statistical Theory and Practice ...and 1 more Serials all top 5 Cited in 52 Fields 124 Numerical analysis (65-XX) 118 Computer science (68-XX) 38 Commutative algebra (13-XX) 31 Algebraic geometry (14-XX) 30 Field theory and polynomials (12-XX) 24 Number theory (11-XX) 24 Linear and multilinear algebra; matrix theory (15-XX) 24 Special functions (33-XX) 16 Ordinary differential equations (34-XX) 15 Quantum theory (81-XX) 13 Group theory and generalizations (20-XX) 13 Mechanics of deformable solids (74-XX) 12 Partial differential equations (35-XX) 11 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) 7 Operations research, mathematical programming (90-XX) 6 Geometry (51-XX) 5 Statistical mechanics, structure of matter (82-XX) 5 Geophysics (86-XX) 5 Information and communication theory, circuits (94-XX) 4 Difference and functional equations (39-XX) 4 Probability theory and stochastic processes (60-XX) 4 Biology and other natural sciences (92-XX) 4 Systems theory; control (93-XX) 3 Associative rings and algebras (16-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Calculus of variations and optimal control; optimization (49-XX) 2 Mathematical logic and foundations (03-XX) 2 Nonassociative rings and algebras (17-XX) 2 Potential theory (31-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Functional analysis (46-XX) 2 Operator theory (47-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Relativity and gravitational theory (83-XX) 1 General and overarching topics; collections (00-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.