欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Scilab 是最初由INRIA 和ENPC 开发, 现在由Scilab 协会维护的开放源代码的科学计算软件. Scilab 具有矩阵运算、数值运算、信号处理、程序设计等功能, 目前已被广泛应用于教育、科研和工业.
License changed to CeCILL (fully compatible with the GPL v2)
==MATLAB