Using computer algebra to select numerical algorithms

A new symbolic-numeric approach to stability analysis of difference schemes

Fast computation of numerical partial fraction decompositions and contour integrals of rational functions

Code generation in ALPAL using symbolic techniques

Hybrid symbolic-numeric integration in MAPLE

Linear ordinary differential equations: breaking through the order 2 barrier

Reduction and completion algorithms for partial differential equations

Liouvillian solutions of third order linear differential equations: new bounds and necessary conditions

Algorithmic determination of commutation relations for Lie symmetry algebras of PDEs

NODES: non linear ordinary differential equations solver

A combined symbolic/numeric approach for the integration of stiff nonlinear systems of ODE's

The explicit computation of integration algorithms and first integrals for ordinary differential equations with polynomial coefficients using trees

Solving linear integral equations in Maple

The computation of 1-loop contributions in Y.M. theories with class III nonrelativistic gauges and REDUCE

The elementary constant problem

Existence of short proofs for nondivisibility of sparse polynomials under the extended Riemann hypothesis

Primality testing revisited

Asymptotic expansions of functional inverses

Computation of the Jordan canonical form of a square matrix (using the Axiom programming language)

Homogeneous decomposition of polynomials

A practical implementation of two rational function decomposition algorithms

Multipolynomial resultants and linear algebra

Parallel univariate p-adic lifting on shared-memory multiprocessors

Simple solution formula construction in cylindrical algebraic decomposition based quantifier elimination

An efficient algorithm for infallible polynomial complex root isolation

Real algebraic number computation using interval arithmetic

Real algebraic closure of an ordered field: implementation in Axiom

Honest plotting, global extrema, and interval arithmetic

A fast cyclic base change for permutation groups

The structure of the PIMs of SL(3,4) in characteristic 2

Computing presentations for subgroups of context-free groups

Experimental comparison of algorithms for Sylow subgroups

Easy numbers for the elliptic curve primality proving algorithm

Parallel lattice basis reduction

On stability analysis of linear stochastic and time-varying deterministic systems

An approach for floating-point error analysis using computer algebra

ADIFOR: Automatic differentiation in a source translator environment

LISA: A new symbolic package for the definition, analysis and resolution of Markovian processes: symbolic and inductive techniques

The matrix editor for symbolic Jacobians in ALPAL

Gro¨bner bases computation using syzygies

Finite Gro¨bner bases in non-Noetherian skew polynomial rings

Solving parametric algebraic systems

On computing determinants of matrices without divisions

Solving the constant quantum Yang-Baxter equation in 2 dimensions with massive use of factorizing Gro¨bner basis computations

The design of a user interface to a computer algebra system for introductory calculus

A polymorphic functional language applied to symbolic computation

CAS/PI: a portable and extensible interface for computer algebra systems

Risa/Asir--a computer algebra system

An object-oriented language for symbolic computation--applied to machine element analysis