• LGS

  • 15篇参考文献[SW0517]
  • 回顾不同的方法几何 约束 解决介绍我们的一个,详细描述LGS架构…
  • 楔子

  • 39篇参考文献[SW0471]
  • 无约束非线性优化楔形设计解决目标函数存在的问题…促进信托区域趋同。几何 约束(或楔子)的目的是保持样品…
  • GPDOF

  • 8篇参考文献[SW02585 ]
  • 约束条件下的快速分解算法几何 约束系统:应用于三维建模。我们的方法…不易延展几何 约束受约束的系统。在这…线性、双线性和二次型几何 约束条件对图像信息进行优化。我们的模型…约束系统在几秒钟内被分解,然后可以解决了的百分百…
  • 代森

  • 1篇参考文献[SW1276]
  • 研究人员开发的系统几何 约束 解决波利特大学尼卡小组
  • 随机数

  • 4篇参考文献[SW11113]
  • 参数不确定的问题。每个风险约束导出系数的不确定集,…几何的算法到解决具有单一失真风险的随机线性规划约束
  • MDC椭球体

  • 8篇参考文献[SW22577 ]
  • 最小距离计算采用数值方法。解决具有非线性方程组的系统…必要的,虽然不够,几何 约束条件它的解决方案包括一对点…
  • 卡尔卡

  • 5篇参考文献[SW13098]
  • 可满足性技术解决非线性布尔组合约束条件那是凸的…冲突驱动学习。此外,每当非凸约束条件是由布尔推理产生的,我们提供…原始集合约束条件通过使用几何凸集和支持超平面的性质…
  • 米斯特拉尔

  • 5篇参考文献[SW0599]
  • 精确实用的计算几何学地复杂的湍流问题。数值策略…无散度的近似投影法约束速度的作为一个数值论证…驱动腔流动问题已被解决解决了的与米斯特拉尔码在很宽的范围内…
  • 克卢卡尔

  • 3篇参考文献[SW20666 ]
  • 三叉戟蛇机器人解决了的通过共形几何代数(CGA)。它显示…直接和微分运动学,普法夫约束条件逆运动学和奇异姿态…
  • GEPUP

  • 6篇参考文献[SW15834 ]
  • 具有不可压缩性的唯一进化变量约束通过一个压力泊松方程强制执行的先进的解决一类线性系统几何多重网格。一个关键的组成部分…
  • 希帕斯

  • 1篇参考文献[SW02600 ]
  • 一组工程中的施工程序约束条件并解决了等价性的重新分配问题。将尺寸松弛法引入解决这个几何的优化问题…
  • 克洛洛夫

  • 1篇参考文献[SW20840]
  • 几何先进并行区域分解方法(DDMS)的若干问题解决非常大…矩阵子域中的辅助子系统是解决了的通过直接或通过Krylov迭代…基于程序的缺失约束条件关于自由的程度…
  • 自动机

  • 143篇参考文献[ SW000 086]
  • BoomerAMG:一个并行代数多重网格求解器和预处理器…
  • CDD

  • 106篇参考文献[SW0114]
  • 程序CDD+(CDD,分别)是C.。
  • 可可

  • 595篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1739篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT