Calcutext 是一个网络应用程序，你可以在其中使用书面文本进行计算。 特性： 将任何数学运算（如 mathjs 中可用的）编写为一系列书面行来记笔记和进行计算 本地存储/可切换/可管理的...

数据库表设计助手 功能：范式(NF)分解、求最小依赖集、计算闭包、主码、候选码。 详细功能 计算闭包 计算增广集 计算传递依赖 计算闭包 计算关键字 计算主码 计算候选码 计算最小依赖集 依赖分...

MKL-DNN 是用于深度神经网络的英特尔数学核心库，是一款面向深度学习应用的开源性能库。 该库包括针对英特尔架构处理器和英特尔处理器显卡优化的神经网络的基本构建模块。 英特尔MKL-DNN适用于...

软件以GPLv3发布，是一个flash制作的公式编辑器，可以架设到论坛或者博客上，方便用户发表公式，详细使用方法见README

Axiom是一个通用的计算机代数系统，用于研究和开发数学算法，定义了强类型的数学形式上正确的类型系统，拥有自己的编程语言和内置编译器。

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

PhysBAM 是斯坦福大学针的物理仿真库，能够模拟刚性 & 形变、 可压缩和不可压缩流体、 耦合的固体 & 流体、 耦合的刚性及变形固体、 铰接式刚性机构 & 人类、 骨折、 火、 烟、 头...

TRIP是一个普遍的天体力学的计算机代数系统。它包括一个数字内核和接口gnuplot和xmgrace。计算可以进行双倍，四倍，或者多精度。用户可以动态加载外部库，用C写的，C++或Fortran。多元多项式可...

librangetree 是一个c++模板,实现一个2d范围树，用于计数和报告查询。

Haskell是一种纯函数式编程语言，它的命名源自美国数学家Haskell Brooks Curry，他在数学逻辑方面上的工作使得函数式编程语言有了广泛的基础。Haskell语言是1990年在编程语言Miranda的基础上标...

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

MathType是一个功能强大的数学公式编辑器，可以轻松输入各种复杂的数学公式和符号，与Microsoft  Office文档完美结合，显示效果也很好，比Office自带的公式编辑器强大了很多。