单变量有理平方和
代数几何
2022-04-13 v2
摘要
给定有理单变量多项式和,使得与互素,我们证明在的所有实根上非负当且仅当是模的有理多项式平方和。我们通过给出一个算法来完成研究,该算法在上述事实成立时,产生一个证书证明多项式在非零多项式的实根上非负。
引用
@article{arxiv.2112.00490,
title = {Univariate Rational Sums of Squares},
author = {Teresa Krick and Bernard Mourrain and Agnes Szanto},
journal= {arXiv preprint arXiv:2112.00490},
year = {2022}
}
备注
Revista de la Union Matematica Argentina, 2022