• OEIS

  • 引用3387篇文章[sw07248]
  • 医疗记录是正确的秩序. (也许你是个计算机科学家或者其他人。。。
  • 罗达斯

  • 在1533篇文章中引用[sw04112]
  • 罗森布鲁克法秩序4(3),对于形式上的问题。。。奇异矩阵M;稠密输出;代数秩序讨论了关于线性代数的条件。。。
  • 麦考拉2

  • 引用1658篇文章[sw00537]
  • 具有单项式的多分次多项式环订购. 核心算法可以通过。。。
  • 阿帕克

  • 引用783篇文章[sw04218]
  • 矩阵向量积w<-Av需要秩序n而不是通常的秩序氮气浮动。。。最大的震级。存储要求在秩序n*k个位置。没有辅助存储器。。。
  • 雅尔米普

  • 引用913篇文章[sw04595]
  • 用于线性规划,二次规划秩序锥规划,半定规划,非凸半定。。。
  • 凯利

  • 引用了600篇文章[sw04829]
  • first的可用性和准确性秩序,有时也是第二个秩序目标的导数。。。
  • 减少

  • 引用739篇文章[sw00789]
  • 许多贡献者。其功能包括:扩展和订购多项式和有理函数;替换。。。
  • CVX公司

  • 引用692篇文章[sw04594]
  • 包括线性和二次规划(LPs/QPs),第二-秩序锥程序(SOCP)和半定程序(SDP。。。
  • TSPLIB公司

  • 引用661篇文章[sw00983]
  • 非对称旅行商问题(ATSP)序列订购问题(SOP)容量限制的车辆路径问题(CVRP。。。
  • SDPT3型

  • 引用609篇文章[sw04009]
  • 半无限锥的乘积,第二-秩序以及非欧几里得空间,以及负的目标锥。。。
  • symrcm公司

  • 引用376篇文章[sw08566]
  • 稀疏反向Cuthill McKee订购. r=symrcm(S)返回对称反向Cuthill McKee。。。订购这是一个排列,使得S(r,r)趋向于。。。这些都来自于长期的,瘦骨嶙峋的问题。这个订购适用于对称和非对称。。。
  • 引用567篇文章[sw06916]
  • 能得到一到两个命令在困难的。。。
  • UMF包

  • 引用了354篇文章[sw00989]
  • 呈现了一个列-订购策略与一个正确的不对称模式多面。。。数值因式分解。前-订购符号分析阶段计算填充的上限。。。因子分解。为提供了用户可调用例程订购分析一个稀疏矩阵,计算。。。
  • 荷兰语

  • 在502篇文章中引用[sw05492]
  • 较高的命令逻辑(HOL)是一个编程环境,在这里可以证明定理。。。
  • 吸血鬼

  • 引用237篇文章[sw02918]
  • 自动定理证明器-秩序经典逻辑。它由一个外壳组成。。。内核。内核实现命令二元分解和叠加处理等式。。。可选模交换性),包含解析,重写命令单位均分,和一个轻量级的基础。。。CASC版本使用Knuth Bendix订购. 词典编纂路径订购最近已经实施。。。
  • 梅蒂斯

  • 引用文献445篇[sw04089]
  • 有限元网格,生成减填订购对于稀疏矩阵。实现的算法。。。
  • 水獭

  • 引用313篇文章[sw02904]
  • 设计用来证明第一个定理-秩序逻辑与平等。水獭推理规则。。。包括术语重写工具订购,Knuth Bendix完成,权重,和指导策略。。。
  • 流行性腮腺炎

  • 引用422篇文章[sw04013]
  • 流行性腮腺炎:Fortran、C、Matlab和Scilab;几个订购接口:AMD,AMF,PORD,METIS,PARMETIS,SCOTCH。。。
  • 自动机

  • 在403篇文章中引用[sw07127]
  • 布鲁恩在六十年代末秩序在计算机中表示数学证明。。。