探查-黑线 4份文件引用(2019–2021) 软件作者： Aichernig，Bernhard K。；马丁·塔普勒 相关软件： 棱镜；风暴；AALpy… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
鱼鹰 3份文件引用(2011–2015) 软件作者： Gainza，P.，Roberts，K.E.，Georgiev，I.，Lilien，R.H.，Keedy，D.A.，Chen，C.Y.，Reza，F.，Anderson，A.C.，Richardson，D.C.，Richadson，J.S.等人。 相关软件： 琥珀色；Biq Mac；mplp2… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
西塔 2份文件引用(2015–2021) 软件作者： 乔蒂莫·德斯穆赫（Jyotirmoy Deshmukh）；金小青；詹姆斯·卡宾斯基（James Kapinski）；奥德·马勒 相关软件： 违约；S-TaLiRo；自适应压力测试.jl… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DyOS（动态操作系统） 2份文件引用(2006–2012) 软件作者： 克劳斯·斯托克曼 相关软件： CapeML；ADiCape；gPROMS… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）
打结探测仪 1份文件引用(2011) 软件作者： Jana Sperschneider；阿米塔瓦·达塔 相关软件： 路径BLAST；莫韦；Cell Illustrator… 主要字段： 总体主题；藏品（00-XX）；生物学和其他自然科学（92-XX）
NxTF公司 在0个文档中引用 软件作者： Bodo Rueckauer、Connor Bybee、Ralf Goettsche、Yashwardhan Singh、Joyesh Mishra、Andreas Wild 相关软件： 布莱恩；巢穴；尖峰编码… 主要字段： –