R是用于统计计算和图形的免费软件环境。这是一个类似于S语言和环境的GNU项目，该项目是由约翰·钱伯斯及其同事在贝尔实验室（原AT＆T，现为朗讯技术公司）开发的。R可以看作是S的不同实现。有一些重要的区别，但是为S编写的许多代码在R下都不会改变。R是一种完整的语言，其捆绑的应用程序专门用作“事实”标准进行数据分析和处理。数据挖掘。更适合希望掌握所有功能的高级用户。
特征
Windows版R (programming language)的替代品
11
Perl Data Language
PDL（“ Perl数据语言”）使标准Perl能够紧凑地存储和快速处理大型N维数据数组，而这些数据数组是面包和黄油。
9
Mirai Math
GNU Octave的图形前端。编辑公式的固有数学符号。适用于Linux x586 / x86_64，WinXP，Vista和MacOS。
8
jasymca
Jasymca是用于解决数学问题的交互式系统。它支持任意精度数字和符号变量。
5
4
4
3
2
2
z3
Z3是Microsoft Research的一个定理证明者。