You are never too old to be what you might have been - George (Mary) Eliot (Evans)
IN AN OPINION published by the American Mathematical Society, David Joyner and William Stein argue that the use of closed, proprietary mathematical software is fundamentally incompatible with the standards of mathematical proof.
They note that at least one published article on mathematical theory has relied upon the use of proprietary software to deduce various mathematical facts. They see a disconnect in this practice for the checkability of mathematical reasonings, up to and including the proofs of new mathematical theorems. They write:
"Increasingly, proprietary software and the algorithms used are an essential part of mathematical proofs. To quote J. Neubüser, 'with this situation two of the most basic rules of conduct in mathematics are violated: In mathematics information is passed on free of charge and everything is laid open for checking.'"
It's somewhat astonishing to contemplate that mathematicians even got so lazy as to trust the inner workings of closed software algorithms, but perhaps all it proves is that they're human too, after all. µ
The majority of them are just frustrated people used to talk about pure nonsense sold as it was something unique and special. The majority of mathematicians don't have a clue about how algorithms work in the real world, they never worked on something real, they keep discussing of fantasies and never worked on real products, not just coding.
This happens worldwide. There is a myth of mathematicians being so smart and excellent at everything, that's just a myth, marketing hype that is good for tv series like Numbers maybe but in the real world, when you got to know how things really work and need to be adapted in order to function properly, you know that you have to deal with a lot of nonsense and thousands of just unusable formulas written by mathematicians on books that no one will ever be able to use. Mathematicians can waste their time but there are people that need to get the job done and can't waste theirs while reading mathematical garbage that just doesn't make any sense and/or is found out to be pretty flawed. 
So, no, closed source and closed formulas, hidden formulas and algorithms is something that must be protected because it usually means that if there is a need to hide those mathematical formulas and theories it means that they have been used in practice, they are known to be useful and not a waste of time, so they are valuable and must be protected. Why should anyone be able to make a profit out of the hard work of a few ?
Jeorg.... Is "Numbers" like NumberWang? If so, I wanna see it!
mathematics is not "Numbers". 

the intention is not to criticize mathematica or their commercial interests. it is about proofs/claims which have to be verifiable and cannot be inherently closed source.

Imaginary numbers are quite practical, actually. Take a few college math courses and you'll see that.
Get to complex analysis and then you can talk.

Onto the real issue:

As of now, I know of no open-source software that can compete with Mathematica. Until the open-sauce community provides something of its caliber, it will continue to be used widely.
are they used open, prooved processors?
"The majority of mathematicians don't have a clue about how algorithms work in the real world"
Joerg, the majority of people don't have a clue about how mathematicians work in real world. I'd like to see your average stock exchange/investment bank/insurance firm abstracting themselves from "mathematical garbage" and still being able to function. If you need that job done, just hire a bloody mathematician and stop whining about your lack of understanding.
Joerg - you sound like someone who flunked highschool maths and feel insecure about it.
Joerg please don't open your mouth anymore...Mathmatics lays the foundation for all quantative study. 
If some mathematician hadn't come up an abstract for binary number computation ( ie DeMorgan Laws..etc..) then we wouldn't have computers...Everything except God himself ( maybe?) can be described through a quantative analysis using mathematics. Just because its incredibly complicated and you can't understand it does not mean it is jibberish. I've studied discrete mathematics, Partial differential equations, and multi variable calculas and trust me I hate math to but many of the greatest algorythms were created by mathematicians not programmers..OSPF is based on graph theory..a mathematical concept..and without OSPF we wouldn't have much of an internet now would we?
In the real world, mathematicians have to deal with people like you, Joerg. 

Probably why theory work can be so tempting.
@Trevor: What are you talking about ? What do imaginary numbers or maybe the z-space got anything to do with the fact that the majority of mathematicians just don't have a clue of what is the real meaning and use of those abstractions in the real world ? There are thousand of useless books full of just unusable formulas. Too many people getting paid to waste their time at promoting fantasies, that's the point. This is not science, it's a waste of resources and too many ignorants being promoted as they were more intelligent than average people. The truth is that if you want a true mathematician then you got to search between those that produced something real, something that works and the majority of those people have got to work from scratch and forget many flawed books of useless formulas or waste a lot of time trying to decrypt and find out what the mathematician wasn't able to provide to make a use of his/her own theories.
Maybe he messed up in mathematics at school so badly that he's got no sense on what he was writing. Most people who seriously develop algorithms rely on such "stupid theories". I wonder what I what do without my copy of "Numerical recipes in C". 

And as ra mentioned: the article is about mathematical papers, it' "university world", not the "industry world"! Things are different there. And this is a good thing. I mean generations of men have been arguing about just that topic. Joerg don't spend your powers in such a fruitless discussion... use some cool mathematics to code something nice and useful.
Joerg:

You are obviously not aware that most of the technology developed in the past 60 years would most likely not exist had mathematicians followed your advice and stopped developing those "useless formulas" and abstractions you seem to dislike so much. I suggest you either get over you math-phobia and learn some for your own education or stop whining about something you don't understand.