- Routing and Scheduling Challenges for a Service Provider
- In Honour of Keith Geddes on his 60th Birthday This issue celebrates the scientific career of Professor Keith Geddes, one of the key fig-
- The Perpetual Youth of Solomon Marcus Stephen M. Watt
- Digital Ink Compression via Functional Approximation Vadim Mazalov and Stephen M. Watt
- Type Specialization in Aldor Laurentiu Dragan and Stephen M. Watt
- An Interface for Math e-Learning on Pen-Based Mobile Devices
- On the Future of Computer Algebra Systems at the Threshold of 2010
- Online Recognition of Multi-Stroke Symbols with Orthogonal Series Oleg Golubitsky Stephen M. Watt
- Confidence Measures in Recognizing Handwritten Mathematical Symbols
- Algorithms for the Functional Decomposition of Laurent Polynomials
- Reasoning with Generic Cases in the Arithmetic of Abstract Matrices
- A New Approach to Parallelising Tracing Algorithms Cosmin E. Oancea Alan Mycroft
- Symbolic Symbolic Computation Stephen M. Watt
- An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts
- Functional Decomposition of Symbolic Polynomials Stephen M. Watt
- Analyzing Mathematical Corpora to Improve Mathematical Handwriting Recognition
- Admissible Symmetries of the Electromagnetic Field in LRS Spacetimes
- Online Stroke Modeling for Handwriting Recognition Oleg Golubitsky Stephen M. Watt
- Compact Representation and Recognition for Handwritten Mathematical Characters
- On the Functional Decomposition of Multivariate Laurent Polynomials
- New Aspects of InkML for Pen-Based Computing Stephen M. Watt
- Aspects of Mathematical Expression Analysis in Arabic Handwriting Elena Smirnova and Stephen M. Watt
- What Happened to Languages for Symbolic Mathematical Computation?
- A cross-application architecture for pen-based mathematical interfaces Elena Smirnova
- Dynamic ADTs: a "don't ask, don't tell" policy for data abstraction
- SPARSE EXPONENTS IN SYMBOLIC POLYNOMIALS MATTHEW MALENFANT AND STEPHEN M. WATT
- A Technique for Generic Iteration and Its Optimization Stephen M. Watt
- On the Conversion between Content MathML and OpenMath
- Component-free vector algebra in Aldor Songxin Liang, David J. Jeffrey and Stephen M. Watt
- GIDL User Guide Cosmin Oancea and Stephen M. Watt
- Performance Analysis of Generics in Scientific Computing Laurentiu Dragan Stephen M. Watt
- RECOGNITION FOR LARGE SETS OF HANDWRITTEN MATHEMATICAL SYMBOLS Stephen M. Watt and Xiaofang Xie
- Domains and Expressions: An Interface Between Two Approaches
- Prototype Pruning by Feature Extraction for Handwritten Mathematical Symbol Recognition
- Towards an Accessible Web through Semantic Web Standards
- An abstract, coordinate-free, vector algebra Songxin Liang, David J. Jeffrey and Stephen M. Watt
- On the Approximate GCD in Initial Value Problems by Stephen Watt (Univ. of Western Ontario, Canada)
- An Architecture for Distributed Mathematical Web Services
- DEBUG HOOKS USER INTERFACE
- An Approach to Mathematical Notation Selection Elena Smirnova, Stephen M. Watt
- AN EXPLORATION OF HOMOTOPY SOLVING K. HAZAVEH,
- A STUDY IN THE INTEGRATION OF COMPUTER ALGEBRA SYSTEMS
- Exploiting Implicit Mathematical Semantics in Conversion between TEX and MathML
- MathML Conference 2002: Presentations Call for Papers
- MathML Conference 2002: Presentations Call for Papers
- Towards Factoring Bivariate Approximate Polynomials* Robert M. Corlesst Mark W. Giesbrecht* Mark van Hoeij* Ilias S. Kotsireast
- Reasoning about the elementary functions of complex analysis
- Approximate Polynomial Decomposition Robert M. Corless Mark W. Giesbrecht David J. Jeffrey Stephen M. Watt
- Examples of MathML Stephen M. Watt and Xuehong Li
- Guest Editors' Foreword The worlds of symbolic and numeric computation have had surprisingly little overlap
- A numerical absolute primality test for bivariate polynomials Andre Galligo
- An OpenMath 1.0 Implementation Stephane Dalmas Marc Gaetano
- An HTML-Native Math Proposal March 5, 1997
- The Singular Value Decomposition for Polynomial Systems Robert M. Corless Patrizia M. Gianni Barry M. Trager Stephen M. Watt
- A First Report on the A Compiler Stephen M. Watt Peter A. Broadbery Samuel S. Dooley
- A First Report on the A Compiler (including benchmarks) Stephen M. Watt Peter A. Broadbery Samuel S. Dooley
- A First Order Abstract Machine Version 0.35
- Some Examples of Domains and Packages
- A System for Parallel Computer Algebra Programs Stephen M. Watt1
- INTRINSIC SYMMETRIES AND OTHER CONSTRAINTS IN GENERAL RELATIVITY
- On the Implementation of Dynamic Evaluation P. A. Broadbery
- Manuel Eric Bronstein August 28 1963 June 6 2005
- Pivot-Free Block Matrix Inversion Stephen M. Watt
- Notation Selection in Mathematical Computing Environments Elena Smirnova Stephen M. Watt
- Sharing Digital Ink in Heterogeneous Collaborative Environments Birendra Keshari
- 2.9.17 MathML MathML [1] is an XML representation for mathematical objects, allowing expres-
- Online computation of similarity between handwritten characters
- Distance-Based Classification of Handwritten Symbols
- A Localized Tracing Scheme applied to Garbage Collection
- Alma User Guide Cosmin Oancea and Stephen M. Watt
- Content-Faithful Stylesheets for MathML Igor Rodionov Stephen M. Watt
- A Framework for Using Aldor Libraries with Maple Cosmin Oancea Stephen M. Watt
- Bernstein Bases are Optimal, but, sometimes,
- Streaming-Archival InkML Conversion Birendra Keshari and Stephen M. Watt
- 4 Interoperability of Languages with Generics, using Aldor, C++ Yannis Chicha, Florence Defaix & Stephen Watt
- Abstract Matrix Arithmetic Alan P. Sexton and Volker Sorge
- Reasoning about the elementary functions of complex analysis
- Meta-Stylesheets for the Conversion of Mathematical Documents into Multiple Forms
- An Architecture for Generic Extensions Cosmin E. Oancea 1
- Online Mathematical Symbol Recognition using SVMs with Features from Functional Approximation
- Parametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra
- The International Symposium on Symbolic and Algebraic Computation is the premier conference spanning all areas of research in symbolic mathematical computation. The
- Improving Pen-Based Mathematical Interfaces Stephen Watt
- Algorithms for Symbolic Polynomials (Plenary Talk)
- MathML Conference 2002: Presentations Call for Papers
- Computing with Abstract Matrix Structures Alan P. Sexton and Volker Sorge
- The pervasive ubiquity of parallel architectures, from SMPs to multi-core laptops, has led to a new quest for mathematical algorithms and software capable of exploiting these computing resources.
- Reprinted from pp. 206-217, Proc. ISSAC '88, Springer-Verlag LNCS 358, 1989. A FIXED POINT METHOD FOR POWER SERIES COMPUTATION
- Generic Library Extension in a Heterogeneous Environment Cosmin Oancea Stephen M. Watt
- Report on the SNAP minisymposium at Siam '98 Robert M. Corless and Stephen M. Watt
- Writing on Clouds Stephen M. Watt
- Improved Classification through Runoff Elections Oleg Golubitsky
- Post Facto Type Extension for Mathematical Programming Stephen M. Watt
- Generating TEX from mathematical content with respect to notational settings
- Optimizing Compilation for Symbolic-Numeric Computation
- Algorithms that combine ideas from symbolic and numeric computation have been of increasing interest over the past decade. Not only do the usual algorithms of computer algebra break down
- The International Symposium on Numeric and Symbolic Algorithms for Scientific Computing, SYNASC, is an annual event in Timioara, Romania. It has been organized by the West
- A Collaborative Interface for Multimodal Ink and Audio Documents Amit Regmi and Stephen M. Watt
- Conserving Implicit Mathematical Semantics in Conversion between TEX and MathML
- Consturction of Algebraic Error Control Codes on the Elliptic Riemann Surface
- Context Sensitive Mathematical Character Recognition Elena Smirnova Stephen M. Watt
- Generalization in Maple Cosmin Oancea Clare So Stephen M. Watt
- Symbolic Polynomials with Sparse Exponents Stephen M. Watt
- Parametric Polymorphism for Computer Algebra Software Components
- 0. Caprotti Many other combinatorial properties of the size of the Dixon matrix and the structure of the Dixon polynomial
- Symbolic Computation versus Computer Algebra by Stephen M. Watt
- Absolute Factorization of Bivariate Polynomials with Floating Point Coe cients Andr Galligo and Stephen M. Watt
- Symbolic Domain Decomposition Jacques Carette1
- BOUNDED PARALLELISM IN COMPUTER ALGEBRA Stephen Michael Watt
- reflex: A Scanner Transformer for Unicode Grammars
- TWO FAMILIES OF ALGORITHMS FOR SYMBOLIC POLYNOMIALS
- Communicating Mathematics via Pen-Based Interfaces
- Determining Empirical Characteristics of Mathematical Expression Use
- A Context for Pen-Based Mathematical Computing Elena Smirnova Stephen M. Watt
- A Family of Modular XML Schemas for MathML Stephen M. Watt Yuzhen Xie
- Parametric Polymorphism for Software Component Architectures
- 3 Approximate Polynomial Decomposition Robert M. Corless, Mark W. Giesbrecht, David J. Je rey, Xianping Liu & Stephen M. Watt
- Hybrid Mathematical Symbol Recognition using Support Vector Machines Birendra Keshari and Stephen M. Watt
- A Geometric-Numeric Algorithm for Absolute Factorization of Multivariate Polynomials
- Distributed Models of Thread-Level Speculation Cosmin E. Oancea, Jason W. A. Selby, Mark W. Giesbrecht and Stephen M. Watt
- Two Families of Algorithms for Symbolic Polynomials
- Representing and Characterizing Handwritten Mathematical Symbols through Succinct Functional Approximation
- Algorithms for Symbolic Polynomials Stephen M. Watt
- A Preliminary Report on the Set of Symbols Occurring in Engineering Mathematics Texts
- Adaptive libraries and interactive code generation for Common Lisp
- Online Stroke Modeling for Handwriting Recognition Oleg Golubitsky Stephen M. Watt
- On the Performance of Parametric Polymorphism in Maple
- Toward Real-Time Recognition of Handwritten Mathematical Symbols
- PERFORMANCE RIGHTS FOR SOFTWARE Mark Perry Stephen M. Watt
- Making Computer Algebra More Symbolic Stephen M. Watt
- A Note on the Functional Decomposition of Symbolic Polynomials Stephen M. Watt
- An Analytic Model for Colluding Processes Stephen M. Watt
- As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, auto-
- Pivot-Free Block Matrix Inversion Stephen M. Watt
- Generation and Optimisation of Code using Coxeter Lattice Paths
- 4.1.3 Aldor Aldor is a programming language originally intended to develop compiled libraries
- Improving isolated and in-context classification of handwritten characters
- Computational Tools for Mathematical Collaboration
- Computational Tools for Mathematical Collaboration
- Linear Compression of Digital Ink via Point Selection Vadim Mazalov and Stephen M. Watt
- From MIT SketchML to InkML or There and Back Again
