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!”
Comments are closed.
Core Economics 
I think it depends on how old you are, not the software. 🙂
Thanks for the Fairtrade plug.
LikeLike
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.
LikeLike
Well just knowing something is true gives me a clue as to what to prove!
LikeLike