ACM数学软件汇刊

计算建模的挑战之一是耦合模型以解决多学科问题。基于流的计算框架通过模块化方法缓解了部分挑战，其中数据流量从一个组件到另一个组件。然而，。。。

我们实验研究了计算作为线性半空间交集的凸多面体体积的基本问题。我们实现并评估了随机多项式时间算法，以准确逼近多面体的。。。

本文有两个主要目标：一是描述第一和第三作者先前提出的自适应代数多重网格（AMG）方法的一些扩展，二是提出一个新的软件框架，命名为...

线性方程组（SLE）的精确求解是数论、数学证明的形式验证和精确数学规划中的一个基本子程序。此外，还可以使用高效的精确SLE求解方法。。。

与数值程序的浮点实现相关的一个长期存在的问题是如何对输出错误进行高效而精确的分析。

我们提出了一个框架来计算最大绝对舍入误差的下限，对于特定的。。。

用于嵌入式优化的基本线性代数子程序（BLASFEO）是一个密集的线性代数库，提供BLAS和LAPACK类例程的高性能实现，用于嵌入式优化和小规模高性能。。。

黎曼优化的任务是找到黎曼流形上定义的实值函数的最优值。黎曼优化在过去几年中由于包括计算机视觉、。。。

在这项工作中，我们开发了一种求解线性常微分方程（LODEs）的有效数值方法。存在广泛的算法（即Runge-Kutta、配置、谱方法）用于数值计算。。。

伪随机数发生器（PRNG）在计算机仿真和计算机安全领域都发挥着重要作用。目前，在这两个领域使用的PRNG类型之间似乎存在巨大差异。对于计算机安全领域的PRNG。。。

稀疏矩阵向量乘法（SpMV）是传统高性能计算和新兴数据密集型应用中的一个重要计算内核。以前的SpMV库通过特定应用程序或体系结构进行优化。。。

置换问题是一类组合优化问题，其解自然被编码为置换。由于它们的复杂性，主要是由解的搜索空间的阶乘基数引起的，它们一直是一种循环。。。

对于受距离间隔成对约束的点集配置，EASAL软件实现了一套算法，用于描述配置空间的结构和几何特性。算法生成。。。