DOLFIN 作为 ​​FEniCS 项目​​的核心组件，是一个强大的 C++ 库（同时也提供 Python 接口），它真正实现了​​自动化计算数学建模 (ACMM)​​ 的目标。其核心价值在于，它让你能够用非常接近...

 重要提示：Terraform 所在的 HashiCorp 公司宣布，不允许中国境内使用该公司旗下的企业版的产品和软件（开源版本不受影响）。Terraform 是一个安全和高效的用来构建、更改和合并基础架构的工...

《几何专家》提供了几何动态图形变换与板块操作，可以自动证明定理，并产生简单、漂亮的证明过程，还可以自动发现几何图形的丰富性质。自从吴文俊教授七十 年代末提出几何定理自动证明的吴方法...

NA_WorkSheet是一个聚集了许多Java编码算法实现各种数值分析的解决方案/技术在一个易于使用的开源工具。

PRPVis（可视化的概率路线图规划）是一个概率为基础的规划与几个自由度，如机器人，物体的运动方法。该项目PRPVis提供了教学对学生的算法，该算法用于交互式可视化。 在线演示（浏览器需要Java...

polar-3gpp-matlabMatlab simulations of the encoder and Successive Cancellation List (SCL) decoder for the New Radio polar code from 3GPP Release 15, as defined in TS38.212 V15.2.0...

这是一个用来计算圆周率的开源工具。

MIToolbox v3.0.1 for C/C++ and MATLAB/Octave MIToolbox contains a set of functions to calculate information theoretic quantities from data, such as the entropy and mutual informati...

MIToolbox v3.0.1 for C/C++ and MATLAB/Octave MIToolbox contains a set of functions to calculate information theoretic quantities from data, such as the entropy and mutual informati...

Shapesmith 是一款颇具特色的​​开源HTML5 3D建模应用​​，它允许你直接在网页浏览器中创建和编辑3D模型，特别适合需要参数化设计和准备3D打印模型的用户。 为了让你快速了解其全貌，下面这个...

Gene Ontology是一个基因处理工具。目前许多生物学家把很多时间浪费在查找每个小块区域的所有可利用信息。它的目的是尽最大的努力去满足不同数据库中的基因持续信息描述的需求。 三个模块◆ 细...

Electric 是一个功能强大的电路图设计软件，支持多种格式的电路图设计包括数字和模拟电路、IC排版、逻辑模拟、编程逻辑(FPGAs)等等。