海词手机词典
  • 判定由线性不等式围成的凸空间是否为空的一个快速算法