• OEIS

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

• 罗达斯

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

• 麦考拉2

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

• 阿帕克

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

• VRP公司

• 引用987篇文章[sw05207]
• 车队路线秩序为特定的顾客服务。。。

• 雅尔米普

• 引用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]
• 布鲁恩在六十年代末秩序在计算机中表示数学证明。。。