×

多重vso

swMATH ID: 28192
软件作者: 维克托·马格伦
描述: multivsos:多元非负多项式有理平方和分解工具。multivsos是一个Maple库,用于计算(非)约束情况下具有有理系数的多元非负多项式的平方和(SOS)分解。库需要凸面、SDPA和SDPA-GMP。在无约束情况下,multivsos实现了一种混合数字符号算法,用于计算位于SOS锥内部多项式的精确有理SOS分解。它使用任意精度半定规划(SDP)求解器计算输入多项式扰动的近似SOS分解。利用摄动项可以得到精确的SOS分解。在约束条件下,multivsos允许计算基本紧半代数集上正多项式的加权SOS分解。
主页: https://homepages.laas.fr/vmagron/soft.html
源代码:  https://github.com/magronv/multivosos(网址:https://guthub.com/macronv/mltivosos)
依赖项: 枫树
相关软件: RealCertify公司;univsos公司;枫树;PARI/GP基因;SDPA公司;RAGlib公司
引用于: 1文件

在1个字段中引用

1 计算机科学(68-XX)

按年份列出的引文