Symbolic and Algebraic Computation

Dynamic maintenance of paths and path expressions on graphs.- Generic programming.- From a noncomputability result to new interesting definitions and computability results.- Symbolic derivation and automatic generation of parallel routines for finite element analysis.- Liouvillian first integrals of differential equations.- Fast reduction of the Risch differential equation.- An application of reduce to the approximation of F(X,Y).- The use of symbolic computation in solving some non-relativistic quantum mechanical problems.- Experiments with quadtree representation of matrices.- Discovering inequality conditions in the analytical solution of optimization problems.- Can EXCALC be used to investigate high-dimensional cosmological models with non-linear Lagrangians?.- Gröbner trace algorithms.- Solving systems of algebraic equations.- Groebner bases in non-commutative algebras.- Greater easy common divisor and standard basis completion algorithms.- Experiments with a projection operator for algebraic decomposition.- Rational Newton algorithm for computing formal solutions of linear differential equations.- An ordinary differential equation solver for REDUCE.- A fixed point method for power series computation.- An algorithm for symbolic computation of center manifolds.- Shortest division chains in imaginary quadratic number fields.- Effective tests for cyclotomic polynomials.- The probability of relative primality of Gaussian integers.- Some computational aspects of root finding in GF(qm).- Symbolic computation for Witt rings.- Computations with algebraic curves.- On the computational complexity of the resolution of plane curve singularities.- Generalized characteristic polynomials.- Decomposition of algebras.- Algebraic transformations of polynomial equations, symmetric polynomials and elimination.- Tetrahedrizing point sets in three dimensions.- A generalization of the roider method to solve the robot collision problem in 3D.- Symbolic analysis of planar