I've just spent the last hour or so at this site ( found via reddit/math ) and it is pretty amazing. Well worth a look! Also the link at the end to mathics was new to me and looks interesting.