Mathematica 6!

Just when I thought I was getting too old to prove those theorems comes Mathematica 6. This isn’t for everyone but check out the features. I especially like equational theorem proving and dynamic interactivity. This is going to add years to my productive academic life.

3 thoughts on “Mathematica 6!”

  1. Yes, but can you really use “In[1]:= FullSimplify[expression]; Out[1]= True” as a proof in a published paper?

    In all seriousness, though, I think it’s the syntax coloring, code annotation, and interactive debugging that I’m looking forward to most.


Comments are closed.

%d bloggers like this: