欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Scilab
来自开放百科 - 灰狐
Scilab: The open source platform for numerical computation
Scilab 是最初由INRIA 和ENPC 开发, 现在由Scilab 协会维护的开放源代码的科学计算软件. Scilab 具有矩阵运算、数值运算、信号处理、程序设计等功能, 目前已被广泛应用于教育、科研和工业.
License changed to CeCILL (fully compatible with the GPL v2)
Links
分享您的观点
