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 内...

C# Wrapper for muParser 顾名思义就是 muParser 数学表达式解析器的 C# 语言封装版本。

libMesh 用来处理六面体,四面体,四边形,三角形网格。拉格朗日、层次化和单项有限元素。接口来PETSc动力学、自适应网格加密,以及极端portablility。

WinPython 是由 Python(x,y) 的作者开发，功能是比较全的,软件包也比较新，GUI基于PyQt，不过相对于Python(x,y)，它主要是关注便携式安装体验：你可以把它装在u盘里面。windows中可以不再使用Py...