Search the dblp DataBase
Stephen M. Watt :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Robert M. Corless , James H. Davenport , David J. Jeffrey , Gurjeet Litt , Stephen M. Watt Reasoning about the Elementary Functions of Complex Analysis. [Citation Graph (0, 0)][DBLP ] AISC, 2000, pp:115-126 [Conf ] Robert M. Corless , Mark Giesbrecht , Ilias S. Kotsireas , Stephen M. Watt Numerical Implicitization of Parametric Hypersurfaces with Linear Algebra. [Citation Graph (0, 0)][DBLP ] AISC, 2000, pp:174-183 [Conf ] Yannis Chicha , Stephen M. Watt A Localized Tracing Scheme Applied to Garbage Collection. [Citation Graph (0, 0)][DBLP ] APLAS, 2006, pp:323-339 [Conf ] Stephen M. Watt Algorithms for Symbolic Polynomials. [Citation Graph (0, 0)][DBLP ] CASC, 2006, pp:302- [Conf ] Clare M. So , Mark Perry , Stephen M. Watt Towards an Accessible Web through Semantic Web Standards. [Citation Graph (0, 0)][DBLP ] CPSN, 2005, pp:10-16 [Conf ] William H. Burge , Stephen M. Watt Infinite structures in SCRATCHPAD II. [Citation Graph (0, 0)][DBLP ] EUROCAL, 1987, pp:138-148 [Conf ] Stephen M. Watt A System for Parallel Computer Algebra Programs. [Citation Graph (0, 0)][DBLP ] European Conference on Computer Algebra (2), 1985, pp:537-538 [Conf ] Richard D. Jenks , Robert S. Sutor , Stephen M. Watt Scratchpad II: An Abstract Datatype System for Mathematical Computation. [Citation Graph (0, 0)][DBLP ] Trends in Computer Algebra, 1987, pp:12-37 [Conf ] Stephen M. Watt , Xiaofang Xie Recognition for Large Sets of Handwritten Mathematical Symbols. [Citation Graph (0, 0)][DBLP ] ICDAR, 2005, pp:740-744 [Conf ] Peter A. Broadbery , T. Gómez-Díaz , Stephen M. Watt On the Implementation of Dynamic Evaluation. [Citation Graph (0, 0)][DBLP ] ISSAC, 1995, pp:77-84 [Conf ] Stéphane Dalmas , Marc Gaëtano , Stephen M. Watt An OpenMath 1.0 Implementation. [Citation Graph (0, 0)][DBLP ] ISSAC, 1997, pp:241-248 [Conf ] Robert M. Corless , Mark Giesbrecht , Mark van Hoeij , Ilias S. Kotsireas , Stephen M. Watt Towards factoring bivariate approximate polynomials. [Citation Graph (0, 0)][DBLP ] ISSAC, 2001, pp:85-92 [Conf ] Robert M. Corless , Mark Giesbrecht , David J. Jeffrey Approximate polynomial decomposition. [Citation Graph (0, 0)][DBLP ] ISSAC, 1999, pp:213-219 [Conf ] Robert M. Corless , André Galligo , Ilias S. Kotsireas , Stephen M. Watt A geometric-numeric algorithm for absolute factorization of multivariate polynomials. [Citation Graph (0, 0)][DBLP ] ISSAC, 2002, pp:37-45 [Conf ] Robert M. Corless , Patrizia M. Gianni , Barry M. Trager , Stephen M. Watt The Singular Value Decomposition for Polynomial Systems. [Citation Graph (0, 0)][DBLP ] ISSAC, 1995, pp:195-207 [Conf ] André Galligo , Stephen M. Watt A Numerical Absolute Primality Test for Bivariate Polynomials. [Citation Graph (0, 0)][DBLP ] ISSAC, 1997, pp:217-224 [Conf ] Cosmin E. Oancea , Stephen M. Watt Domains and expressions: an interface between two approaches to computer algebra. [Citation Graph (0, 0)][DBLP ] ISSAC, 2005, pp:261-268 [Conf ] Stephen M. Watt A Fixed Point Method for Power Series Computation. [Citation Graph (0, 0)][DBLP ] ISSAC, 1988, pp:206-217 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] ISSAC, 1994, pp:25-31 [Conf ] Elena S. Smirnova , Clare M. So , Stephen M. Watt An Architecture for Distributed Mathematical Web Services. [Citation Graph (0, 0)][DBLP ] MKM, 2004, pp:363-377 [Conf ] Clare M. So , Stephen M. Watt Determining Empirical Characteristics of Mathematical Expression Use. [Citation Graph (0, 0)][DBLP ] MKM, 2005, pp:361-375 [Conf ] Cosmin E. Oancea , Stephen M. Watt Parametric polymorphism for software component architectures. [Citation Graph (0, 0)][DBLP ] OOPSLA, 2005, pp:147-166 [Conf ] Cosmin E. Oancea , Jason W. A. Selby , Mark Giesbrecht , Stephen M. Watt Distributed Models of Thread Level Speculation. [Citation Graph (0, 0)][DBLP ] PDPTA, 2005, pp:920-927 [Conf ] Laurentiu Dragan , Stephen M. Watt Performance Analysis of Generics in Scientific Computing. [Citation Graph (0, 0)][DBLP ] SYNASC, 2005, pp:93-100 [Conf ] Stephen M. Watt Pivot-Free Block Matrix Inversion. [Citation Graph (0, 0)][DBLP ] SYNASC, 2006, pp:151-155 [Conf ] Stephen Watt Improving Pen-Based Mathematical Interfaces. [Citation Graph (0, 0)][DBLP ] SYNASC, 2006, pp:12- [Conf ] Russell J. Bradford , Robert M. Corless , James H. Davenport , David J. Jeffrey , Stephen M. Watt Reasoning about the Elementary Functions of Complex Analysis. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2002, v:36, n:3, pp:303-318 [Journal ] Bill Naylor , Stephen M. Watt Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms. [Citation Graph (0, 0)][DBLP ] Ann. Math. Artif. Intell., 2003, v:38, n:1-3, pp:3-25 [Journal ] Symbolic Domain Decomposition. [Citation Graph (, )][DBLP ] Online stroke modeling for handwriting recognition. [Citation Graph (, )][DBLP ] Pivot-Free Block Matrix Inversion. [Citation Graph (, )][DBLP ] Two Families of Algorithms for Symbolic Polynomials. [Citation Graph (, )][DBLP ] 06271 Abstracts Collection -- Challenges in Symbolic Computation Software. [Citation Graph (, )][DBLP ] Coxeter Lattice Paths. [Citation Graph (, )][DBLP ] 06271 Executive Summary - Challenges in Symbolic Computation Software. [Citation Graph (, )][DBLP ] An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts. [Citation Graph (, )][DBLP ] Improved classification through runoff elections. [Citation Graph (, )][DBLP ] Toward affine recognition of handwritten mathematical characters. [Citation Graph (, )][DBLP ] Aspects of Mathematical Expression Analysis in Arabic Handwriting. [Citation Graph (, )][DBLP ] Hybrid Mathematical Symbol Recognition Using Support Vector Machines. [Citation Graph (, )][DBLP ] Streaming-Archival InkML Conversion. [Citation Graph (, )][DBLP ] New Aspects of InkML for Pen-Based Computing. [Citation Graph (, )][DBLP ] Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation. [Citation Graph (, )][DBLP ] A Collaborative Interface for Multimodal Ink and Audio Documents. [Citation Graph (, )][DBLP ] Online Recognition of Multi-Stroke Symbols with Orthogonal Series. [Citation Graph (, )][DBLP ] A technique for generic iteration and its optimization. [Citation Graph (, )][DBLP ] Multiprocessed parallelism support in ALDOR on SMPs and multicores. [Citation Graph (, )][DBLP ] Generation and optimisation of code using coxeter lattice paths. [Citation Graph (, )][DBLP ] Computing with abstract matrix structures. [Citation Graph (, )][DBLP ] A new approach to parallelising tracing algorithms. [Citation Graph (, )][DBLP ] Reasoning with Generic Cases in the Arithmetic of Abstract Matrices. [Citation Graph (, )][DBLP ] Algorithms for the Functional Decomposition of Laurent Polynomials. [Citation Graph (, )][DBLP ] Confidence Measures in Recognizing Handwritten Mathematical Symbols. [Citation Graph (, )][DBLP ] Communicating Mathematics via Pen-Based Interfaces. [Citation Graph (, )][DBLP ] Abstract Matrix Arithmetic. [Citation Graph (, )][DBLP ] Online computation of similarity between handwritten characters. [Citation Graph (, )][DBLP ] Search in 0.021secs, Finished in 0.025secs