×

Watt, Stephen Michael

Author ID: watt.stephen-m Recent zbMATH articles by "Watt, Stephen Michael"
Published as: Watt, Stephen M.; Watt, Stephen; Watt, S. M.; Watt, Stephen Michael
Homepage: https://uwaterloo.ca/math/about/people/smwatt
External Links: MGP · Wikidata · Google Scholar · dblp · GND

Publications by Year

Citations contained in zbMATH Open

34 Publications have been cited 437 times in 365 Documents Cited by Year
Maple V - language reference manual. Zbl 0758.68038
Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M.
135
1991
The singular value decomposition for polynomial systems. Zbl 0920.65034
Corless, Robert M.; Gianni, Patrizia M.; Trager, Barry M.; Watt, Stephen M.
61
1995
Maple V Library reference manual. Zbl 0763.68046
Char, 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.65120
Corless, Robert M.; Watt, Stephen M.; Zhi, Lihong
35
2004
First leaves: a tutorial introduction to Maple V. Zbl 0758.68037
Char, 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.65020
Corless, Robert M.; Giesbrecht, Mark W.; Kotsireas, Ilias S.; Watt, Stephen M.
21
2001
Towards factoring bivariate approximate polynomials. Zbl 1356.13030
Corless, 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.11081
Galligo, André; Watt, Stephen
10
1997
A geometric-numeric algorithm for absolute factorization of multivariate polynomials. Zbl 1072.68658
Corless, 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
7
2014
Infinite structures in Scratchpad II. Zbl 1209.68667
Burge, William H.; Watt, Stephen M.
5
1989
Computing with abstract matrix structures. Zbl 1237.68261
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
5
2009
The global digital mathematics library and the international mathematical knowledge trust. Zbl 1367.68335
Ion, Patrick D. F.; Watt, Stephen M.
5
2017
Reasoning about the elementary functions of complex analysis. Zbl 1007.30001
Bradford, Russell; Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Watt, Stephen M.
5
2002
Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68043
Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M.
4
1988
Making computer algebra more symbolic. Zbl 1204.68278
Watt, Stephen M.
4
2006
A first report on the \(\mathbb{A}^\#\) compiler. Zbl 0945.68511
Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S.
4
1994
Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68044
Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M.
3
1988
An architecture for distributed mathematical web services. Zbl 1108.68603
Smirnova, Elena S.; So, Clare M.; Watt, Stephen M.
3
2004
An OpenMath 1. 0 implementation. Zbl 0923.68069
Dalmas, Stéphane; Gaëtano, Marc; Watt, Stephen
2
1997
On the implementation of dynamic evaluation. Zbl 0922.68078
Broadbery, P. A.; Gómez-Díaz, T.; Watt, S. M.
2
1995
Reasoning about the elementary functions of complex analysis. Zbl 1042.68128
Corless, Robert M.; Davenport, James H.; Jeffrey, David J.; Litt, Gurjeet; Watt, Stephen M.
2
2001
Generalization in Maple. Zbl 1114.68629
Oancea, 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
Notation selection in mathematical computing environments. Zbl 1204.68276
Smirnova, Elena; Watt, Stephen M.
1
2006
Orientation-independent recognition of handwritten characters with integral invariants. Zbl 1194.68202
Golubitsky, Oleg; Mazalov, Vadim; Watt, Stephen M.
1
2009
Determining empirical characteristics of mathematical expression use. Zbl 1151.68675
So, Clare M.; Watt, Stephen M.
1
2006
Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2009
Algorithms for the functional decomposition of Laurent polynomials. Zbl 1247.68329
Watt, Stephen M.
1
2009
Confidence measures in recognizing handwritten mathematical symbols. Zbl 1247.68228
Golubitsky, Oleg; Watt, Stephen M.
1
2009
Special issue: Symbolic numeric algebra for polynomials. Zbl 0915.00021
1
1998
Mathematical document classification via symbol frequency analysis. Zbl 1170.68494
Watt, Stephen M.
1
2008
Parametric polymorphism optimization for deeply nested types in computer algebras. Zbl 1114.68617
Dragan, Laurentiu; Watt, Stephen M.
1
2005
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
The global digital mathematics library and the international mathematical knowledge trust. Zbl 1367.68335
Ion, Patrick D. F.; Watt, Stephen M.
5
2017
Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035
7
2014
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
Computing with abstract matrix structures. Zbl 1237.68261
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
5
2009
Orientation-independent recognition of handwritten characters with integral invariants. Zbl 1194.68202
Golubitsky, Oleg; Mazalov, Vadim; Watt, Stephen M.
1
2009
Reasoning with generic cases in the arithmetic of abstract matrices. Zbl 1247.68327
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2009
Algorithms for the functional decomposition of Laurent polynomials. Zbl 1247.68329
Watt, Stephen M.
1
2009
Confidence measures in recognizing handwritten mathematical symbols. Zbl 1247.68228
Golubitsky, Oleg; Watt, Stephen M.
1
2009
Mathematical document classification via symbol frequency analysis. Zbl 1170.68494
Watt, 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.68278
Watt, Stephen M.
4
2006
Notation selection in mathematical computing environments. Zbl 1204.68276
Smirnova, Elena; Watt, Stephen M.
1
2006
Determining empirical characteristics of mathematical expression use. Zbl 1151.68675
So, Clare M.; Watt, Stephen M.
1
2006
Generalization in Maple. Zbl 1114.68629
Oancea, Cosmin; So, Clare; Watt, Stephen M.
2
2005
Parametric polymorphism optimization for deeply nested types in computer algebras. Zbl 1114.68617
Dragan, Laurentiu; Watt, Stephen M.
1
2005
\(QR\) factoring to compute the GCD of univariate approximate polynomials. Zbl 1372.65120
Corless, Robert M.; Watt, Stephen M.; Zhi, Lihong
35
2004
An architecture for distributed mathematical web services. Zbl 1108.68603
Smirnova, Elena S.; So, Clare M.; Watt, Stephen M.
3
2004
A geometric-numeric algorithm for absolute factorization of multivariate polynomials. Zbl 1072.68658
Corless, Robert M.; Galligo, André; Kotsireas, Ilias S.; Watt, Stephen M.
9
2002
Reasoning about the elementary functions of complex analysis. Zbl 1007.30001
Bradford, 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.65020
Corless, Robert M.; Giesbrecht, Mark W.; Kotsireas, Ilias S.; Watt, Stephen M.
21
2001
Towards factoring bivariate approximate polynomials. Zbl 1356.13030
Corless, 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.68128
Corless, 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.11081
Galligo, André; Watt, Stephen
10
1997
An OpenMath 1. 0 implementation. Zbl 0923.68069
Dalmas, Stéphane; Gaëtano, Marc; Watt, Stephen
2
1997
The singular value decomposition for polynomial systems. Zbl 0920.65034
Corless, Robert M.; Gianni, Patrizia M.; Trager, Barry M.; Watt, Stephen M.
61
1995
On the implementation of dynamic evaluation. Zbl 0922.68078
Broadbery, P. A.; Gómez-Díaz, T.; Watt, S. M.
2
1995
A first report on the \(\mathbb{A}^\#\) compiler. Zbl 0945.68511
Watt, Stephen M.; Broadbery, Peter A.; Dooley, Samuel S.; Iglio, Pietro; Morrison, Scott C.; Steinbach, Jonathan M.; Sutor, Robert S.
4
1994
First leaves: a tutorial introduction to Maple V. Zbl 0758.68037
Char, 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.68038
Char, Bruce W.; Geddes, Keith O.; Gonnet, Gaston H.; Leong, Benton L.; Monagan, Michael B.; Watt, Stephen M.
135
1991
Maple V Library reference manual. Zbl 0763.68046
Char, 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.68667
Burge, William H.; Watt, Stephen M.
5
1989
Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68043
Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M.
4
1988
Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68044
Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M.
3
1988
all top 5

Cited by 508 Authors

12 Winkler, Joab R.
8 Corless, Robert Malcolm
8 Pérez-Díaz, Sonia
8 Ronveaux, André
8 Znojil, Miloslav
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.
5 Watt, Stephen Michael
4 Bracken, Paul Francis
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
3 Barashkov, Aleksandr Sergeevich
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 Jeffrey, David J.
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 Ataeva, O. M.
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 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 Rabe, Florian
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 Serebryakov, V. A.
...and 408 more Authors
all top 5

Cited in 107 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 International Journal of Theoretical Physics
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 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 Doklady Mathematics
2 Representation Theory
2 Lobachevskii Journal of Mathematics
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 European Mathematical Society Newsletter
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 The Journal of Logic and Algebraic Programming
1 Journal of Applied Mathematics
...and 7 more Serials
all top 5

Cited in 53 Fields

137 Computer science (68-XX)
133 Numerical analysis (65-XX)
43 Commutative algebra (13-XX)
33 Field theory and polynomials (12-XX)
32 Algebraic geometry (14-XX)
28 Number theory (11-XX)
26 Special functions (33-XX)
24 Linear and multilinear algebra; matrix theory (15-XX)
19 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 Statistical mechanics, structure of matter (82-XX)
5 Geophysics (86-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

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.