| * | 2009 |
|---|
| 53 | EE | 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
Springer 2009 |
| 52 | EE | Alan P. Sexton,
Volker Sorge,
Stephen M. Watt:
Reasoning with Generic Cases in the Arithmetic of Abstract Matrices.
Calculemus/MKM 2009: 138-153 |
| 51 | EE | Stephen M. Watt:
Algorithms for the Functional Decomposition of Laurent Polynomials.
Calculemus/MKM 2009: 186-200 |
| 50 | EE | Oleg Golubitsky,
Stephen M. Watt:
Confidence Measures in Recognizing Handwritten Mathematical Symbols.
Calculemus/MKM 2009: 460-466 |
| 49 | EE | Oleg Golubitsky,
Stephen M. Watt:
Online computation of similarity between handwritten characters.
DRR 2009: 1-10 |
| 48 | EE | Oleg Golubitsky,
Stephen M. Watt:
Online Recognition of Multi-Stroke Symbols with Orthogonal Series.
ICDAR 2009: 1265-1269 |
| 47 | EE | Amit Regmi,
Stephen M. Watt:
A Collaborative Interface for Multimodal Ink and Audio Documents.
ICDAR 2009: 901-905 |
| 46 | EE | Cosmin E. Oancea,
Alan Mycroft,
Stephen M. Watt:
A new approach to parallelising tracing algorithms.
ISMM 2009: 10-19 |
| 2008 |
|---|
| 45 | EE | Oleg Golubitsky,
Stephen M. Watt:
Online stroke modeling for handwriting recognition.
CASCON 2008: 6 |
| 2007 |
|---|
| 44 | | 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 |
| 43 | | 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 |
| 42 | EE | Elena S. Smirnova,
Stephen M. Watt:
Aspects of Mathematical Expression Analysis in Arabic Handwriting.
ICDAR 2007: 1183-1187 |
| 41 | EE | Bruce W. Char,
Stephen M. Watt:
Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation.
ICDAR 2007: 1198-1202 |
| 40 | EE | Birendra Keshari,
Stephen M. Watt:
Streaming-Archival InkML Conversion.
ICDAR 2007: 1253-1257 |
| 39 | EE | Stephen M. Watt:
New Aspects of InkML for Pen-Based Computing.
ICDAR 2007: 457-460 |
| 38 | EE | Birendra Keshari,
Stephen M. Watt:
Hybrid Mathematical Symbol Recognition Using Support Vector Machines.
ICDAR 2007: 859-863 |
| 37 | EE | Thomas J. Ashby,
Anthony D. Kennedy,
Stephen M. Watt:
Generation and optimisation of code using coxeter lattice paths.
PASCO 2007: 1-10 |
| 36 | EE | Marc Moreno Maza,
Ben Stephenson,
Stephen M. Watt,
Yuzhen Xie:
Multiprocessed parallelism support in ALDOR on SMPs and multicores.
PASCO 2007: 60-68 |
| 2006 |
|---|
| 35 | | Wolfram Decker,
Mike Dewar,
Erich Kaltofen,
Stephen M. Watt:
Challenges in Symbolic Computation Software, 02.07. - 07.07.2006
Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2006 |
| 34 | EE | Yannis Chicha,
Stephen M. Watt:
A Localized Tracing Scheme Applied to Garbage Collection.
APLAS 2006: 323-339 |
| 33 | EE | Stephen M. Watt:
Algorithms for Symbolic Polynomials.
CASC 2006: 302 |
| 32 | EE | Wolfram Decker,
Mike Dewar,
Erich Kaltofen,
Stephen M. Watt:
06271 Abstracts Collection -- Challenges in Symbolic Computation Software.
Challenges in Symbolic Computation Software 2006 |
| 31 | EE | Wolfram Decker,
Mike Dewar,
Erich Kaltofen,
Stephen M. Watt:
06271 Executive Summary - Challenges in Symbolic Computation Software.
Challenges in Symbolic Computation Software 2006 |
| 30 | EE | Thomas J. Ashby,
Anthony D. Kennedy,
Stephen M. Watt:
Coxeter Lattice Paths.
Challenges in Symbolic Computation Software 2006 |
| 29 | EE | Stephen M. Watt:
Pivot-Free Block Matrix Inversion.
Challenges in Symbolic Computation Software 2006 |
| 28 | EE | Stephen M. Watt:
Two Families of Algorithms for Symbolic Polynomials.
Challenges in Symbolic Computation Software 2006 |
| 27 | EE | Stephen M. Watt:
A technique for generic iteration and its optimization.
ICFP-WGP 2006: 76-86 |
| 26 | EE | Stephen M. Watt:
Improving Pen-Based Mathematical Interfaces.
SYNASC 2006: 12 |
| 25 | EE | Stephen M. Watt:
Pivot-Free Block Matrix Inversion.
SYNASC 2006: 151-155 |
| 2005 |
|---|
| 24 | | Clare M. So,
Mark Perry,
Stephen M. Watt:
Towards an Accessible Web through Semantic Web Standards.
CPSN 2005: 10-16 |
| 23 | EE | Stephen M. Watt,
Xiaofang Xie:
Recognition for Large Sets of Handwritten Mathematical Symbols.
ICDAR 2005: 740-744 |
| 22 | EE | Cosmin E. Oancea,
Stephen M. Watt:
Domains and expressions: an interface between two approaches to computer algebra.
ISSAC 2005: 261-268 |
| 21 | EE | Clare M. So,
Stephen M. Watt:
Determining Empirical Characteristics of Mathematical Expression Use.
MKM 2005: 361-375 |
| 20 | EE | Cosmin E. Oancea,
Stephen M. Watt:
Parametric polymorphism for software component architectures.
OOPSLA 2005: 147-166 |
| 19 | | Cosmin E. Oancea,
Jason W. A. Selby,
Mark Giesbrecht,
Stephen M. Watt:
Distributed Models of Thread Level Speculation.
PDPTA 2005: 920-927 |
| 18 | EE | Laurentiu Dragan,
Stephen M. Watt:
Performance Analysis of Generics in Scientific Computing.
SYNASC 2005: 93-100 |
| 2004 |
|---|
| 17 | EE | Elena S. Smirnova,
Clare M. So,
Stephen M. Watt:
An Architecture for Distributed Mathematical Web Services.
MKM 2004: 363-377 |
| 2003 |
|---|
| 16 | | 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) |
| 2002 |
|---|
| 15 | EE | 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 |
| 14 | | 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) |
| 2001 |
|---|
| 13 | EE | Robert M. Corless,
Mark Giesbrecht,
Mark van Hoeij,
Ilias S. Kotsireas,
Stephen M. Watt:
Towards factoring bivariate approximate polynomials.
ISSAC 2001: 85-92 |
| 2000 |
|---|
| 12 | EE | 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 |
| 11 | EE | Robert M. Corless,
Mark Giesbrecht,
Ilias S. Kotsireas,
Stephen M. Watt:
Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra.
AISC 2000: 174-183 |
| 1999 |
|---|
| 10 | EE | Robert M. Corless,
Mark Giesbrecht,
David J. Jeffrey,
Stephen M. Watt:
Approximate polynomial decomposition.
ISSAC 1999: 213-219 |
| 1997 |
|---|
| 9 | | André Galligo,
Stephen M. Watt:
A Numerical Absolute Primality Test for Bivariate Polynomials.
ISSAC 1997: 217-224 |
| 8 | | Stéphane Dalmas,
Marc Gaëtano,
Stephen M. Watt:
An OpenMath 1.0 Implementation.
ISSAC 1997: 241-248 |
| 1995 |
|---|
| 7 | EE | Robert M. Corless,
Patrizia M. Gianni,
Barry M. Trager,
Stephen M. Watt:
The Singular Value Decomposition for Polynomial Systems.
ISSAC 1995: 195-207 |
| 6 | EE | Peter A. Broadbery,
T. Gómez-Díaz,
Stephen M. Watt:
On the Implementation of Dynamic Evaluation.
ISSAC 1995: 77-84 |
| 1994 |
|---|
| 5 | EE | 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 |
| 1988 |
|---|
| 4 | | Stephen M. Watt:
A Fixed Point Method for Power Series Computation.
ISSAC 1988: 206-217 |
| 1987 |
|---|
| 3 | | William H. Burge,
Stephen M. Watt:
Infinite structures in SCRATCHPAD II.
EUROCAL 1987: 138-148 |
| 2 | EE | 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 |
|---|
| 1 | | Stephen M. Watt:
A System for Parallel Computer Algebra Programs.
European Conference on Computer Algebra (2) 1985: 537-538 |
