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 |