An analysis of cancellation error in multivariate Hensel construction with floating-point number arithmetic

Singular systems of polynomials

Polytime algorithm for the shortest path in a homotopy class amidst semi-algebraic obstacles in the plane

Complexity of computing semi-algebraic descriptions of the connected components of a semi-algebraic set

FOXBOX: a system for manipulating symbolic objects in black box representation

The GAP 4 type system: organising algebraic algorithms

Software components using symbolic computation for problem solving environments

Coordinating mathematical content and presentation markup in interactive mathematical documents

Software components for computer algebra

Compound program packages and a nonlinear random fluctuations analysis

Application of computer algebra methods to the construction of an asteroid motion theory based on Lie transforms

Lightweight formal methods for computer algebra systems

Approaches to parallel quantifier elimination

On bivariate Hensel and its parallelization

An O(n3) algorithm for the Frobenius normal form

The modulo N extended GCD problem for polynomials

Certifying inconsistency of sparse linear systems

Rational solutions of linear difference equations

Rational solutions of first order linear difference systems

A subresultant theory for Ore polynomials with applications

Canonical subalgebraic bases in non-commutative polynomial rings

Efficient algorithms for ideal operations (extended abstract)

Deciding linear disjointness of finitely generated fields

Covering monomial algebras

Fast multiplication and growth in groups

A note on Nielsen reduction and coset enumeration

The 5-modular decomposition matrix of the sporadic simple Conway group Co3

Solving puzzles related to permutation groups

Computing normal subgroups

Multidimensional chains of recurrences

Simplication of symbolic-numerical interval expressions

Solving one and two-dimensional exponential polynomial systems

Solving "generalized algebraic equations"

Optimization strategies for the approximate GCD problem

Efficient algorithms for computing the nearest polynomial with constrained roots

MARS: a MAPLE/MATLAB/C resultant-based solver

Controlled iterative methods for solving polynomial systems

Fast numerical improvement of factors of polynomials and of partial fractions

On the equivalence problem of linear differential systems and its application for factoring completely reducible systems

Computation of the monodromy of generalized polylogarithms

High degree solutions of low degree equations (extended abstract)

Recursive integration of piecewise-continuous functions

Simplification of truth-invariant cylindrical algebraic decompositions

Rational parametrization of real algebraic surfaces

Monomial representations for Gro¨bner bases computations

A new type of canonical Gro¨bner bases in polynomial rings over Von Neumann regular rings