Ynot公司 34份文件引用(2008–2019) 软件作者： 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特（Greg Morrisett）；Avraham Shinnar；保罗·戈维罗（Paul Govereau）；拉尔斯·比克达尔 相关软件： Coq；Isabelle/HOL；哈斯克尔… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
效率 30篇文献引用(2013–2023) 软件作者： Bauer，Andrej先生；普雷特纳，马蒂亚 相关软件： 科卡；github；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；Hets… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
Mtac公司 引用于16份文件(2013–2021) 软件作者： Ziliani，贝塔；德里克·德雷尔（Derek Dreyer）；Krishnaswami，Neelakantan R。；阿列克桑达尔·纳内夫斯基；维克托·瓦菲亚迪斯 相关软件： Coq；阿格达；Idris… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
熔岩 11份文件引用(2002–2018) 软件作者： Bjesse，P.、Claessen，K.、Sheeran，M.、Singh，S。 相关软件： 哈斯克尔；muFP；Coquet… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Tate产品 4份文件引用(2015–2022) 软件作者： 戴维·艾森巴德（David Eisenbud）；Erman，D。；弗兰克·奥拉夫·施雷耶 相关软件： 麦考利2号；虚拟分辨率；线性截断… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环与代数（16-XX）
LLFp公司 4份文件引用(2016–2019) 软件作者： Furio Honsell；路易吉·利库里；皮塔·马克西莫维奇；伊万·斯卡格内托 相关软件： Coq；MMT；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
HybCore公司 1份文件引用(2020) 软件作者： 谢尔盖·冈查洛夫（Sergey Goncharov）；内维斯（Neves）、雷纳托（Renato）；何塞·普伦萨 相关软件： Modelica；OCaml；GHCi… 主要字段： 计算机科学（68-XX）
备忘录 1份文件引用(2018) 软件作者： Simon Wimmer、Shuwei Hu、Tobias Nipkow 相关软件： 验证此；Isabelle/HOL；Coq公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
单峰归一化 1份文件引用(2020) 软件作者： Joshua Schneider、Manuel Eberl、Andreas Lochbihler 相关软件： Isabelle/HOL；概率_素数_测试；密度编译器… 主要字段： 计算机科学（68-XX）