Xmacs是基于GNU TeXmacs某个版本定制的发行版。GNU TeXmacs是为科学家们或者说科技工作者们设计的科技编辑平台。而Xmacs致力于成为一个能够编辑编辑代码和轻量级标记语言的结构化编辑器。 Xmacs...

数据库表设计助手 功能：范式(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加速的工作流程。...

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