验证一个概率并行模块化算法用于有理数一元表示
摘要：用高概率的正确性通过使用Groebner revlex计算、Berlekamp-Massey算法和Hankel线性系统求解模多个素数并行重构有理数单变量表示（rur）来解决多项式系统的问题。然后，引入了一个新的方法（定理prop:check）用于大多数多项式系统的rur认证。这些算法已在https://www-fourier.univ-grenoble-alpes.fr/~parisse/giac.html自版本1.7.0-13或1.7.0-17开始实现，至少在多CPU上，在开源软件中具有（截至2021年7月）领先的性能。
作者：Bernard Parisse (IF)
论文ID：2106.10912
分类：Symbolic Computation
分类简称：cs.SC
提交时间：2021-09-01