This specification of the markup language MathML is intended primarily for a readership consisting of those who will be developing or implementing renderers or editors using it, or software that will communicate using MathML as a protocol for input or output.Expand

This paper introduces singular value decomposition (SVD) algorithms for some standard polynomial computations, in the case where the coecients are inexact or imperfectly known. We first give an… Expand

This tutorial shows how to use Maple both as a calculator with instant access to hundreds of high-level math routines and as a programming language for more demanding tasks. It covers topics such as… Expand

We present a stable and practical algorithm that uses QR factors of the Sylvester matrix to compute the greatest common divisor (GCD) of univariate approximate polynomials over /spl Ropf/[x] or /spl… Expand

This paper presents the first implementation of the OpenMath specification, in the form of a C library, and describes how the C library has been embedded in two main-stream computer algebra systems, Maple and Reduce, which can now communicate with each other and Aldor, and with specialized programs also linking the libraries.Expand

A new algorithm is presented for factoring bivariate approximate polynomials over C[x, y], which constructs a nearby composite polynomial, if one exists, and its irreducible factors.Expand

Results from the experiments show that giving slightly higher weight to the on-line information produces better results, and the overall error rate of the hybrid system is lower than that of both the online and offline recognition systems when used in isolation.Expand

A pivot-free deterministic algorithm for the inversion of block matrices based on the Moore-Penrose inverse that improves on previous methods that required at least one invertible on-diagonal block, and that otherwise required row- or column-based pivoting, disrupting the block structure.Expand

This paper outlines the "unwinding number" approach to the simplification of elementary functions, and shows how it can be used to prevent errors and to systematise such simplification, even though it has not yet been reduced to a complete algorithm.Expand