TLAPS（TLAPS） 14篇文献引用(1999–2023) 软件作者： 拉波特 相关软件： 薄层色谱法；常春藤；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
ByMC公司 10篇文献引用(2014–2023) 软件作者： Igor Konnov、Marijana Lazic、Helmut Veith、Josef Widder 相关软件： z3；威尔第；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Sycraft公司 6篇文献引用(2009–2015) 软件作者： B.Bonakdarpour，S.Kulkarni 相关软件： CUDD；Uppaal；Vertaf… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
CheapBFT公司 1份文件引用（2020年） 软件作者： Rüdiger Kapiza、Johannes Behl、Christian Cachin、Tobias Distler、Simon Kuhnle、Seyed Vahid Mohammadi、Wolfgang Schröder 相关软件： MS SQL Server；阿帕奇·卡夫卡；MySQL… 主要字段： 计算机科学（68-XX）
PoWerStore公司 1份文件引用(2017) 软件作者： Dobre，D.，Karame，G.，Li，W.，Majuntke，M.，Suri，N.，Vukolic，M 相关软件： – 主要字段： 计算机科学（68-XX）