An editorial in the current Notices of the American Mathematical Society calls for only open source mathematical software to be used.
Quote:
I think we need a symbolic standard to make
computer manipulations easier to document
and verify. And with all due respect to the free
market, perhaps we should not be dependent
on commercial software here. An open source
project could, perhaps, find better answers
to the obvious problems such as availability,
bugs, backward compatibility, platform independence,
standard libraries, etc. One can
learn from the success of TEX and more specialized
software like Macaulay2. I do hope
that funding agencies are looking into this.
Andrei Okounkov, 2006 Fields medalist.