MATLAB

MATLAB

企业级计算环境和用于数字计算的编程语言。
MATLAB是一种数值计算环境和编程语言。MATLAB由MathWorks维护,可以轻松地进行矩阵处理,绘制函数和数据,实现算法,创建用户界面以及与其他语言的程序进行接口。尽管它只是数字,但可选工具箱使用MuPAD符号引擎,允许访问计算机代数功能。Simulink附加软件包为动态和嵌入式系统添加了图形多域仿真和基于模型的设计。
matlab

Java版MATLAB的替代品

z3

z3

Z3是Microsoft Research的一个定理证明者。