VAMPIRE公司 308份文件引用(1985–2023) 软件作者： 亚历山大·里亚扎诺夫；安德烈·沃伦科夫 相关软件： TPTP；E定理证明器；SPASS… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
SLIQ公司 40篇文献引用(1997–2022) 软件作者： 曼尼什·梅塔；拉凯什·阿格拉瓦尔；乔玛·里萨南 相关软件： 冲刺；C4.5；UCI-ml… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
普韦布洛 33篇文献引用(1998–2021) 软件作者： 侯赛因·希尼。；卡里姆·A·萨卡拉。 相关软件： MiniSat；糠；周六… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
奥普图纳 15篇文献引用(2021–2023) 软件作者： 秋叶拓哉、三野昭太郎、延濑敏彦、大田武夫、小山正男 相关软件： PyTorch；Hyperopt；Scikit… 主要字段： 总体主题；藏品（00-XX）；常微分方程（34-XX）；统计学（62-XX）…
GOSDT公司 在11份文件中引用(2021–2024) 软件作者： Jimmy Lin、Chudi Zhong、Diane Hu、Cynthia Rudin、Margo Seltzer 相关软件： UCI-ml；C4.5；MurTree… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PlanMine公司 8份文件引用(2000–2007) 软件作者： 穆罕默德·扎基。；Neal Lesh；Mitsunori小原 相关软件： 铲刀；坐浴盆；CloseGraph… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
Z3str2型 8份文件引用(2017–2023) 软件作者： 郑云辉；维杰·加内什；萨努语Subramanian；特里普，奥马尔；墨菲·贝尔齐什；朱利安·杜比（Julian Dolby）；张湘玉 相关软件： 陌生人；汉普；诺恩… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MGTP公司 6篇文献引用(1995–2013) 软件作者： 长谷川龙子；藤田，广岛；宫崎骏小村；Shirai、Yasuyuki 相关软件： 萨奇莫；TPTP；MiniSat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
牛顿 5份文件引用（1997年至2013年） 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；劳伦特·米歇尔（Laurent Michel）；F.本哈莫。 相关软件： 太阳神；PASCAL-XSC；COMET… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PruneTrain公司 4份文件引用(2021–2023) 软件作者： 桑库格·莱姆（Sangkug Lym）、埃沙·乔克斯（Esha Choukse 相关软件： 亚当；AMC；BinaryNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
爆发 2份文件引用(2014–2016) 软件作者： 赵丽庄；穆罕默德·扎基（Mohammed J.Zaki）；纳伦·拉马克里希南 相关软件： 泰坦尼克号；UCI-ml；LIBSVM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
NetMine公司 1份文件引用(2009) 软件作者： 阿皮莱蒂，丹尼尔；埃琳娜·巴拉利斯；塔妮娅·塞奎泰利（Tania Cerquitelli）；文森佐·德埃利亚 相关软件： 蟒蛇；生命周期管理 主要字段： 计算机科学（68-XX）
神经贝叶斯 1份文件引用(2021) 软件作者： M.Feindt；U.Kerzel公司 相关软件： RapidSim；高迪；Scikit… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
NuMDG公司 2份文件引用(2011–2012) 软件作者： 阿贝德，赛义德；亚辛·莫赫塔里；艾特·穆罕默德（Ait-Mohamed），奥特曼（Otmane）；索菲涅·塔哈尔 相关软件： Velev SAT基准；NuSMV公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
缩小 1份文件引用(2022) 软件作者： 纪尧姆·勒克莱尔、马纳西·瓦塔克、劳尔·卡斯特罗·费尔南德斯、蒂姆·克拉斯卡、塞缪尔·马登 相关软件： glmnet；PruneTrain；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
KD-Lib公司 在0个文档中引用 软件作者： Het Shah、Avishere Khare、Neelay Shah、Khizir Siddiqui 相关软件： 蒸馏器；蟒蛇；BERT… 主要字段： –
M2KD系列 1份文件引用(2021) 软件作者： 周鹏；Mai、Long；张建明；徐宁；吴祖轩；Davis，Larry S。 相关软件： VGG面2；DeeSIL；iCaRL… 主要字段： 计算机科学（68-XX）
PLiNIO公司 在0个文档中引用 软件作者： Daniele Jahier Pagliari、Matteo Risso、Beatrice Alessandra Motetti、Alessio Burrello 相关软件： HAWQ；MorphNet；HardCoReNAS… 主要字段： –