![]() | 2009 | |
---|---|---|
57 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |
56 | ![]() ![]() ![]() ![]() ![]() ![]() | Alan P. Sexton, Volker Sorge, Stephen M. Watt: Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. Calculemus/MKM 2009: 138-153 |
55 | ![]() ![]() ![]() ![]() ![]() ![]() | Stephen M. Watt: Algorithms for the Functional Decomposition of Laurent Polynomials. Calculemus/MKM 2009: 186-200 |
54 | ![]() ![]() ![]() ![]() ![]() ![]() | Oleg Golubitsky, Stephen M. Watt: Confidence Measures in Recognizing Handwritten Mathematical Symbols. Calculemus/MKM 2009: 460-466 |
53 | ![]() ![]() ![]() ![]() ![]() ![]() | Oleg Golubitsky, Stephen M. Watt: Online computation of similarity between handwritten characters. DRR 2009: 1-10 |
52 | ![]() ![]() ![]() ![]() ![]() ![]() | Oleg Golubitsky, Stephen M. Watt: Online Recognition of Multi-Stroke Symbols with Orthogonal Series. ICDAR 2009: 1265-1269 |
51 | ![]() ![]() ![]() ![]() ![]() ![]() | Amit Regmi, Stephen M. Watt: A Collaborative Interface for Multimodal Ink and Audio Documents. ICDAR 2009: 901-905 |
50 | ![]() ![]() ![]() ![]() ![]() ![]() | Cosmin E. Oancea, Alan Mycroft, Stephen M. Watt: A new approach to parallelising tracing algorithms. ISMM 2009: 10-19 |
49 | ![]() ![]() ![]() ![]() ![]() ![]() | Alan P. Sexton, Volker Sorge, Stephen M. Watt: Computing with abstract matrix structures. ISSAC 2009: 325-332 |
2008 | ||
48 | ![]() ![]() ![]() ![]() ![]() ![]() | Oleg Golubitsky, Stephen M. Watt: Online stroke modeling for handwriting recognition. CASCON 2008: 6 |
47 | ![]() ![]() ![]() ![]() ![]() ![]() | Stephen M. Watt: An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts. Document Analysis Systems 2008: 557-564 |
46 | ![]() ![]() ![]() ![]() ![]() ![]() | Alan P. Sexton, Volker Sorge, Stephen M. Watt: Abstract Matrix Arithmetic. SYNASC 2008: 61-68 |
45 | ![]() ![]() ![]() ![]() ![]() ![]() | Elena S. Smirnova, Stephen M. Watt: Communicating Mathematics via Pen-Based Interfaces. SYNASC 2008: 9-18 |
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 | ![]() ![]() ![]() ![]() ![]() ![]() | Elena S. Smirnova, Stephen M. Watt: Aspects of Mathematical Expression Analysis in Arabic Handwriting. ICDAR 2007: 1183-1187 |
41 | ![]() ![]() ![]() ![]() ![]() ![]() | Bruce W. Char, Stephen M. Watt: Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. ICDAR 2007: 1198-1202 |
40 | ![]() ![]() ![]() ![]() ![]() ![]() | Birendra Keshari, Stephen M. Watt: Streaming-Archival InkML Conversion. ICDAR 2007: 1253-1257 |
39 | ![]() ![]() ![]() ![]() ![]() ![]() | Stephen M. Watt: New Aspects of InkML for Pen-Based Computing. ICDAR 2007: 457-460 |
38 | ![]() ![]() ![]() ![]() ![]() ![]() | Birendra Keshari, Stephen M. Watt: Hybrid Mathematical Symbol Recognition Using Support Vector Machines. ICDAR 2007: 859-863 |
37 | ![]() ![]() ![]() ![]() ![]() ![]() | Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt: Generation and optimisation of code using coxeter lattice paths. PASCO 2007: 1-10 |
36 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Yannis Chicha, Stephen M. Watt: A Localized Tracing Scheme Applied to Garbage Collection. APLAS 2006: 323-339 |
33 | ![]() ![]() ![]() ![]() ![]() ![]() | Stephen M. Watt: Algorithms for Symbolic Polynomials. CASC 2006: 302 |
32 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt: 06271 Abstracts Collection -- Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software 2006 |
31 | ![]() ![]() ![]() ![]() ![]() ![]() | Wolfram Decker, Mike Dewar, Erich Kaltofen, Stephen M. Watt: 06271 Executive Summary - Challenges in Symbolic Computation Software. Challenges in Symbolic Computation Software 2006 |
30 | ![]() ![]() ![]() ![]() ![]() ![]() | Thomas J. Ashby, Anthony D. Kennedy, Stephen M. Watt: Coxeter Lattice Paths. Challenges in Symbolic Computation Software 2006 |
29 | ![]() ![]() ![]() ![]() ![]() ![]() | Stephen M. Watt: Pivot-Free Block Matrix Inversion. Challenges in Symbolic Computation Software 2006 |
28 | ![]() ![]() ![]() ![]() ![]() ![]() | Stephen M. Watt: Two Families of Algorithms for Symbolic Polynomials. Challenges in Symbolic Computation Software 2006 |
27 | ![]() ![]() ![]() ![]() ![]() ![]() | Stephen M. Watt: A technique for generic iteration and its optimization. ICFP-WGP 2006: 76-86 |
26 | ![]() ![]() ![]() ![]() ![]() ![]() | Stephen M. Watt: Improving Pen-Based Mathematical Interfaces. SYNASC 2006: 12 |
25 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Stephen M. Watt, Xiaofang Xie: Recognition for Large Sets of Handwritten Mathematical Symbols. ICDAR 2005: 740-744 |
22 | ![]() ![]() ![]() ![]() ![]() ![]() | Cosmin E. Oancea, Stephen M. Watt: Domains and expressions: an interface between two approaches to computer algebra. ISSAC 2005: 261-268 |
21 | ![]() ![]() ![]() ![]() ![]() ![]() | Clare M. So, Stephen M. Watt: Determining Empirical Characteristics of Mathematical Expression Use. MKM 2005: 361-375 |
20 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Laurentiu Dragan, Stephen M. Watt: Performance Analysis of Generics in Scientific Computing. SYNASC 2005: 93-100 |
2004 | ||
17 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | Robert M. Corless, Patrizia M. Gianni, Barry M. Trager, Stephen M. Watt: The Singular Value Decomposition for Polynomial Systems. ISSAC 1995: 195-207 |
6 | ![]() ![]() ![]() ![]() ![]() ![]() | Peter A. Broadbery, T. Gómez-Díaz, Stephen M. Watt: On the Implementation of Dynamic Evaluation. ISSAC 1995: 77-84 |
1994 | ||
5 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 | ![]() ![]() ![]() ![]() ![]() ![]() | 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 |