欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
SageMath
来自开放百科 - 灰狐
（版本间的差异）
(以“SageMath ==简介== SageMath 是一款使用 Python 语言编写的开源数学软件，采用 GPLv3 许可证，它也使用 Python 作为通用接口，将现...”为内容创建页面) |
小 (→链接) |
||
| 第23行： | 第23行： | ||
[[category:numerical analysis]] | [[category:numerical analysis]] | ||
[[category:python]] | [[category:python]] | ||
| + | [[category:Huihoo Foundation]] | ||
2021年2月20日 (六) 03:20的版本
SageMath
目录 |
简介
SageMath 是一款使用 Python 语言编写的开源数学软件，采用 GPLv3 许可证，它也使用 Python 作为通用接口，将现有的许多开源软件包整合在一起，构建一个统一的计算平台。
愿景
创建一个有活力的自由开源软件以替代 Magma，Maple，Mathematica 和 MATLAB。
功能
指南
项目
图集
链接
分享您的观点
