教堂 56篇文献引用(2008–2023) 软件作者： Goodman N.、Mansinghka V.K.、Roy D.、Bonawitz K.、Tenenbaum J.B。 相关软件： 博客；IBAL；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
POMDP公司 30篇文献引用（2001年-2023年） 软件作者： 安东尼·卡桑德拉。 相关软件： 棱镜；风暴；古罗比… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
质量控制中心 8份文件引用(2006–2016) 软件作者： Megretski AV；花王CY；琼森UT；兰泽A 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 系统论；对照（93-XX）
PyFrac公司 4份文件引用(2020–2023) 软件作者： 哈西卜·齐亚；Brice Lecampion公司 相关软件： 数字Py；SciPy；蟒蛇 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
单子 引用于3份文件(2014–2021) 软件作者： 亚历山大·凯撒；Daniel Kroening；托马斯·沃尔 相关软件： ACL2s；veriSoft；SAS… 主要字段： 计算机科学（68-XX）
安迪 1份文件引用(2018) 软件作者： Franck Delaplace、Cinzia Di Giusto、Jean-Louis Giavitto、Hanna Klaudel 相关软件： 查理；清爽；蛇 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
jMarkov公司 1份文件引用(2017) 软件作者： 胡安·佩雷斯（Juan F.Pérez）；丹尼尔·席尔瓦（Daniel F.Silva）；朱利奥·哥伊斯（Julio C.Góez）；安德烈斯·萨米恩托；安德烈斯·萨米恩托·罗梅罗；Raha Akhavan-Tabatabaei；热尔曼·里阿尼奥 相关软件： MARCA；HyperStar；J阶段… 主要字段： 概率论与随机过程（60-XX）；运筹学、数学规划（90-XX）
KQED公司 1份文件引用（2023年） 软件作者： 阿斯穆森，尼尔斯；赵恩洪；杰拉丁，安托万；杰里米·格林（Jeremy R.Green）。；Renwick J.Hudspith。；哈维·梅耶（Harvey B.Meyer）。；安德烈亚斯·尼费勒 相关软件： github；DLMF；立方体 主要字段： 量子理论（81-XX）