FiniteFlow有限流量 38篇文献引用(2020–2024) 软件作者： 蒂齐亚诺·佩拉罗 相关软件： LiteRed公司；雷杜泽；火灾… 主要字段： 几个复变量和分析空间（32-XX）；功能分析（46-XX）；数值分析（65-XX）…
GJ系列 26篇文献引用(1999–2022) 软件作者： 约翰·努南；多龙·泽尔伯格 相关软件： GJsqfree；GJSAW；SPGJ… 主要字段： 组合数学（05-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
圣杯 20篇文献引用(1994–2021) 软件作者： 达雷尔·雷蒙德；伍德，德里克 相关软件： 自动化；AMoRE；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
符号自动机 5份文件引用(2012–2017) 软件作者： 玛格斯·维纳斯（Margus Veanes）；尼古拉·比约纳 相关软件： 汉普；陌生人；GitHub… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
利米 4份文件引用(2015–2019) 软件作者： 乔恩，帕沃；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格（Thomas A.Henzinger）。；拉德哈克利什纳（Radhakrishna），阿琼（Arjun）；列奥尼德·雷日克；萨曼塔（Samanta）、鲁普沙（Roopsha）；托尔斯滕·塔拉赫 相关软件： 利斯；CBMC；SymDiff… 主要字段： 计算机科学（68-XX）
开启 2份文件引用(2018–2022) 软件作者： 戴维·文霍克；约书亚·莫尔曼（Joshua Moerman）；朱里安·罗特 相关软件： 路易斯；新鲜OCaml；NLambda… 主要字段： 计算机科学（68-XX）