人力资源 引用于27份文件（2002年至2022年） 软件作者： 西蒙·科尔顿 相关软件： 涂鸦；水獭；梅斯4… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
地下的 8份文件引用(2020–2023) 软件作者： Joan Daeman、Pedro Maat Costa Massolino、Yann Rotella、Dobraunig、C.、Eichlseder、M.、Mendal、F.、Schäffer、M 相关软件： 凯卡克；SPECK；XooTools… 主要字段： 数论（11-XX）；交换代数（13-XX）；统计学（62-XX）…
TrioCFD公司 6篇文献引用(2017–2023) 软件作者： 安吉丽，体育。；Puscas，医学硕士。；Fauchet，G。；Cartalade，A.卡塔拉德。 相关软件： Gmsh；GitHub；PolyMAC… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
棒棒糖 5份文件引用（2010年至2016年） 软件作者： Karl Mazurak；史蒂夫·兹丹塞维奇 相关软件： VeriML；雷卡姆；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
高斯-若尔当消元法 4份文件引用(2014–2017) 软件作者： 何塞·迪瓦森；杰苏斯·阿兰塞 相关软件： 伊莎贝尔；Isabelle/HOL；开普勒98… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
SIMAGE公司 1份文件引用(2009) 软件作者： Albers，C.J。；Jansen，R.C。；Kok，J。；Kuipers，O.P。；Van Hijum，S。 相关软件： 生物导体；gcrma；BABAR… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
蒙哥 3份文件引用(2018–2020) 软件作者： 迪米特里奥斯·库扎帕斯；奥尔内拉·达达；罗利·佩雷拉；西蒙·盖伊。 相关软件： session-ocaml；睫毛；z3（零3） 主要字段： 计算机科学（68-XX）
session-ocaml会议 3份文件引用(2018–2023) 软件作者： Imai，Keigo；吉田、Nobuko；元朗，昭治 相关软件： 莫德；蒙哥；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Zooid公司 3份文件引用(2021–2023) 软件作者： David Castro-Perez、Francisco Ferreira、Lorenzo Gheri、Nobuko Yoshida 相关软件： 皮罗埃特；卡拉斯；Coq… 主要字段： 计算机科学（68-XX）
乏味的 在0个文档中引用 软件作者： 德克·埃德布特尔、卡尔·波提格、塞巴斯蒂安·吉布、科林·吉莱斯皮、扬·戈雷基、马特·琼斯、托马斯·利珀、史蒂文·帕夫、扬·舒尔茨 相关软件： R；詹金斯；纸箱… 主要字段： –
金融情报局 在0个文档中引用 软件作者： Netti，A.、Kiziltan，Z.、Babaoglu，O.、Sîrbu，A.、Bartolini，A.、Borghsi，A 相关软件： 命运；FlipIt；失败前… 主要字段： –