Polynomial program; Semi-algebraic System; Symbolic model checking;
机译:具有SOCP放松的新的界限层次,用于全球多项式优化和圆锥形凸形半代数课程
机译:生成非自治多项式混合系统的半代数不变量
机译:绑定贝蒂数并计算由多项式的部分二次系统定义的半代数集的欧拉-庞加莱特征
机译:用半代数系统验证多项式程序的方式
机译:二次多项式定义的半代数集的算法和拓扑方面
机译:系统验证:应用于统计程序
机译:计算由多项式的部分二次系统定义的半代数集的Betti数
机译:多变量系统传递函数推导的计算机程序(多项式元素的行列式解