DSIC, Universidad Politecnica de Valencia Camino de Vera s, 46022 Valencia, Spain;
Polynomial constraints; positive polynomials; representation theorems;
机译:非负多项式的表示,度界及其在优化中的应用
机译:非负多项式的表示,度界及其在优化中的应用
机译:非负多项式的杰出表示
机译:使用表示定理来证明多项式非负面
机译:用实验数学猜想和证明定理在分配和可交换与非可交换递归理论中。
机译:Szász-Durrmeyer型算子的量化-Voronovskaya型和Grüss-Voronovskaya型定理与多个Appell多项式混合
机译:表示定理和非经典逻辑的语义学及其在自动定理证明中的应用
机译:一个定理证明器的语言识别问题表示