Symja - Java computer algebra language & symbolic math library
chinese remainder theorem - progressive solving, n-soln, extras
Mathematica package for tensor reduction of Feynman integrals.
Taylor series Integrator for Differential Equations
Truncated power series algebra
Mathematica package to handle Keplerian and perturbed orbits