PBS公司 38篇文献引用(2003–2014) 软件作者： Aloul，F.A.、Ramani，A.、Markov，I.L.和Sakallah，K.A。 相关软件： 糠；MiniSat；BerkMin… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ITP公司 31份文件引用(2005–2023) 软件作者： 克拉维尔，M。；帕洛米诺，M。；A.里斯科。 相关软件： 莫德；SCC；咖啡OBJ… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
帕拉库巴 24篇文献引用(2020–2023) 软件作者： 马克西米利安·海辛格；马蒂亚斯·弗勒里；阿明·比尔 相关软件： CaDiCaL；基萨特；MiniSat… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
本地化程序 21篇文献引用(1999–2021) 软件作者： 劳伦特·米歇尔（Laurent Michel）；帕斯卡·范·亨特利克 相关软件： 彗星；SALSA；EasyLocal++… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；通用拓扑（54-XX）…
山猫 10篇文献引用(2013–2021) 软件作者： Ganesh，V.、O'Donnell，C.W.、Soos，M.、Devadas，S.、Rinard，M.C.、Solar-Lezama，A。 相关软件： 数学检查；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；几何（51-XX）…
布莱斯 10篇文献引用(2009–2022) 软件作者： 基思·博纳维茨（Keith Bonawitz）、维卡什·曼辛加（Vikash Mansinghka）、博·克罗宁（Beau Cronin） 相关软件： bnsoft；推断。网络；R、 … 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
CoCo公司 6篇文献引用(2002–2018) 软件作者： Badsberg JH公司 相关软件： MIM；R；mclust… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
DOCK（码头） 6篇文献引用(2003–2015) 软件作者： 托德·尤因（Todd J.A.Ewing）、信戈·马基诺（Shingo Makino）、A.杰弗里·斯基尔曼（A.Geoffrey Skillman）、欧文·D·昆茨（Irwin D.Kuntz） 相关软件： AutoDock；尼姆罗德/G；麦克尔… 主要字段： 几何（51-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SpaceTwist（空间扭曲） 4份文件引用(2011–2022) 软件作者： Man Lung Yiu；克里斯蒂安·詹森（Christian S.Jensen）。；黄雪刚；卢，华 相关软件： 卡斯珀*；LocLok；MaPIR… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
加深切割 3份文件引用(2018–2022) 软件作者： 埃尔达尔·因萨福丁诺夫（Eldar Insafutdinov）、列奥尼德·皮舒林（Leonid Pishchulin）、比约恩·安德烈斯（Bjoern Andres）、米哈伊洛·安德里卢卡（Mykhaylo Andriluka）、伯恩特·席勒 相关软件： MS-COCO；多姿态网络；个人实验室… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）…
DILS公司 5份文件引用(2020–2023) 软件作者： 德国González-Almagro；鲁昂戈，朱利安；José-Ramón卡诺；萨尔瓦多加西亚 相关软件： SOS-SDP；k-均值++；AS 136… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
D*超轻 2份文件引用(2017–2019) 软件作者： 马西耶·普尔兹比尔斯基；芭芭拉·普茨 相关软件： D*Lite系列 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
AlphaClean公司 1份文件引用(2021) 软件作者： 桑杰·克里希南（Sanjay Krishnan）、尤金·吴（Eugene Wu） 相关软件： AlexNet；OpenML-CC18；AlphaD3M… 主要字段： 计算机科学（68-XX）
PECM公司 1份文件引用(2016) 软件作者： 张杰。；Sun，P。；X.赵。；马，Z。 相关软件： GPCR-2L；PseAAC；iRSpot-GAEnsC… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）