[rxm]

I would have included symbolic algebra systems to the list. Many famous calculations in physics and mathematics may not have been attempted without them. Macsyma and Reduce paved the way for Mathematica and Maple. There are still many symbolic algebra algorithms waiting to be implemented. The love and care many open source symbolic systems are receiving is a reflection of their need and importance to science and technology.