ACM数学软件汇刊

本文全面比较了Kummer线和Montgomery曲线在不同安全级别下矢量化实现的效率。为了进行比较，我们考虑了九条Kummer线，其中八条是新的，而新的。。。

我们描述了一个通用且安全的计算框架，该框架提供了整数规划结果，并且具有机器辅助证明数学定理所需的确定度。该框架的核心是依靠一个理性的分支和。。。

我们提出了BiqBin，一个线性约束二元二次问题的精确求解器。我们的方法基于一种精确的惩罚方法，首先将原始问题有效地转换为Max-Cut实例，然后求解Max-Cuts问题。。。

在本文中，我们使用基于随机抽样的技术提出了一种计算效率高的固有正交分解（POD）迭代算法。在该算法中，对附加的行和列进行采样，并使用合并技术对其进行合并。。。

受非匹配网格投影算法（PANG）三角形交点组件意外失败的启发，本文提供了一个稳健的版本，并证明了其向后稳定性。新的三角形相交算法确保了。。。

我们开发了一种生成任意阶Ciarlet型有限元空间任意单元形状自由度映射的方法。该方法基于单元子实体的排列和变换组合。当前的方法。。。

出于理解非结构化计算网格上有限元装配可实现性能的愿望，我们将标准的单元装配算法分解为四个内核，其中两个内核主要由不规则内存流量控制。。。

SPEX Left LU是一个用于精确求解非对称稀疏线性系统的软件包。作为稀疏精确（SPEX）软件包的一个组件，SPEX Left LU可以应用于任何输入矩阵，A类，其条目为整数、有理数或十进制，并且。。。

随机奇异值分解（RSVD）是一种有效计算矩阵近似奇异值分解的成熟技术。基于支持RSVD的思想，最近提出的算法“randUTV”。。。

本文描述了一种用积分恢复函数的带粗糙度惩罚的三次积分光滑样条。详细描述了建立这种样条曲线的数学方法。该方法是基于三次积分样条函数的，并具有很好的精度。。。

这个凸壳成员（CHM）测试是否\（p\在conv（S）中），其中第页和n个的点S公司躺在里面\（\mathbb{R}^m\）。CHM在线性规划、计算几何和机器学习中有应用。这个三角形算法（TA）。。。

PARyOpt公司¹是基于Python的贝叶斯优化例程的实现，设计用于远程和异步函数评估。贝叶斯优化对于计算优化特别有吸引力，因为它具有低成本功能占用...