Stephen M. Watt

Publication Activity (10 Years)

Years Active: 1985-2024
Publications (10 Years): 27

Top Venues

CoRR

SYNASC

CICM

CASC

Publications

Arthur C. Norman, Stephen M. Watt
Computing Clipped Products. CASC (2024)
Arthur C. Norman, Stephen M. Watt
Computing Clipped Products. CoRR (2024)
Patrick D. F. Ion, Stephen M. Watt
Using General Large Language Models to Classify Mathematical Documents. CoRR (2024)
Patrick D. F. Ion, Stephen M. Watt
Using General Large Language Models to Classify Mathematical Documents. CICM (2024)
Arthur C. Norman, Stephen M. Watt
A Symbolic Computing Perspective on Software Systems. CoRR (2024)
Stephen M. Watt
Algorithms for Recursive Block Matrices. CoRR (2024)
Cosmin E. Oancea, Stephen M. Watt
GPU Implementations for Midsize Integer Addition and Multiplication. CoRR (2024)
Mike Ghesquiere, Stephen M. Watt
Hybrid Intervals and Symbolic Block Matrices. SYNASC (2023)
Stephen M. Watt
Efficient Quotients of Non-commutative Polynomials. CASC (2023)
Stephen M. Watt
Efficient Quotients Using Exact Arithmetic. CoRR (2023)
Mike Ghesquiere, Stephen M. Watt
Hybrid Intervals and Symbolic Block Matrices. CoRR (2023)
Stephen M. Watt
Efficient Quotients of Non-Commutative Polynomials. CoRR (2023)
D. J. Jeffrey, Stephen M. Watt
The Inverse of the Complex Gamma Function. SYNASC (2023)
David J. Jeffrey, Stephen M. Watt
The Inverse of the Complex Gamma Function. CoRR (2023)
Florian Rabe, Stephen M. Watt
Extracting Theory Graphs from Aldor Libraries. CICM (2023)
Stephen M. Watt
Detecting Implicit Indeterminates in Symbolic Computation. SYNASC (2022)
David J. Jeffrey, Stephen M. Watt
Working with Families of Inverse Functions. CICM (2022)
Shaoshi Chen, Ruyong Feng, Ziming Li, Michael F. Singer, Stephen M. Watt
Telescopers for differential forms with one parameter. CoRR (2021)
Parisa Alvandi, Stephen M. Watt
Handwriting Feature Extraction via Legendre-Sobolev Matrix Representation. SYNASC (2019)
Parisa Alvandi, Stephen M. Watt
The LegendreSobolev Package and Its Applications in Handwriting Recognition. MC (2019)
Parisa Alvandi, Stephen M. Watt
Real-Time Computation of Legendre-Sobolev Approximations. SYNASC (2018)
Tetsuo Ida, Stephen M. Watt
Origami folds in higher-dimension. SCSS (2017)
Patrick D. F. Ion, Stephen M. Watt
The Global Digital Mathematics Library and the International Mathematical Knowledge Trust. CICM (2017)
Jan Verschelde, Stephen M. Watt, Lihong Zhi
TCS SNC Preface. Theor. Comput. Sci. 681 (2017)
George Labahn, Stephen M. Watt
Thematic program in computer algebra: July 1 - Dec 31, 2015. ACM Commun. Comput. Algebra 50 (1) (2016)
Stephen M. Watt
How to Build a Global Digital Mathematics Library. SYNASC (2016)
Shaoshi Chen, Stephen M. Watt
Combinatorics of Hybrid Sets. SYNASC (2016)
Travis Felker, Vadim Mazalov, Stephen M. Watt
Distance-based High-frequency Trading. ICCS (2014)
Wolfram Koepf, Stephen M. Watt
Guest Editors' foreword. J. Symb. Comput. 49 (2013)
Rui Hu, Stephen M. Watt
Determining Points on Handwritten Mathematical Symbols. MKM/Calculemus/DML (2013)
Vadim Mazalov, Stephen M. Watt
Recommendation systems in mathematical character recognition. CICM Workshops (2013)
Rui Hu, Stephen M. Watt
Determining Points on Handwritten Mathematical Symbols. CoRR (2013)
Rui Hu, Stephen M. Watt
InkChat: a collaboration tool for mathematics. CICM Workshops (2013)
Rui Hu, Stephen M. Watt
Identifying Features via Homotopy on Handwritten Mathematical Symbols. SYNASC (2013)
Vadim Mazalov, Stephen M. Watt
Improving isolated and in-context classication of handwritten characters. DRR (2012)
Vadim Mazalov, Stephen M. Watt
Recognition of Relatively Small Handwritten Characters or "Size Matters". ICFHR (2012)
Vadim Mazalov, Stephen M. Watt
A Structure for Adaptive Handwriting Recognition. ICFHR (2012)
Vadim Mazalov, Stephen M. Watt
Linear Compression of Digital Ink via Point Selection. Document Analysis Systems (2012)
Vadim Mazalov, Stephen M. Watt
Writing on Clouds. AISC/MKM/Calculemus (2012)
Solomon Marcus, Stephen M. Watt
What is an Equation? SYNASC (2012)
Rui Hu, Stephen M. Watt
Optimization of Point Selection on Digital Ink Curves. ICFHR (2012)
Rui Hu, Vadim Mazalov, Stephen M. Watt
A Streaming Digital Ink Framework for Multi-party Collaboration. AISC/MKM/Calculemus (2012)
Pavel Bourdykine, Stephen M. Watt
Lightweight Abstraction for Mathematical Computation in Java. CASC (2012)
Mark Giesbrecht, Stephen M. Watt
In honour of Keith Geddes on his 60th birthday. J. Symb. Comput. 46 (7) (2011)
Stephen M. Watt
Polynomial approximation in handwriting recognition. SNC (2011)
Stephen M. Watt
Computational Tools for Mathematical Collaboration. SYNASC (2011)
Cosmin E. Oancea, Stephen M. Watt
An architecture for generic extensions. Sci. Comput. Program. 76 (4) (2011)
Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
Symbolic Domain Decomposition. AISC/MKM/Calculemus (2010)
Oleg Golubitsky, Stephen M. Watt
Improved classification through runoff elections. Document Analysis Systems (2010)
Laurentiu Dragan, Stephen M. Watt
Type Specialization in Aldor. CASC (2010)
Jacques Carette, Alan P. Sexton, Volker Sorge, Stephen M. Watt
Symbolic Domain Decomposition. CoRR (2010)
Oleg Golubitsky, Vadim Mazalov, Stephen M. Watt
Toward affine recognition of handwritten mathematical characters. Document Analysis Systems (2010)
Stephen M. Watt
On the Mathematics of Mathematical Handwriting Recognition. SYNASC (2010)
Oleg Golubitsky, Stephen M. Watt
Distance-based classification of handwritten symbols. Int. J. Document Anal. Recognit. 13 (2) (2010)
Vadim Mazalov, Stephen M. Watt
Digital Ink Compression via Functional Approximation. ICFHR (2010)
Alan P. Sexton, Volker Sorge, Stephen M. Watt
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM (2009)
Oleg Golubitsky, Stephen M. Watt
Online computation of similarity between handwritten characters. DRR (2009)
Alan P. Sexton, Volker Sorge, Stephen M. Watt
Computing with abstract matrix structures. ISSAC (2009)
Amit Regmi, Stephen M. Watt
A Collaborative Interface for Multimodal Ink and Audio Documents. ICDAR (2009)
Oleg Golubitsky, Stephen M. Watt
Online Recognition of Multi-Stroke Symbols with Orthogonal Series. ICDAR (2009)
Oleg Golubitsky, Stephen M. Watt
Confidence Measures in Recognizing Handwritten Mathematical Symbols. Calculemus/MKM (2009)
Stephen M. Watt
Algorithms for the Functional Decomposition of Laurent Polynomials. Calculemus/MKM (2009)
Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt
A new approach to parallelising tracing algorithms. ISMM (2009)
Stephen M. Watt
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts. Document Analysis Systems (2008)
Stephen M. Watt
Functional Decomposition of Symbolic Polynomials. ICCSA Workshops (2008)
Oleg Golubitsky, Stephen M. Watt
Online stroke modeling for handwriting recognition. CASCON (2008)
Alan P. Sexton, Volker Sorge, Stephen M. Watt
Abstract Matrix Arithmetic. SYNASC (2008)
Stephen M. Watt
On the functional decomposition of multivariate laurent polynomials (abstract only). ACM Commun. Comput. Algebra 42 (1-2) (2008)
Elena S. Smirnova, Stephen M. Watt
Communicating Mathematics via Pen-Based Interfaces. SYNASC (2008)
Marc Moreno Maza, Ben Stephenson, Stephen M. Watt, Yuzhen Xie
Multiprocessed parallelism support in ALDOR on SMPs and multicores. PASCO (2007)
Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt
Generation and optimisation of code using coxeter lattice paths. PASCO (2007)
Stephen M. Watt
New Aspects of InkML for Pen-Based Computing. ICDAR (2007)
Elena S. Smirnova, Stephen M. Watt
Aspects of Mathematical Expression Analysis in Arabic Handwriting. ICDAR (2007)
Birendra Keshari, Stephen M. Watt
Hybrid Mathematical Symbol Recognition Using Support Vector Machines. ICDAR (2007)
Birendra Keshari, Stephen M. Watt
Streaming-Archival InkML Conversion. ICDAR (2007)
Bruce W. Char, Stephen M. Watt
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. ICDAR (2007)
Stephen M. Watt
A technique for generic iteration and its optimization. ICFP-WGP (2006)
Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt
06271 Executive Summary - Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software (2006)
Stephen M. Watt
Pivot-Free Block Matrix Inversion. Challenges in Symbolic Computation Software (2006)
Yannis Chicha, Stephen M. Watt
A Localized Tracing Scheme Applied to Garbage Collection. APLAS (2006)
Stephen M. Watt
Two Families of Algorithms for Symbolic Polynomials. Challenges in Symbolic Computation Software (2006)
Stephen M. Watt
Pivot-Free Block Matrix Inversion. SYNASC (2006)
Stephen M. Watt
Algorithms for Symbolic Polynomials. CASC (2006)
Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt
Coxeter Lattice Paths. Challenges in Symbolic Computation Software (2006)
Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt
06271 Abstracts Collection -- Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software (2006)
Stephen M. Watt
Improving Pen-Based Mathematical Interfaces. SYNASC (2006)
Stephen M. Watt
Algebraic generalization. SIGSAM Bull. 39 (3) (2005)
Clare M. So, Mark Perry, Stephen M. Watt
Towards an Accessible Web through Semantic Web Standards. CPSN (2005)
Cosmin E. Oancea, Stephen M. Watt
Domains and expressions: an interface between two approaches to computer algebra. ISSAC (2005)
Clare M. So, Stephen M. Watt
Determining Empirical Characteristics of Mathematical Expression Use. MKM (2005)
Laurentiu Dragan, Stephen M. Watt
Performance Analysis of Generics in Scientific Computing. SYNASC (2005)
Cosmin E. Oancea, Stephen M. Watt
Parametric polymorphism for software component architectures. OOPSLA (2005)
Stephen M. Watt, Xiaofang Xie
Recognition for Large Sets of Handwritten Mathematical Symbols. ICDAR (2005)
Cosmin E. Oancea, Jason W. A. Selby, Mark Giesbrecht, Stephen M. Watt
Distributed Models of Thread Level Speculation. PDPTA (2005)
Elena S. Smirnova, Clare M. So, Stephen M. Watt
An Architecture for Distributed Mathematical Web Services. MKM (2004)
Robert M. Corless, Stephen M. Watt, Lihong Zhi
QR factoring to compute the GCD of univariate approximate polynomials. IEEE Trans. Signal Process. 52 (12) (2004)
Bill Naylor, Stephen M. Watt
Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. Ann. Math. Artif. Intell. 38 (1-3) (2003)
Robert M. Corless, Hiroshi Kai, Stephen M. Watt
Approximate computation of pseudovarieties. SIGSAM Bull. 37 (3) (2003)
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) (2002)
Robert M. Corless, André Galligo, Ilias S. Kotsireas, Stephen M. Watt
A geometric-numeric algorithm for absolute factorization of multivariate polynomials. ISSAC (2002)

Stephen M. Watt.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stephen M. Watt