A System for Parallel Computer Algebra Programs. - Stephen M. Watt (European Conference on Computer Algebra (2), 1985)

Infinite structures in SCRATCHPAD II. - William H. Burge; Stephen M. Watt (EUROCAL, 1987)

Scratchpad II: An Abstract Datatype System for Mathematical Computation. - Richard D. Jenks; Robert S. Sutor; Stephen M. Watt (Trends in Computer Algebra, 1987)

A Fixed Point Method for Power Series Computation. - Stephen M. Watt (ISSAC, 1988)

A First Report on the A# Compiler. - Stephen M. Watt; Peter A. Broadbery; Samuel S. Dooley; Pietro Iglio; Scott C. Morrison; Jonathan M. Steinbach; Robert S. Sutor (ISSAC, 1994)

On the Implementation of Dynamic Evaluation. - Peter A. Broadbery; Teresa Gomez-Diaz; Stephen M. Watt (ISSAC, 1995)

The Singular Value Decomposition for Polynomial Systems. - Robert M. Corless; Patrizia M. Gianni; Barry M. Trager; Stephen M. Watt (ISSAC, 1995)

Message from the Chair. - Stephen M. Watt (SIGSAM Bull., 1996)

An OpenMath 1.0 Implementation. - Stéphane Dalmas; Marc Gaëtano; Stephen M. Watt (ISSAC, 1997)

A Numerical Absolute Primality Test for Bivariate Polynomials. - André Galligo; Stephen M. Watt (ISSAC, 1997)

Report on the SNAP minisymposium at SIAM '98. - Robert M. Corless; Stephen M. Watt (SIGSAM Bull., 1998)

Approximate polynomial decomposition. - Robert M. Corless; Mark Giesbrecht; David J. Jeffrey; Stephen M. Watt (ISSAC, 1999)

Examples of MathML. - Stephen M. Watt; Xuehong Li (SIGSAM Bull., 1999)

Reasoning about the Elementary Functions of Complex Analysis. - Robert M. Corless; James H. Davenport; David J. Jeffrey; Gurjeet Litt; Stephen M. Watt (AISC, 2000)

Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. - Robert M. Corless; Mark Giesbrecht; Ilias S. Kotsireas; Stephen M. Watt (AISC, 2000)

"According to Abramowitz and Stegun" or arccoth needn't be uncouth. - Robert M. Corless; David J. Jeffrey; Stephen M. Watt; James H. Davenport (SIGSAM Bull., 2000)

Towards factoring bivariate approximate polynomials. - Robert M. Corless; Mark Giesbrecht; Mark van Hoeij; Ilias S. Kotsireas; Stephen M. Watt (ISSAC, 2001)

A geometric-numeric algorithm for absolute factorization of multivariate polynomials. - Robert M. Corless; André Galligo; Ilias S. Kotsireas; Stephen M. Watt (ISSAC, 2002)

Reasoning about the Elementary Functions of Complex Analysis. - Russell J. Bradford; Robert M. Corless; James H. Davenport; David J. Jeffrey; Stephen M. Watt (Ann. Math. Artif. Intell., 2002)

Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. - Bill Naylor; Stephen M. Watt (Ann. Math. Artif. Intell., 2003)

Approximate computation of pseudovarieties. - Robert M. Corless; Hiroshi Kai; Stephen M. Watt (SIGSAM Bull., 2003)

An Architecture for Distributed Mathematical Web Services. - Elena S. Smirnova; Clare M. So; Stephen M. Watt (MKM, 2004)

QR factoring to compute the GCD of univariate approximate polynomials. - Robert M. Corless; Stephen M. Watt; Lihong Zhi (IEEE Trans. Signal Process., 2004)

Towards an Accessible Web through Semantic Web Standards. - Clare M. So; Mark Perry; Stephen M. Watt (CPSN, 2005)

Recognition for Large Sets of Handwritten Mathematical Symbols. - Stephen M. Watt; Xiaofang Xie (ICDAR, 2005)

Domains and expressions: an interface between two approaches to computer algebra. - Cosmin E. Oancea; Stephen M. Watt (ISSAC, 2005)

Determining Empirical Characteristics of Mathematical Expression Use. - Clare M. So; Stephen M. Watt (MKM, 2005)

Parametric polymorphism for software component architectures. - Cosmin E. Oancea; Stephen M. Watt (OOPSLA, 2005)

Distributed Models of Thread Level Speculation. - Cosmin E. Oancea; Jason W. A. Selby; Mark Giesbrecht; Stephen M. Watt (PDPTA, 2005)

Performance Analysis of Generics in Scientific Computing. - Laurentiu Dragan; Stephen M. Watt (SYNASC, 2005)

Algebraic generalization. - Stephen M. Watt (SIGSAM Bull., 2005)

A Localized Tracing Scheme Applied to Garbage Collection. - Yannis Chicha; Stephen M. Watt (APLAS, 2006)

Algorithms for Symbolic Polynomials. - Stephen M. Watt (CASC, 2006)

Coxeter Lattice Paths. - Thomas J. Ashby; Anthony D. Kennedy; Stephen M. Watt (Challenges in Symbolic Computation Software, 2006)

06271 Executive Summary - Challenges in Symbolic Computation Software. - Wolfram Decker; Mike Dewar; Erich L. Kaltofen; Stephen M. Watt (Challenges in Symbolic Computation Software, 2006)

06271 Abstracts Collection – Challenges in Symbolic Computation Software. - Wolfram Decker; Mike Dewar; Erich L. Kaltofen; Stephen M. Watt (Challenges in Symbolic Computation Software, 2006)

Two Families of Algorithms for Symbolic Polynomials. - Stephen M. Watt (Challenges in Symbolic Computation Software, 2006)

A technique for generic iteration and its optimization. - Stephen M. Watt (ICFP-WGP, 2006)

Improving Pen-Based Mathematical Interfaces. - Stephen M. Watt (SYNASC, 2006)

Pivot-Free Block Matrix Inversion. - Stephen M. Watt (SYNASC, 2006)

Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. - Bruce W. Char; Stephen M. Watt (ICDAR, 2007)

Hybrid Mathematical Symbol Recognition Using Support Vector Machines. - Birendra Keshari; Stephen M. Watt (ICDAR, 2007)

Streaming-Archival InkML Conversion. - Birendra Keshari; Stephen M. Watt (ICDAR, 2007)

Aspects of Mathematical Expression Analysis in Arabic Handwriting. - Elena S. Smirnova; Stephen M. Watt (ICDAR, 2007)

New Aspects of InkML for Pen-Based Computing. - Stephen M. Watt (ICDAR, 2007)

Generation and optimisation of code using coxeter lattice paths. - Thomas J. Ashby; Anthony D. Kennedy; Stephen M. Watt (PASCO, 2007)

Multiprocessed parallelism support in ALDOR on SMPs and multicores. - Marc Moreno Maza; Ben Stephenson; Stephen M. Watt; Yuzhen Xie (PASCO, 2007)

Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction. - Geoff Wozniak; Mark Daley; Stephen M. Watt (ILC, 2007)

Online stroke modeling for handwriting recognition. - Oleg Golubitsky; Stephen M. Watt (CASCON, 2008)

An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts. - Stephen M. Watt (Document Analysis Systems, 2008)

Functional Decomposition of Symbolic Polynomials. - Stephen M. Watt (ICCSA Workshops, 2008)

Abstract Matrix Arithmetic. - Alan P. Sexton; Volker Sorge; Stephen M. Watt (SYNASC, 2008)

Communicating Mathematics via Pen-Based Interfaces. - Elena S. Smirnova; Stephen M. Watt (SYNASC, 2008)

On the functional decomposition of multivariate laurent polynomials (abstract only). - Stephen M. Watt (ACM Commun. Comput. Algebra, 2008)

Online computation of similarity between handwritten characters. - Oleg Golubitsky; Stephen M. Watt (DRR, 2009)

Online Recognition of Multi-Stroke Symbols with Orthogonal Series. - Oleg Golubitsky; Stephen M. Watt (ICDAR, 2009)

A Collaborative Interface for Multimodal Ink and Audio Documents. - Amit Regmi; Stephen M. Watt (ICDAR, 2009)

Computing with abstract matrix structures. - Alan P. Sexton; Volker Sorge; Stephen M. Watt (ISSAC, 2009)

A new approach to parallelising tracing algorithms. - Cosmin E. Oancea; Alan Mycroft; Stephen M. Watt (ISMM, 2009)

Confidence Measures in Recognizing Handwritten Mathematical Symbols. - Oleg Golubitsky; Stephen M. Watt (Calculemus/MKM, 2009)

Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. - Alan P. Sexton; Volker Sorge; Stephen M. Watt (Calculemus/MKM, 2009)

Algorithms for the Functional Decomposition of Laurent Polynomials. - Stephen M. Watt (Calculemus/MKM, 2009)

Symbolic Domain Decomposition. - Jacques Carette; Alan P. Sexton; Volker Sorge; Stephen M. Watt (AISC/MKM/Calculemus, 2010)

Type Specialization in Aldor. - Laurentiu Dragan; Stephen M. Watt (CASC, 2010)

Toward affine recognition of handwritten mathematical characters. - Oleg Golubitsky; Vadim Mazalov; Stephen M. Watt (Document Analysis Systems, 2010)

Improved classification through runoff elections. - Oleg Golubitsky; Stephen M. Watt (Document Analysis Systems, 2010)

Digital Ink Compression via Functional Approximation. - Vadim Mazalov; Stephen M. Watt (ICFHR, 2010)

On the Mathematics of Mathematical Handwriting Recognition. - Stephen M. Watt (SYNASC, 2010)

Distance-based classification of handwritten symbols. - Oleg Golubitsky; Stephen M. Watt (Int. J. Document Anal. Recognit., 2010)

Polynomial approximation in handwriting recognition. - Stephen M. Watt (SNC, 2011)

Computational Tools for Mathematical Collaboration. - Stephen M. Watt (SYNASC, 2011)

In honour of Keith Geddes on his 60th birthday. - Mark Giesbrecht; Stephen M. Watt (J. Symb. Comput., 2011)

An architecture for generic extensions. - Cosmin E. Oancea; Stephen M. Watt (Sci. Comput. Program., 2011)

A Streaming Digital Ink Framework for Multi-party Collaboration. - Rui Hu; Vadim Mazalov; Stephen M. Watt (AISC/MKM/Calculemus, 2012)

Writing on Clouds. - Vadim Mazalov; Stephen M. Watt (AISC/MKM/Calculemus, 2012)

Lightweight Abstraction for Mathematical Computation in Java. - Pavel Bourdykine; Stephen M. Watt (CASC, 2012)

Linear Compression of Digital Ink via Point Selection. - Vadim Mazalov; Stephen M. Watt (Document Analysis Systems, 2012)

Improving isolated and in-context classication of handwritten characters. - Vadim Mazalov; Stephen M. Watt (DRR, 2012)

Optimization of Point Selection on Digital Ink Curves. - Rui Hu; Stephen M. Watt (ICFHR, 2012)

Recognition of Relatively Small Handwritten Characters or "Size Matters". - Vadim Mazalov; Stephen M. Watt (ICFHR, 2012)

A Structure for Adaptive Handwriting Recognition. - Vadim Mazalov; Stephen M. Watt (ICFHR, 2012)

What is an Equation? - Solomon Marcus; Stephen M. Watt (SYNASC, 2012)

InkChat: a collaboration tool for mathematics. - Rui Hu; Stephen M. Watt (CICM Workshops, 2013)

Determining Points on Handwritten Mathematical Symbols. - Rui Hu; Stephen M. Watt (MKM/Calculemus/DML, 2013)

Recommendation systems in mathematical character recognition. - Vadim Mazalov; Stephen M. Watt (CICM Workshops, 2013)

Identifying Features via Homotopy on Handwritten Mathematical Symbols. - Rui Hu; Stephen M. Watt (SYNASC, 2013)

Guest Editors' foreword. - Wolfram Koepf; Stephen M. Watt (J. Symb. Comput., 2013)

Distance-based High-frequency Trading. - Travis Felker; Vadim Mazalov; Stephen M. Watt (ICCS, 2014)

Combinatorics of Hybrid Sets. - Shaoshi Chen; Stephen M. Watt (SYNASC, 2016)

How to Build a Global Digital Mathematics Library. - Stephen M. Watt (SYNASC, 2016)

Thematic program in computer algebra: July 1 - Dec 31, 2015. - George Labahn; Stephen M. Watt (ACM Commun. Comput. Algebra, 2016)

The Global Digital Mathematics Library and the International Mathematical Knowledge Trust. - Patrick D. F. Ion; Stephen M. Watt (CICM, 2017)

Origami folds in higher-dimension. - Tetsuo Ida; Stephen M. Watt (SCSS, 2017)

TCS SNC Preface. - Jan Verschelde; Stephen M. Watt; Lihong Zhi (Theor. Comput. Sci., 2017)

Real-Time Computation of Legendre-Sobolev Approximations. - Parisa Alvandi; Stephen M. Watt (SYNASC, 2018)

The LegendreSobolev Package and Its Applications in Handwriting Recognition. - Parisa Alvandi; Stephen M. Watt (MC, 2019)

Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation. - Parisa Alvandi; Stephen M. Watt (SYNASC, 2019)

A Review of Algorithms for Symbolic Domains. - Stephen M. Watt (SYNASC, 2019)

Telescopers for differential forms with one parameter. - Shaoshi Chen; Ruyong Feng; Ziming Li 002; Michael F. Singer; Stephen M. Watt (CoRR, 2021)

Working with Families of Inverse Functions. - David J. Jeffrey; Stephen M. Watt (CICM, 2022)

Detecting Implicit Indeterminates in Symbolic Computation. - Stephen M. Watt (SYNASC, 2022)

Efficient Quotients of Non-commutative Polynomials. - Stephen M. Watt (CASC, 2023)

Efficient Generic Quotients Using Exact Arithmetic. - Stephen Michael Watt (ISSAC, 2023)

Extracting Theory Graphs from Aldor Libraries. - Florian Rabe 001; Stephen M. Watt (CICM, 2023)

Hybrid Intervals and Symbolic Block Matrices. - Mike Ghesquiere; Stephen M. Watt (SYNASC, 2023)

The Inverse of the Complex Gamma Function. - D. J. Jeffrey; Stephen M. Watt (SYNASC, 2023)

Efficient Quotients Using Exact Arithmetic. - Stephen M. Watt (CoRR, 2023)

Computing Clipped Products. - Arthur C. Norman; Stephen M. Watt (CASC, 2024)

Using General Large Language Models to Classify Mathematical Documents. - Patrick D. F. Ion; Stephen M. Watt (CICM, 2024)

An Abstraction-Preserving Block Matrix Implementation in Maple. - Stephen M. Watt; David J. Jeffrey (SYNASC, 2024)

GPU Implementations for Midsize Integer Addition and Multiplication. - Cosmin E. Oancea; Stephen M. Watt (CoRR, 2024)

A Symbolic Computing Perspective on Software Systems. - Arthur C. Norman; Stephen M. Watt (CoRR, 2024)

Algorithms for Recursive Block Matrices. - Stephen M. Watt (CoRR, 2024)

A First Look at Chebyshev-Sobolev Series for Digital Ink. - Deepak Singh Kalhan; Stephen M. Watt (CoRR, 2024)

Symbolic Mathematical Computation 1965-1975: The View from a Half-Century Perspective. - Robert M. Corless; Arthur C. Norman; Tomás Recio; William J. Turkel; Stephen M. Watt (CoRR, 2025)

Semi-Centennial REDUCE. - Arthur C. Norman; Stephen M. Watt (CoRR, 2025)

Software Portability for Computer Algebra. - Arthur C. Norman; Stephen M. Watt (CoRR, 2025)

Generative AI for Multiple Choice STEM Assessments. - Christina Perdikoulias; Chad Vance; Stephen M. Watt (CoRR, 2025)