VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
BILUTM公司 40篇文献引用(1999–2021) 软件作者： 优素福·萨阿德；张军 相关软件： BILUM公司；伊卢姆；手臂… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
芝诺牌手表 14篇文献引用(2012–2022) 软件作者： William Sonnex；索菲亚·德罗索波卢；苏珊·艾森巴赫 相关软件： HipSpec；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
温格斯基勋爵 在13份文件中引用（1998年至2021年） 软件作者： 黄思嘉；蔡、李 相关软件： flexMIRT；贝叶斯DA；PROsetta… 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
IsaFoR公司 4份文件引用(2011–2016) 软件作者： 亚历山大·克劳斯；斯特纳格尔，克里斯蒂安；雷内·蒂曼；福斯，卡斯滕；吉尔根·吉斯尔 相关软件： Isabelle/HOL；CeTA；CoLoR… 主要字段： 计算机科学（68-XX）
纳罗米 6篇文献引用(2014–2019) 软件作者： 张，X。；刘凯。；Liu，Z.P。；杜瓦尔，B。；Richer，J.M。；赵晓明。；Hao，J.K。；陈，L。 相关软件： BENEDICT公司；TETRAD公司；pcalg… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
繁荣 在0个文档中引用 软件作者： Gerard Basler；马修·黑格；Daniel Kroening；Ong，C.H.卢克；托马斯·沃尔（Thomas Wahl）；赵浩贤 相关软件： SatAbs公司 主要字段： –
果园生成器 1份文件引用(2024) 软件作者： 加布里埃尔·卡多纳；杰勒德·里巴斯（Gerard Ribas）；琼·卡尔斯·彭斯 相关软件： github；Phylo网络 主要字段： 生物学和其他自然科学（92-XX）
RecInt公司 1份文件引用(2016) 软件作者： 亚历克西斯·布鲁斯特（Alexis Breust）；克里斯托夫·查博特；Jean-Guillaume杜马；劳伦特·福斯（Laurent Fousse）；帕斯卡·乔治 相关软件： GAUT；mpFq；LinBox… 主要字段： 数值分析（65-XX）