我们展示了如何通过Gröbner基技术结合Block-Wiedemann算法求解有限域上的一些非常大的多元多项式系统，从而扩展了Faugère和Mou基于Wiedeman的“稀疏FGLM”方法。主要。。。

数值延拓方法跟踪同伦定义的解路径。我们考虑的系统是由多个复系数变量的多项式定义的。对于较大的维度和度数，数值条件恶化并且。。。

我们首先研究了Rubik的立方体优化求解器的并行化，特别是GPU的加速。为了检验它的有效性，我们实现了一个基于Korf算法的简单求解器，CPU和GPU在IDA*算法中与之协作，并实现了一种大型求解器。。。