Certainly. Wolfram was once a near-monopoly in computer-aided mathematics, but their exalted position is fast eroding, diminished by free alternatives like Sage¹.
Wolfram's response has been to package their product in increasingly ingenious ways, as with Wolfram Alpha², which has been quite successful. But in the long term, these methods will fail, because for mathematics to be both valid and understood, it must be transparent.