欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
SageMath
来自开放百科 - 灰狐
SageMath
目录 |
简介
SageMath 是一款使用 Python 语言编写的开源数学软件,采用 GPLv3 许可证,它也使用 Python 作为通用接口,将现有的许多开源软件包整合在一起,构建一个统一的计算平台。
愿景
创建一个有活力的自由开源软件以替代 Magma,Maple,Mathematica 和 MATLAB。
功能
指南
项目
图集
链接
分享您的观点