SYMDIFF is a tool for symbolic differentiation of mathematical expressions. It includes Python and Tcl interfaces.
Symja is a pure Java library for symbolic mathematics. It supports arbitrary precision integers, rationals and complex numbers, polynomials, differentiation, integration, pattern matching, linear algebra, solvers, and more.
A live Linux distribution for exams.
A plugin to find things faster on Google, Yahoo!, and MSN.