西蒙·阿伯拉德 关于函数域积分基的计算复杂性。 （英语） Zbl 07635822号 Boulier，François（编辑）等人，《科学计算中的计算机代数》。第22届国际研讨会，CASC 2020，奥地利林茨，2020年9月14日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12291, 42-62 (2020). 小结：设（mathcal{C}）是由方程（f（x，y）=0）给出的平面曲线，其中（f在K[x][y]\中是一个不可约多项式。我们研究了计算代数函数域（K（mathcal{C}）的积分基的问题，并给出了处理该问题的三个已知算法的新的复杂度界。对于每种算法，我们研究其子程序，如果可能，我们修改或替换它们，以便利用更快的原语。然后，我们结合复杂度结果得出每个算法的总体复杂度估计。特别是，我们修改了Böhm等人提出的算法，并实现了准最优运行时。关于整个系列，请参见[Zbl 1502.68021号]. 引用于1文件 MSC公司： 68瓦30 符号计算和代数计算 关键词：Puiseux系列;线性代数;多项式矩阵 PDF格式BibTeX公司 XML格式引用 \textit{S.Abelard}，莱克特。注释计算。科学。12291，42-62（2020；Zbl 07635822） 全文： 内政部 arXiv公司