模拟67 131篇文献引用(1963–2021) 软件作者： O.J.达尔。；Nygaard，K。 相关软件： 埃菲尔；ALGOL 68；Smalltalk… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；数值分析（65-XX）…
管道 28篇文献引用(2002–2017) 软件作者： 萨加尔·查基；Rajamani，Sriram K。；雅各布·雷霍夫 相关软件： SLMC；旋风；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
甲酚 25篇文献引用（2006年至2022年） 软件作者： 约翰森（Einar Broch Johnsen）；Owe、Olaf；Yu，Ingrid Chieh女士 相关软件： 轻量级Java；ABCL；莫德… 主要字段： 计算机科学（68-XX）
PolyTOIL公司 19份文件引用(1997–2014) 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；埃菲尔；测试版… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
塑料 18篇文献引用(2000–2023) 软件作者： 保罗·卡拉汉 相关软件： 乐高；Coq；ALF… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
伦敦商学院 在16份文件中引用(2010–2022) 软件作者： 迈克尔·佩德森（Michael Pedersen）；戈登·普洛金（Gordon D.Plotkin）。 相关软件： 生物-PEPA；BioNetGen公司；生物活性炭… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ACUOS2号机组 在13份文件中引用(2014–2022) 软件作者： 阿尔普恩特，玛丽亚；黛米斯·巴利斯；安吉尔·昆卡-奥尔特加；圣地亚哥埃斯科瓦尔；何塞·梅塞盖尔 相关软件： 莫德；莫德-NPA；塔马林… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；计算机科学（68-XX）
符号 在13份文件中引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
贾斯 5份文件引用(2005–2009) 软件作者： Bartetzko，医学博士，Fischer，C.，Wehrheim，H。 相关软件： JML；埃菲尔；规范#… 主要字段： 计算机科学（68-XX）
修补程序类型 5份文件引用(2003–2010) 软件作者： Michael Y.莱文。；本杰明·皮尔斯。 相关软件： 毫升；OCaml；Ott… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MOMI公司 4份文件引用(2005–2008) 软件作者： 洛伦佐·贝蒂尼；贝蒂·文内里（Betti Venneri）；维维亚娜·博诺 相关软件： 琳达；克拉姆；克拉瓦 主要字段： 计算机科学（68-XX）
对象货币 3份文件引用(1994–2013) 软件作者： 迈克尔·哈努斯（Michael Hanus）；Frank Huch；菲利普·尼德劳 相关软件： 奥兹；巴贝尔；PAKCS… 主要字段： 计算机科学（68-XX）
最大允许偏差 2份文件引用(2020–2021) 软件作者： Serra，A.，Fratello，M.，Fortino，V.，Raiconi，G.，Tagliaferri，R.，Greco，D。 相关软件： GISTIC2.0；fclust；JIVE… 主要字段： 统计学（62-XX）
日内瓦 1份文件引用(2017) 软件作者： Gendoo，Deena M.A。；纳查尔Ratanasirigulchai；马库斯·施罗德。；莱亚·帕雷；Joel S.Parker。；阿列克斯·普拉特（Aleix Prat）；本杰明·海贝·凯恩斯 相关软件： R（右） 主要字段： 统计学（62-XX）
HACT-网络 在0个文档中引用 软件作者： 普什帕克·帕蒂、纪尧姆·杰姆、劳伦·阿利沙·费尔南德斯、安东尼奥·丰库伯塔、弗洛琳达·费罗西、安娜·玛丽亚·安尼西耶罗、乔苏·斯科格纳米利奥、纳迪亚·布兰卡蒂、丹尼尔·里奇奥、毛里齐奥·多·博尼托、朱塞佩·德皮特罗、杰拉尔多·博蒂、奥昆·戈克塞尔、珍妮·菲利佩·蒂兰、玛丽亚·弗鲁奇、玛丽亚·阿加巴尼 相关软件： 潘努克；HoVer-Net；Grad-CAM… 主要字段： –
病原体融合 1份文件引用(2021) 软件作者： Richard J.Chen、Ming Y.Lu、Jingwen Wang、Drew F.K.Williamson、Scott J.Rodig、Neal I.Lindeman、Faisal Mahmood 相关软件： 显微镜；pyjive；GitHub… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
pySuStaIn公司 在0个文档中引用 软件作者： Leon M.Aksman、Peter A.Wijeratne、Neil P.Oxtoby、Arman Eshaghi、Cameron Shand、Andre Altmann、Daniel C.Alexander、Alexandra L.Young 相关软件： 蟒蛇 主要字段： –
SneakerNet运动鞋 在0个文档中引用 软件作者： Taylor Griswold；柯蒂斯·卡普萨克；Jessica C.Chen；亨克·C·登·巴克；格兰特·威廉姆斯；艾莉莎·凯利；Eshaw Vidyaprakash；李·卡茨 相关软件： PERL；Nullarbor；ASA3P… 主要字段： –
舞台网 在0个文档中引用 软件作者： Junyi Gao、Cao Xiao、Yasha Wang、Wen Tang、Lucas M.Glass、Jimeng Sun 相关软件： 健康护理；XGBoost；Python… 主要字段： –