伊莎贝尔/采埃孚 70篇文献引用(1993–2023) 软件作者： 劳伦斯·保尔森 相关软件： 伊莎贝尔；Coq；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
CoALP公司 25篇文献引用(2011–2023) 软件作者： 叶卡捷琳娜·科门丹茨卡亚；权力，约翰；施密特，马丁 相关软件： CoCaml公司；coFJ；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
取消QL 10篇文献引用（2006年至2018年） 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
TravMC2（移动MC2） 5份文件引用(2016–2020) 软件作者： Robin P.Neatherway，C.-H.Luke Ong 相关软件： ByMC；github；MoCHi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
摘要完整性 4份文件引用(2014–2018) 软件作者： 贾斯敏·克里斯蒂安·布兰切特；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；存档正式证据；FOL配件… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SiFit公司 2份文件引用(2022–2023) 软件作者： 哈米姆·扎法尔（Hamim Zafar）、安东尼·泽恩（Anthony Tzen）、尼古拉斯·纳文（Nicholas Navin）、肯·陈（Ken Chen）、卢亚·纳赫勒（Luay Nakhleh） 相关软件： 猩红；叶洛伐尔；莫特恩… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GBDD公司 1份文件引用（2008年） 软件作者： M.尼尔森 相关软件： 库雷；Z；MCK… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…