default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStephen M. Watt
Stephen Michael Watt
Person information
- affiliation: University of Waterloo, Canada
- affiliation: University of Western Ontario, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c87]Arthur C. Norman, Stephen M. Watt:
Computing Clipped Products. CASC 2024: 273-291- [c86]Patrick D. F. Ion, Stephen M. Watt:
Using General Large Language Models to Classify Mathematical Documents. CICM 2024: 42-57 - [e20]Katsusuke Nabeshima, Stephen M. Watt:
Proceedings of the SCSS 2024 Work in Progress Workshop co-located with 10th International Symposium on Symbolic Computation in Software Science (SCSS 2024), Tokyo, Japan, Aug 28-30, 2024. CEUR Workshop Proceedings 3754, CEUR-WS.org 2024 [contents] - [e19]Stephen M. Watt
, Tetsuo Ida:
Symbolic Computation in Software Science - 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings. Lecture Notes in Computer Science 14991, Springer 2024, ISBN 978-3-031-69041-9 [contents] - [i19]Cosmin E. Oancea, Stephen M. Watt:
GPU Implementations for Midsize Integer Addition and Multiplication. CoRR abs/2405.14642 (2024) - [i18]Arthur C. Norman, Stephen M. Watt:
A Symbolic Computing Perspective on Software Systems. CoRR abs/2406.09085 (2024) - [i17]Patrick D. F. Ion, Stephen M. Watt:
Using General Large Language Models to Classify Mathematical Documents. CoRR abs/2406.10274 (2024) - [i16]Stephen M. Watt:
Algorithms for Recursive Block Matrices. CoRR abs/2407.03976 (2024) - [i15]Arthur C. Norman, Stephen M. Watt:
Computing Clipped Products. CoRR abs/2407.04133 (2024) - [i14]David J. Jeffrey, Stephen M. Watt:
An Abstraction-Preserving Block Matrix Implementation in Maple. CoRR abs/2408.02112 (2024) - [i13]Deepak Singh Kalhan, Stephen M. Watt:
A First Look at Chebyshev-Sobolev Series for Digital Ink. CoRR abs/2408.02135 (2024) - 2023
- [c85]Stephen M. Watt:
Efficient Quotients of Non-commutative Polynomials. CASC 2023: 370-392 - [c84]Stephen Michael Watt:
Efficient Generic Quotients Using Exact Arithmetic. ISSAC 2023: 535-544 - [c83]Florian Rabe, Stephen M. Watt:
Extracting Theory Graphs from Aldor Libraries. CICM 2023: 315-320 - [c82]D. J. Jeffrey, Stephen M. Watt:
The Inverse of the Complex Gamma Function. SYNASC 2023: 26-31 - [c81]Mike Ghesquiere, Stephen M. Watt:
Hybrid Intervals and Symbolic Block Matrices. SYNASC 2023: 32-39 - [i12]Stephen M. Watt:
Efficient Quotients Using Exact Arithmetic. CoRR abs/2304.01753 (2023) - [i11]Stephen M. Watt:
Efficient Quotients of Non-Commutative Polynomials. CoRR abs/2305.17877 (2023) - [i10]Mike Ghesquiere, Stephen M. Watt:
Hybrid Intervals and Symbolic Block Matrices. CoRR abs/2311.16571 (2023) - [i9]David J. Jeffrey, Stephen M. Watt:
The Inverse of the Complex Gamma Function. CoRR abs/2311.16583 (2023) - 2022
- [c80]David J. Jeffrey, Stephen M. Watt:
Working with Families of Inverse Functions. CICM 2022: 222-237 - [c79]Stephen M. Watt:
Detecting Implicit Indeterminates in Symbolic Computation. SYNASC 2022: 43-50 - 2021
- [i8]Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, Stephen M. Watt:
Telescopers for differential forms with one parameter. CoRR abs/2101.06576 (2021)
2010 – 2019
- 2019
- [c78]Parisa Alvandi, Stephen M. Watt:
The LegendreSobolev Package and Its Applications in Handwriting Recognition. MC 2019: 13-29 - [c77]Stephen M. Watt:
A Review of Algorithms for Symbolic Domains. SYNASC 2019: 22 - [c76]Parisa Alvandi, Stephen M. Watt:
Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation. SYNASC 2019: 206-213 - 2018
- [c75]Parisa Alvandi, Stephen M. Watt:
Real-Time Computation of Legendre-Sobolev Approximations. SYNASC 2018: 67-74 - 2017
- [j16]Jan Verschelde, Stephen M. Watt, Lihong Zhi:
TCS SNC Preface. Theor. Comput. Sci. 681: 1-2 (2017) - [c74]Patrick D. F. Ion, Stephen M. Watt:
The Global Digital Mathematics Library and the International Mathematical Knowledge Trust. CICM 2017: 56-69 - [c73]Tetsuo Ida, Stephen M. Watt:
Origami folds in higher-dimension. SCSS 2017: 83-95 - [e18]Tudor Jebelean, Viorel Negru, Dana Petcu, Daniela Zaharie, Tetsuo Ida, Stephen M. Watt:
19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2017, Timisoara, Romania, September 21-24, 2017. IEEE Computer Society 2017, ISBN 978-1-5386-2626-9 [contents] - 2016
- [j15]George Labahn, Stephen M. Watt:
Thematic program in computer algebra: July 1 - Dec 31, 2015. ACM Commun. Comput. Algebra 50(1): 25-26 (2016) - [c72]Stephen M. Watt:
How to Build a Global Digital Mathematics Library. SYNASC 2016: 37-40 - [c71]Shaoshi Chen, Stephen M. Watt:
Combinatorics of Hybrid Sets. SYNASC 2016: 60-64 - [e17]James H. Davenport, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2016, Timisoara, Romania, September 24-27, 2016. IEEE 2016, ISBN 978-1-5090-5707-8 [contents] - 2015
- [e16]Laura Kovács, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Timisoara, Romania, September 21-24, 2015. IEEE Computer Society 2015, ISBN 978-1-5090-0461-4 [contents] - 2014
- [c70]Travis Felker, Vadim Mazalov, Stephen M. Watt:
Distance-based High-frequency Trading. ICCS 2014: 2055-2064 - [e15]Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt:
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014. CEUR Workshop Proceedings 1186, CEUR-WS.org 2014 [contents] - [e14]Stephen M. Watt, James H. Davenport, Alan P. Sexton, Petr Sojka, Josef Urban:
Intelligent Computer Mathematics - International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings. Lecture Notes in Computer Science 8543, Springer 2014, ISBN 978-3-319-08433-6 [contents] - [e13]Lihong Zhi, Stephen M. Watt:
Symbolic-Numeric Computation 2014, SNC '14, Shanghai, China, July 28-31, 2014. ACM 2014, ISBN 978-1-4503-2963-7 [contents] - [e12]Franz Winkler, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2014, Timisoara, Romania, September 22-25, 2014. IEEE Computer Society 2014, ISBN 978-1-4799-8447-3 [contents] - 2013
- [j14]Wolfram Koepf, Stephen M. Watt:
Guest Editors' foreword. J. Symb. Comput. 49: 1-2 (2013) - [c69]Rui Hu, Stephen M. Watt:
InkChat: a collaboration tool for mathematics. CICM Workshops 2013 - [c68]Rui Hu, Stephen M. Watt:
Determining Points on Handwritten Mathematical Symbols. MKM/Calculemus/DML 2013: 168-183 - [c67]Vadim Mazalov, Stephen M. Watt:
Recommendation systems in mathematical character recognition. CICM Workshops 2013 - [c66]Rui Hu, Stephen M. Watt:
Identifying Features via Homotopy on Handwritten Mathematical Symbols. SYNASC 2013: 61-67 - [e11]Nikolaj S. Bjørner, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. IEEE Computer Society 2013, ISBN 978-1-4799-3035-7 [contents] - [i7]Rui Hu, Stephen M. Watt:
Determining Points on Handwritten Mathematical Symbols. CoRR abs/1306.4966 (2013) - 2012
- [c65]Rui Hu, Vadim Mazalov, Stephen M. Watt:
A Streaming Digital Ink Framework for Multi-party Collaboration. AISC/MKM/Calculemus 2012: 81-95 - [c64]Vadim Mazalov, Stephen M. Watt:
Writing on Clouds. AISC/MKM/Calculemus 2012: 402-416 - [c63]Pavel Bourdykine, Stephen M. Watt:
Lightweight Abstraction for Mathematical Computation in Java. CASC 2012: 47-59 - [c62]Vadim Mazalov, Stephen M. Watt:
Linear Compression of Digital Ink via Point Selection. Document Analysis Systems 2012: 429-434 - [c61]Vadim Mazalov, Stephen M. Watt:
Improving isolated and in-context classication of handwritten characters. DRR 2012: 82970B - [c60]Vadim Mazalov, Stephen M. Watt:
Recognition of Relatively Small Handwritten Characters or "Size Matters". ICFHR 2012: 319-324 - [c59]Rui Hu, Stephen M. Watt:
Optimization of Point Selection on Digital Ink Curves. ICFHR 2012: 527-532 - [c58]Vadim Mazalov, Stephen M. Watt:
A Structure for Adaptive Handwriting Recognition. ICFHR 2012: 692-697 - [c57]Solomon Marcus, Stephen M. Watt:
What is an Equation? SYNASC 2012: 23-29 - [e10]Andrei Voronkov, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2012, Timisoara, Romania, September 26-29, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-5026-6 [contents] - 2011
- [j13]Mark Giesbrecht, Stephen M. Watt:
In honour of Keith Geddes on his 60th birthday. J. Symb. Comput. 46(7): 735-740 (2011) - [j12]Cosmin E. Oancea, Stephen M. Watt:
An architecture for generic extensions. Sci. Comput. Program. 76(4): 258-277 (2011) - [c56]Stephen M. Watt:
Polynomial approximation in handwriting recognition. SNC 2011: 3-7 - [c55]Stephen M. Watt:
Computational Tools for Mathematical Collaboration. SYNASC 2011: 16-18 - [e9]Dongming Wang, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2011, Timisoara, Romania, September 26-29, 2011. IEEE Computer Society 2011, ISBN 978-1-4673-0207-4 [contents] - 2010
- [j11]Oleg Golubitsky, Stephen M. Watt:
Distance-based classification of handwritten symbols. Int. J. Document Anal. Recognit. 13(2): 133-146 (2010) - [c54]Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Symbolic Domain Decomposition. AISC/MKM/Calculemus 2010: 172-188 - [c53]Laurentiu Dragan, Stephen M. Watt:
Type Specialization in Aldor. CASC 2010: 73-84 - [c52]Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt:
Toward affine recognition of handwritten mathematical characters. Document Analysis Systems 2010: 35-42 - [c51]Oleg Golubitsky, Stephen M. Watt:
Improved classification through runoff elections. Document Analysis Systems 2010: 59-64 - [c50]Vadim Mazalov, Stephen M. Watt:
Digital Ink Compression via Functional Approximation. ICFHR 2010: 688-694 - [c49]Stephen M. Watt:
On the Mathematics of Mathematical Handwriting Recognition. SYNASC 2010: 17 - [e8]Tetsuo Ida, Viorel Negru, Tudor Jebelean, Dana Petcu, Stephen M. Watt, Daniela Zaharie:
12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2010, Timisoara, Romania, 23-26 September 2010. IEEE Computer Society 2010, ISBN 978-0-7695-4324-6 [contents] - [i6]Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Symbolic Domain Decomposition. CoRR abs/1004.5549 (2010)
2000 – 2009
- 2009
- [c48]Oleg Golubitsky, Stephen M. Watt:
Online computation of similarity between handwritten characters. DRR 2009: 72470C - [c47]Amit Regmi, Stephen M. Watt:
A Collaborative Interface for Multimodal Ink and Audio Documents. ICDAR 2009: 901-905 - [c46]Oleg Golubitsky, Stephen M. Watt:
Online Recognition of Multi-Stroke Symbols with Orthogonal Series. ICDAR 2009: 1265-1269 - [c45]Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Computing with abstract matrix structures. ISSAC 2009: 325-332 - [c44]Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt:
A new approach to parallelising tracing algorithms. ISMM 2009: 10-19 - [c43]Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM 2009: 138-153 - [c42]Stephen M. Watt:
Algorithms for the Functional Decomposition of Laurent Polynomials. Calculemus/MKM 2009: 186-200 - [c41]Oleg Golubitsky, Stephen M. Watt:
Confidence Measures in Recognizing Handwritten Mathematical Symbols. Calculemus/MKM 2009: 460-466 - [e7]Jacques Carette, Lucas Dixon, Claudio Sacerdoti Coen, Stephen M. Watt:
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. Lecture Notes in Computer Science 5625, Springer 2009, ISBN 978-3-642-02613-3 [contents] - [e6]Stephen M. Watt, Viorel Negru, Tetsuo Ida, Tudor Jebelean, Dana Petcu, Daniela Zaharie:
11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2009, Timisoara, Romania, September 26-29, 2009. IEEE Computer Society 2009, ISBN 978-1-4244-5910-0 [contents] - 2008
- [j10]Stephen M. Watt:
On the functional decomposition of multivariate laurent polynomials (abstract only). ACM Commun. Comput. Algebra 42(1-2): 89-90 (2008) - [c40]Oleg Golubitsky, Stephen M. Watt:
Online stroke modeling for handwriting recognition. CASCON 2008: 6 - [c39]Stephen M. Watt:
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts. Document Analysis Systems 2008: 557-564 - [c38]Stephen M. Watt:
Functional Decomposition of Symbolic Polynomials. ICCSA Workshops 2008: 353-362 - [c37]Elena S. Smirnova, Stephen M. Watt:
Communicating Mathematics via Pen-Based Interfaces. SYNASC 2008: 9-18 - [c36]Alan P. Sexton, Volker Sorge, Stephen M. Watt:
Abstract Matrix Arithmetic. SYNASC 2008: 61-68 - 2007
- [c35]Stephen M. Watt:
New Aspects of InkML for Pen-Based Computing. ICDAR 2007: 457-460 - [c34]Birendra Keshari, Stephen M. Watt:
Hybrid Mathematical Symbol Recognition Using Support Vector Machines. ICDAR 2007: 859-863 - [c33]Elena S. Smirnova, Stephen M. Watt:
Aspects of Mathematical Expression Analysis in Arabic Handwriting. ICDAR 2007: 1183-1187 - [c32]Bruce W. Char, Stephen M. Watt:
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. ICDAR 2007: 1198-1202 - [c31]Birendra Keshari, Stephen M. Watt:
Streaming-Archival InkML Conversion. ICDAR 2007: 1253-1257 - [c30]Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt:
Generation and optimisation of code using coxeter lattice paths. PASCO 2007: 1-10 - [c29]Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie:
Multiprocessed parallelism support in ALDOR on SMPs and multicores. PASCO 2007: 60-68 - [c28]Geoff Wozniak, Mark Daley, Stephen M. Watt:
Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction. ILC 2007: 26 - [e5]Marc Moreno Maza, Stephen M. Watt:
Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada. ACM 2007, ISBN 978-1-59593-741-4 [contents] - [e4]Stephen M. Watt, Jan Verschelde:
Symbolic-Numeric Computation, SNC 2007, International Workshop, 25-27 July 2007, University of Western Ontario, London, Ontario, Canada. ACM 2007, ISBN 978-1-59593-744-5 [contents] - 2006
- [c27]Yannis Chicha, Stephen M. Watt:
A Localized Tracing Scheme Applied to Garbage Collection. APLAS 2006: 323-339 - [c26]Stephen M. Watt:
Algorithms for Symbolic Polynomials. CASC 2006: 302 - [c25]Stephen M. Watt:
A technique for generic iteration and its optimization. ICFP-WGP 2006: 76-86 - [c24]Stephen M. Watt:
Improving Pen-Based Mathematical Interfaces. SYNASC 2006: 12 - [c23]Stephen M. Watt:
Pivot-Free Block Matrix Inversion. SYNASC 2006: 151-155 - [e3]Wolfram Decker, Mike Dewar, Erich L. Kaltofen, Stephen M. Watt:
Challenges in Symbolic Computation Software, 02.07. - 07.07.2006. Dagstuhl Seminar Proceedings 06271, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 [contents] - [i5]Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt:
Coxeter Lattice Paths. Challenges in Symbolic Computation Software 2006 - [i4]Wolfram Decker, Mike Dewar, Erich L. Kaltofen, Stephen M. Watt:
06271 Executive Summary - Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software 2006 - [i3]Wolfram Decker, Mike Dewar, Erich L. Kaltofen, Stephen M. Watt:
06271 Abstracts Collection -- Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software 2006 - [i2]Stephen M. Watt:
Pivot-Free Block Matrix Inversion. Challenges in Symbolic Computation Software 2006 - [i1]Stephen M. Watt:
Two Families of Algorithms for Symbolic Polynomials. Challenges in Symbolic Computation Software 2006 - 2005
- [j9]Stephen M. Watt:
Algebraic generalization. SIGSAM Bull. 39(3): 93-94 (2005) - [c22]Clare M. So, Mark Perry, Stephen M. Watt:
Towards an Accessible Web through Semantic Web Standards. CPSN 2005: 10-16 - [c21]Stephen M. Watt, Xiaofang Xie:
Recognition for Large Sets of Handwritten Mathematical Symbols. ICDAR 2005: 740-744 - [c20]Cosmin E. Oancea, Stephen M. Watt:
Domains and expressions: an interface between two approaches to computer algebra. ISSAC 2005: 261-268 - [c19]Clare M. So, Stephen M. Watt:
Determining Empirical Characteristics of Mathematical Expression Use. MKM 2005: 361-375 - [c18]Cosmin E. Oancea, Stephen M. Watt:
Parametric polymorphism for software component architectures. OOPSLA 2005: 147-166 - [c17]Cosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, Stephen M. Watt:
Distributed Models of Thread Level Speculation. PDPTA 2005: 920-927 - [c16]Laurentiu Dragan, Stephen M. Watt:
Performance Analysis of Generics in Scientific Computing. SYNASC 2005: 93-100 - 2004
- [j8]Robert M. Corless, Stephen M. Watt, Lihong Zhi:
QR factoring to compute the GCD of univariate approximate polynomials. IEEE Trans. Signal Process. 52(12): 3394-3402 (2004) - [c15]Elena S. Smirnova, Clare M. So, Stephen M. Watt:
An Architecture for Distributed Mathematical Web Services. MKM 2004: 363-377 - 2003
- [j7]Bill Naylor, Stephen M. Watt:
Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. Ann. Math. Artif. Intell. 38(1-3): 3-25 (2003) - [j6]Robert M. Corless, Hiroshi Kai, Stephen M. Watt:
Approximate computation of pseudovarieties. SIGSAM Bull. 37(3): 67-71 (2003) - 2002
- [j5]Russell J. Bradford, Robert M. Corless, James H. Davenport, David J. Jeffrey, Stephen M. Watt:
Reasoning about the Elementary Functions of Complex Analysis. Ann. Math. Artif. Intell. 36(3): 303-318 (2002) - [c14]Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt:
A geometric-numeric algorithm for absolute factorization of multivariate polynomials. ISSAC 2002: 37-45 - 2001
- [c13]Robert M. Corless, Mark Giesbrecht, Mark van Hoeij, Ilias S. Kotsireas, Stephen M. Watt:
Towards factoring bivariate approximate polynomials. ISSAC 2001: 85-92 - 2000
- [j4]Robert M. Corless, David J. Jeffrey, Stephen M. Watt, James H. Davenport:
"According to Abramowitz and Stegun" or arccoth needn't be uncouth. SIGSAM Bull. 34(2): 58-65 (2000) - [c12]Robert M. Corless, James H. Davenport, David J. Jeffrey, Gurjeet Litt, Stephen M. Watt:
Reasoning about the Elementary Functions of Complex Analysis. AISC 2000: 115-126 - [c11]Robert M. Corless, Mark Giesbrecht, Ilias S. Kotsireas, Stephen M. Watt:
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. AISC 2000: 174-183
1990 – 1999
- 1999
- [j3]Stephen M. Watt, Xuehong Li:
Examples of MathML. SIGSAM Bull. 33(1): 1-4 (1999) - [c10]Robert M. Corless, Mark Giesbrecht, David J. Jeffrey, Stephen M. Watt:
Approximate polynomial decomposition. ISSAC 1999: 213-219 - 1998
- [j2]Robert M. Corless, Stephen M. Watt:
Report on the SNAP minisymposium at SIAM '98. SIGSAM Bull. 32(2): 35-37 (1998) - 1997
- [c9]André Galligo, Stephen M. Watt:
A Numerical Absolute Primality Test for Bivariate Polynomials. ISSAC 1997: 217-224 - [c8]Stéphane Dalmas, Marc Gaëtano, Stephen M. Watt:
An OpenMath 1.0 Implementation. ISSAC 1997: 241-248 - 1996
- [j1]Stephen M. Watt:
Message from the Chair. SIGSAM Bull. 30(1): 1 (1996) - 1995
- [c7]Peter A. Broadbery, Teresa Gomez-Diaz, Stephen M. Watt:
On the Implementation of Dynamic Evaluation. ISSAC 1995: 77-84 - [c6]Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt:
The Singular Value Decomposition for Polynomial Systems. ISSAC 1995: 195-207 - 1994
- [c5]Stephen M. Watt, Peter A. Broadbery, Samuel S. Dooley, Pietro Iglio, Scott C. Morrison, Jonathan M. Steinbach, Robert S. Sutor:
A First Report on the A# Compiler. ISSAC 1994: 25-31 - 1991
- [e2]Stephen M. Watt:
Proceedings of the 1991 International Symposium on Symbolic and Algebraic Computation, ISSAC '91, Bonn, Germany, July 15-17, 1991. ACM 1991, ISBN 0-89791-437-6 [contents]
1980 – 1989
- 1989
- [e1]Erich L. Kaltofen, Stephen M. Watt:
Computers and Mathematics, Third Computers and Mathematics Conference, MIT, Cambridge, Massachusetts, USA, June 13-17, 1989. Springer 1989, ISBN 978-0-387-97019-6 [contents] - 1988
- [c4]Stephen M. Watt:
A Fixed Point Method for Power Series Computation. ISSAC 1988: 206-217 - 1987
- [c3]William H. Burge, Stephen M. Watt:
Infinite structures in SCRATCHPAD II. EUROCAL 1987: 138-148 - [c2]Richard D. Jenks, Robert S. Sutor, Stephen M. Watt:
Scratchpad II: An Abstract Datatype System for Mathematical Computation. Trends in Computer Algebra 1987: 12-37 - 1985
- [c1]Stephen M. Watt:
A System for Parallel Computer Algebra Programs. European Conference on Computer Algebra (2) 1985: 537-538
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-17 21:28 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
