×

Watt, Stephen Michael

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

Publications by Year

Citations contained in zbMATH Open

33 Publications have been cited 388 times in 325 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.
121
1991
The singular value decomposition for polynomial systems. Zbl 0920.65034
Corless, Robert M.; Gianni, Patrizia M.; Trager, Barry M.; Watt, Stephen M.
55
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.
46
1991
\(QR\) factoring to compute the GCD of univariate approximate polynomials. Zbl 1372.65120
Corless, Robert M.; Watt, Stephen M.; Zhi, Lihong
31
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.
30
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.
18
2001
A numerical absolute primality test for bivariate polynomials. Zbl 0920.11081
Galligo, André; Watt, Stephen
9
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.
8
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
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
Computing with abstract matrix structures. Zbl 1237.68261
Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
4
2009
Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Zbl 1293.68035
4
2014
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.
3
1994
Making computer algebra more symbolic. Zbl 1204.68278
Watt, Stephen M.
3
2006
Scratchpad II: An abstract datatype system for mathematical computation. Zbl 0646.68044
Jenks, Richard D.; Sutor, Robert S.; Watt, Stephen M.
2
1988
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
Parametric polymorphism optimization for deeply nested types in computer algebras. Zbl 1114.68617
Dragan, Laurentiu; Watt, Stephen M.
1
2005
Generalization in Maple. Zbl 1114.68629
Oancea, Cosmin; So, Clare; Watt, Stephen M.
1
2005
Determining empirical characteristics of mathematical expression use. Zbl 1151.68675
So, Clare M.; Watt, Stephen M.
1
2006
The global digital mathematics library and the international mathematical knowledge trust. Zbl 1367.68335
Ion, Patrick D. F.; Watt, Stephen M.
1
2017
Mathematical document classification via symbol frequency analysis. Zbl 1170.68494
Watt, Stephen M.
1
2008
Special issue: Symbolic numeric algebra for polynomials. Zbl 0915.00021
1
1998
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
An architecture for distributed mathematical web services. Zbl 1108.68603
Smirnova, Elena S.; So, Clare M.; Watt, Stephen M.
1
2004
Symbolic domain decomposition. Zbl 1286.68515
Carette, Jacques; Sexton, Alan P.; Sorge, Volker; Watt, Stephen M.
1
2010
Orientation-independent recognition of handwritten characters with integral invariants. Zbl 1194.68202
Golubitsky, Oleg; Mazalov, Vadim; Watt, Stephen M.
1
2009
Notation selection in mathematical computing environments. Zbl 1204.68276
Smirnova, Elena; Watt, Stephen M.
1
2006
The global digital mathematics library and the international mathematical knowledge trust. Zbl 1367.68335
Ion, 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.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.
4
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
Orientation-independent recognition of handwritten characters with integral invariants. Zbl 1194.68202
Golubitsky, Oleg; Mazalov, Vadim; Watt, Stephen M.
1
2009
Mathematical document classification via symbol frequency analysis. Zbl 1170.68494
Watt, Stephen M.
1
2008
Making computer algebra more symbolic. Zbl 1204.68278
Watt, Stephen M.
3
2006
Determining empirical characteristics of mathematical expression use. Zbl 1151.68675
So, Clare M.; Watt, Stephen M.
1
2006
Notation selection in mathematical computing environments. Zbl 1204.68276
Smirnova, Elena; Watt, Stephen M.
1
2006
Parametric polymorphism optimization for deeply nested types in computer algebras. Zbl 1114.68617
Dragan, Laurentiu; Watt, Stephen M.
1
2005
Generalization in Maple. Zbl 1114.68629
Oancea, Cosmin; So, Clare; 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
31
2004
An architecture for distributed mathematical web services. Zbl 1108.68603
Smirnova, Elena S.; So, Clare M.; Watt, Stephen M.
1
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.
8
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.
18
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
9
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.
55
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.
3
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.
30
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.
121
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.
46
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.
2
1988
all top 5

Cited by 470 Authors

10 Winkler, Joab R.
8 Pérez-Díaz, Sonia
7 Corless, Robert Malcolm
7 Ronveaux, André
7 Sendra, Juan Rafael
7 Sendra, Juana
7 Znojil, Miloslav
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
4 Computer Methods in Applied Mechanics and Engineering
4 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 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

123 Numerical analysis (65-XX)
119 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)
14 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)
7 Approximations and expansions (41-XX)
7 Operations research, mathematical programming (90-XX)
6 Geometry (51-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 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 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

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