I picked up from Slashdot that Mathematica 6, a program for doing computer algebra, was released. Among the features are equational theorem proving, which is similar to the work that I am doing. More than any other product, Mathematica embodies symbolic computing, and this recent post on the Wolfram blog, Symbolic

Read more »
May 15, 2007, 9:13PM

AI