Algorithmic determination of structure of infinite Lie pseudogroups of symmetries of PDEs

Programs for applying symmetries

Symmetries of 2nd and 3rd order ODE's

The symbolic computation of differential invariants of polynomial vector field systems using trees

From honest to intelligent plotting

Simplification and optimization transformations of chains of recurrences

A hybrid symbolic-numerical method for tracing surface-to-surface intersections

Numeric-symbolic algorithms for evaluating one-dimensional algebraic sets

Computations with relative extensions of number fields with an application to the construction of Hilbert class fields

On the implementation of dynamic evaluation

Finding roots of unity among quotients of the roots of an integral polynomial

An algorithm for computing the Weierstrass normal form

Algorithms for computing sparse shifts for multivariate polynomials

A simplified method of recognizing zero among elementary constants

Fast computation of the Smith normal form of an integer matrix

Preconditioning of rectangular polynomial matrices for efficient Hermite normal form computation

STAR/MPI: binding a parallel library to interactive symbolic algebra systems

Searching techniques for integral tables

Mathematical typesetting in Mathematica

Theorems and algorithms: an interface between Isabelle and Maple

Representation for the radical of a finitely generated differential ideal

Gro¨bner duality and multiplicities in polynomial system solving

Implicitization of parametric curves and surfaces by using symmetric functions

Comparison of various multivariate resultant formulations

The singular value decomposition for polynomial systems

Numerical uniformization of hyperelliptic curves

The analytic continuation process: from computer algebra to numerical analysis

An algorithm for the reduction of linear DAE

On computing greatest common divisors with polynomials given by black boxes for their evaluations

Evaluation of the heuristic polynomial GCD

A solution to the extended gcd problem

An analysis of Lehmer's Euclidean GCD algorithm

Computing with matrix groups using permutation representations

Fast recognition of the nilpotency of permutation groups

A nearly linear algorithm for Sylow subgroups in small-base groups

On the computation of ordinary irreducible representations of finite groups

Rational solutions of linear difference and q-difference equations with polynomial coefficients

On polynomial solutions of linear operator equations

A rational version of Moser's algorithm

Indefinite sums of rational functions