MaxSolver（最大解算器） 19份文件引用(2005–2013) 软件作者： 赵星、张伟雄 相关软件： 糠；MiniMaxSat；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
马戏团 9份文件引用(2004–2017) 软件作者： Jin，HoonSang；法比奥·萨蒙齐 相关软件： 糠；CUDD；zChaff… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
行列式 9份文件引用(2017–2024) 软件作者： 安贾·菲舍尔·菲舍尔、弗兰克·菲舍尔和菲利普·亨格尔兰德 相关软件： CPLEX；港口；MatrixMarket… 主要字段： 运筹学、数学规划（90-XX）
快速匹配 4份文件引用（2017年至2021年） 软件作者： J.B.奥尔林；Y.Lee先生 相关软件： 稀疏矩阵；HSL；算法1015… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
OPERA公司 4份文件引用(1997–2007) 软件作者： 文森特·洛克纳（Vincent Loechner）、凯瑟琳·蒙格内特（Catherine Mongenet） 相关软件： 伊甸园；剑麻；SUIF… 主要字段： 计算机科学（68-XX）
QAP电网 2份文件引用（2017年至2021年） 软件作者： Inostroza-Ponta M、Berretta R、Moscato P 相关软件： HAS-QAP；吴佩斯；QAPLIB… 主要字段： 总体主题；藏品（00-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
费用_分配 1份文件引用(2018) 软件作者： 马丁·恩格尔（Martin S.Engler）。；贝特朗·卡隆；韦恩（Veen）、卢伦斯（Lourens）；Geerke，Daan P。；Alan E.Mark。；Klau，Gunnar W。 相关软件： 锌；ATB；COIN或 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
Femto缓存 1份文件引用（2013年） 软件作者： Karthikeyan Shanmugam、Negin Golrezaei、Alexandros G.Dimakis、Andreas F.Molisch、Giuseppe Caire 相关软件： – 主要字段： 组合数学（05-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
永久_日期 1份文件引用(2018) 软件作者： 伊鲁鲁兹基（Irurozki，Ekhine）；乔苏·塞贝里奥（Josu Ceberio）；Josean Santamaria；桑塔纳，罗伯托；亚历山大·门迪布鲁 相关软件： Matlab；佩尔马尔洛 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）