FRIL公司 38篇文献引用（1987年至2022年） 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG；XPath… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
LPL软件 引用于20份文件(2000–2023) 软件作者： 戴夫·巴克尔-普卢默、乔恩·巴维斯、约翰·埃切曼迪；Albert Liu、Michael Murray、Emma Pease 相关软件： EPGY；减少；OTTER… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
莱拉 9份文件引用(2002–2011) 软件作者： Ciampolini，安娜；伊芙琳娜·拉姆；梅洛，保拉；保罗·托罗尼 相关软件： KQML；Qu-Prolog；数据日志… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
重油催化裂化 8份文件引用(2007–2021) 软件作者： Pradipta马吉；桑卡尔·K·帕尔。 相关软件： UCI-ml；ElemStatLearn；打赌… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
遗传有限集 7份文件引用(2015–2020) 软件作者： 劳伦斯·保尔森 相关软件： 有限自动机HF；Coq；Myhill-Nerode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
DynaDup公司 3份文件引用(2017–2022) 软件作者： 马里兰州Bayzid。Shamsuzzoha；坦迪·沃诺 相关软件： github；ASTRID公司；巴基… 主要字段： 生物学和其他自然科学（92-XX）
天文测量.net 2份文件引用(2018–2020) 软件作者： 朗，达斯汀；大卫·W·霍格（David W.Hogg）。；基尔·米尔勒（Keir Mierle）；迈克尔·布兰顿（Michael Blanton）；萨姆·罗维斯 相关软件： SE萃取器 主要字段： 常微分方程（34-XX）；粒子和系统力学（70-XX）；天文学和天体物理学（85-XX）…
肉汁 1份文件引用(2020) 软件作者： Arlt，S.、Rubio-González，C.、Rümmer，P.、Schäf，M.、Shankar，N。 相关软件： Rust2Viper；蝰蛇；SMACK… 主要字段： 计算机科学（68-XX）
不完全性定理 2份文件引用(2015–2018) 软件作者： 劳伦斯·保尔森 相关软件： 归档正式校对；Isabelle/HOL；GitHub… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
meneco公司 1份文件引用(2019) 软件作者： Prigent，S.、Frioux，C.、Dittami，S.，Thiele，S.和Larhlimi，A.、Collet，G.、Gutknecht，F.、Got，J.和Eveillard，D.、Bourdon，J.、Plewniak，F.和Tonon，T.Siegel，A 相关软件： COBRA工具箱；快速间隙填充；COBRApy… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
软绑定（SoftBound） 1份文件引用(2020) 软件作者： Nagarakatte，S.、Zhao，J.、Martin，M.M.、Zdancewic，S 相关软件： Jinja线程；存档正式证据 主要字段： 计算机科学（68-XX）