机译:均匀凸度量空间上的凸性可行性问题
机译:从凸可行性到使用块动作投影方法和欠松弛的凸约束优化
机译:超越凸面?一个定理仅对凸目标函数才可行
机译:具有凸优化的具有非凸路径约束的迭代可行最优航天器制导
机译:用于凸和非凸优化的域特定语言
机译:X射线CT的一阶凸可行性算法
机译:关于凸可行性问题的投影算法(非线性分析和凸分析)
机译:ada编译器验证摘要报告:证书编号:900910W1.11027.Convex Computer Corporation,Convex ada Version 2.0。凸面C220 =>凸面C220