There is this interesting OSS SAGE (http://sage.math.washington.edu/sage/)... and a recent release.
Users need to learn Python to use it as opposed to a Scheme/Lisp like language. Mathematical expression is closer to a functional programming like Scheme/Lisp and lots of people will benefit if a version of SAGE that uses R or a LISP instead of python. It should accommodate HOL and ISABELLE as well. That is something for development. Best A. Mani -- A. Mani Member, Cal. Math. Soc _______________________________________________ ilugd mailinglist -- ilugd@lists.linux-delhi.org http://frodo.hserus.net/mailman/listinfo/ilugd Next Event: http://freed.in - February 22/23, 2008 Archives at: http://news.gmane.org/gmane.user-groups.linux.delhi http://www.mail-archive.com/ilugd@lists.linux-delhi.org/