怎么会这样呢？

软件的定位不同，这个图里的都是大通套数学软件，真正的专业数学软件这里也没列出来。这些软件里有些是面对数学教育的，比如说maple，配有一套数学考试系统；有面对工程计算的，比如说mathcad，这就不多说了；大部分都是面对科学计算的；只有mathematica的定位特殊，想建立一个数学计算的国际标准，可具体到哪个功能都不如同类的专业数学软件来得牛掰。

这个是中文版的网页：
http://zh.wikipedia.org/wiki/%E8%AE%A1%E7%AE%97%E6%9C%BA%E4%BB%A3%E6%95%B0%E7%B3%BB%E7%BB%9F%E6%AF%94%E8%BE%83

真正的数学软件？ matlab都不算?

不清楚，我原来看过几篇泛函的数学论文，里面给出的函数族空间的图很明显是电脑画出来的。还有图论，俄罗斯有一个教授出了一个图论实时计算的软件，可以做基础应用，也可以做离散代数的公式推导及图形整理。Sourceforge上有不少是搞贝叶斯统计的毕业论文程序，还有遗传算法毕业论文程序。我觉得你如果对专业数学软件感兴趣，试试去wiki找找看（得花些力气），那里搜集了部分很不错的私人小软件。
法国有一个MC爱好者专门搞环境污染模型的，他个人网站里面给出的worksheet有点儿挑战性，算是MC应用在专业数学上的很棒的例子了。
记得PTC上有这么一个故事，美国有一个女数学教师，她说她每当看到有某个数学问题可以使用电脑完成的时候就感到特别的悲哀，然后她就收集各种电脑解决不了的数学问题，而每年她在她博客里列出的问题都不断的有相关软件提出了解决方法。
我原来有一阵子也对找这种专业数学软件感兴趣，一度还安装了Linux虚拟机，但软件太多太杂，而且绝大部分我都不知道是干什么用的，所以玩儿一个月就放弃了。专门搞工程计算的专业数学软件也不少，最著名的应该是Modelica项目了吧，现在除了MC之外几乎所有的涉及到工程仿真的软件的内核都是Modelica，你在soureforge上查JModelica可以找到，对工程计算很强大的。