中文

单变量有理平方和

代数几何 2022-04-13 v2

摘要

给定有理单变量多项式ffgg,使得gcd(f,g)\gcd(f, g)f/gcd(f,g)f / \gcd(f, g)互素,我们证明ggff的所有实根上非负当且仅当gg是模ff的有理多项式平方和。我们通过给出一个算法来完成研究,该算法在上述事实成立时,产生一个证书证明多项式gg在非零多项式ff的实根上非负。

关键词

引用

@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