The General Algebraic Modeling System (GAMS)是一款数学规划和优化的高级建模系统。 通用代数建模系统(GAMS)是特别为建模线性,非线性和混合整数最优化问题而设计的.本系统对于大型的,复杂的问...

Relational 是一个接口，用来从文件中加载关系，编写代数查询，并查看结果。该软件主要用于教学目的，可用来检测一个代数查询是否正确。

MathLabTool 是一款数学仿真、图形化工具，可为数学相关的实验、仿真、图形化等各类需求，提供便捷工具。 可以为数据绘制各类2D、3D图形，显示实时串口数据图形，封装各类算法。 资源 Gitee Git...

libnabo 是一个快速为低维度空间提供K最近邻居算法库。它提供了一个干净的，传统的无标量类型无关的C ++模板API。 示例代码： #include \'nabo/nabo.h\' using namespace Nabo; using namespace...

类似Matlab、Octave、Scilab的数值计算系统。 EULER is a program for quickly and interactively computing with real and complex numbers and matrices, or with intervals, in the style of...

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

jMathLab 是数学和数值计算的一个平台。它使用 MATLAB/Octave 编程语言。它可以运行在任何平台上安装Java的，也可以在Web浏览器上运行。包括：符号计算（简化，微分，积分），数值计算，评估的...

Choco-solver 是一个用于约束满足问题（Constraint Satisfaction Problems）和约束规划（Constraint Programming）的 Java 库。 它建立在一个可回溯结构的,基于事件的传播机制上。   ...

LIBSVM是台湾大学林智仁(Lin Chih-Jen)副教授等开发设计的一个简单、易于使用和快速有效的SVM模式识别与回归的软件包，他不但提供了编译好的可在Windows系列系统的执行文件，还提供了源代码，方...

小程序程序执行模型    我们定义了一个新的程序执行模型（PXM），它是强调使用细粒度事件驱动任务来进行计算的小码模型。它受数据流执行模型原理的启发，加上冯·诺依曼执行模型。1....

Pyodide 由编译成 WebAssembly 的 CPython 3.8 解释器组成，允许 Python 在网页浏览器中运行。 Pyodide 可以安装来自 PyPi 的任何 Python 包。Pyodide 还包括一个外部函数接口，可以将 Python ...

OpenBLAS 是一个优化的 BLAS 库，基于 GotoBLAS2 1.13 BSD 版本。 BLAS（Basic Linear Algebra Subprograms 基础线性代数程序集）是一个应用程序接口（API）标准，用以规范发布基础线性代数操作...