• 重新认证

  • 参考7篇文章[sw28191]
  • 经典算法问题象征的计算。Maple包extsc{RealCertify}解决了这个决策问题。。。正方形证书输入的非负性证书保留有理数。。。应用于很多的来自工程科学、程序验证和网络的问题。。。物理系统。它基于混合的 象征的-数字基于半定规划的算法。。。
  • 岩浆

  • 引用3137篇文章[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 宿便

  • 引用279篇文章[sw00891]
  • 我们很高兴向您介绍SOSTOOL,一种免费的。。。
  • SDPA公司

  • 在181篇文章中引用[sw03275]
  • 半定规划算法(SDPA)是一种新的半定规划算法。。。
  • PVS公司

  • 引用627篇文章[sw03484]
  • PVS是一个验证系统:也就是说,一个。。。
  • 沉香

  • 引用1245篇文章[sw04002]
  • SeDuMi是一个求解优化问题的Matlab工具箱。。。
  • SDPT3型

  • 引用673篇文章[sw04009]
  • 该软件是为解决圆锥曲线编程而设计的。。。