Solving some overdetermined polynomial systems

A new algorithm for the geometric decomposition of a variety

Base field restriction techniques for parametric curves

On multiple zeros of systems of algebraic equations

Commutativity theorems: examples in search of algorithms

Constructing bases of finitely presented Lie algebras using Gröbner bases in free algebras

Efficient construction of Drinfel'd doubles

Efficient computation of minimal polynomials in algebraic extensions of finite fields

On the genericity of the modular polynomial GCD algorithm

On feasible multivariate polynomial interpolations over arbitrary fields

How fast can we compute products?

Computing special powers in finite fields: extended abstract

On sampling generating sets of finite groups and product replacement algorithm: extended abstract

Star products and the representation of asymptotic growth

Existence and uniqueness theorems for formal power series solutions of analytic differential systems

Formal solutions of scalar singularly-perturbed linear differential equations

A reduction algorithm for matrices depending on a parameter

Mixed real-integre linear quantifier elimination

Guaranteed solution formula construction

On projection in CAD-based quantifier elimination with equational constraint

P-adic constraint solving

On factorization of nonlinear ordinary differential equations

Rational normal form for dynamical systems by Carleman linearization

Solving linear ordinary differential equations over Cx,e^{fx dx}

Diophantine linear system solving

Shifted normal forms of polynomial matrices

Fast deterministic computation of determinants of dense matrices

Efficient algorithms for computing the nearest polynomial with a real root and related problems

Approximate polynomial decomposition

ADrien: an implementation of automatic differentiation in Maple

Automated coercion for axiom

Symbolic computation in Java: an appraisement

Specifying implementations

Automated theorem proving in support of computer algebra: symbolic definite integration as a case study

About the polynomial solutions of homogeneous linear differential equations depending on parameters

Desingularization of linear difference operators with polynomial coefficients

Rational solutions of matrix difference equations: the problem of equivalence and factorization

Design of a customizable component to display and edit formulas

Design and protocol for Internet accessible mathematical computation

Client-server communication standards for mathematical computation