Computer algebra in physical research of jinr.- Complexity of quantifier elimination in the theory of ordinary differential equations.- Groups and polynomials.- Symbolic computation in relativity theory.- A zero structure theorem for polynomial-equations-solving and its applications.- Some algorithms of rational function algebra.- The computer algebra system simath.- Converting SAC-2 code to lisp.- Computer algebra system for continued fractions manipulation.- Computing a lattice basis from a… CONTINUE READING