Simbody 是多体动力学的高性能 C++ 库，用于模拟类似汽车、机器人、人体骨骼等生物力学以及机器力学系统

Bayesian-belief-networks允许你用纯Python创建贝叶斯信念网络和其他图模型，目前支持四种不同的推理方法。 支持的图模型 离散变量的贝叶斯信念网络 有着高斯分布的连续变量的高斯贝叶斯网络 推...

DAKOTA (Design Analysis Kit for Optimization and Terascale Applications) 是一种用于执行系统的分析和高性能计算机的设计通用软件工具包。它提供了设计优化，不确定性量化，参数估计，实验...

GAP 是 Groups、Algorithms、 Programming 的首字母简称，是一个计算离散代数的系统，特别强调计算群理论，主要用于研究组及其表示、环、向量空间、代数、组合结构等。 GAP 开发库提...

Kity Formula 为您提供公式表达式解析，可视化公式编辑，公式完美展示于一身的web端的整体解决方案。 KityFormula 包括：KityFormula-editor，KityFormula-parser 和 KityFormula-render。 简单...

AnallogicA是一个基于逻辑命题生成逻辑表的应用程序。有可能比较逆等价或逻辑值。结果可以保存在文本文件,CSV格式,和一个内部格式。程序支持多达15个不同的变量,在组合将超过32000的可能性。它...

ARM官方发布的一个开源库---Ne10。里面提供了大量的浮点运算、矢量计算，和矩阵操作函数，可以帮助开发者快速创建Neon应用。 现有模块： 信号处理（DSP） 数学（math） 图像处理（imagproc） &n...

FFTW 是一个C语言的快速傅立叶变换库。它包括复杂的，真实，对称的，多层面的，和并行转换，并且可以处理任意大小的efficiently.It阵列通常比其他免费提供的FFT实现更快，更与供应商的调整库（...

RAPIDS cuGraph库是一组图形分析，用于处理GPU数据帧中的数据 - 请参阅cuDF。 cuGraph旨在提供类似NetworkX的API，这对数据科学家来说很熟悉，因此他们现在可以更轻松地构建GPU加速的工作流程。...

Algorithm Visualizer 是一个​​交互式在线平台​​，它通过动态图形化方式，将抽象的算法逻辑转化为直观的视觉表现，让算法的执行过程“活”起来。下面这个表格汇总了它的核心信息。 特性维度...

OpenMath，这是一种针对数学对象的表示和交流的标准。

MathB 是一种数学 pastebin 软件，为 MathB.in 提供支持。 它是一种基于网络的服务，旨在与万维网上的其他人共享数学文本片段。 特点 极简的用户界面 实时预览正在输入的 Markdown 和 LaTeX 内...