CGAL公司 423份文件引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；喀拉喀托；z3… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
扣环 104篇文献引用(2007–2022) 软件作者： 马丁·格布瑟（Martin Gebser）、本杰明·考夫曼（Benjamin Kaufmann）、安德烈·诺依曼（AndréNeumann）、托尔斯滕·绍布（Torsten Schaub） 相关软件： 格林戈；克林戈；WASP… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
重新查看 106篇文献引用(1991–2023) 软件作者： 鲁道夫·伯哈默（Rudolf Berghammer）；施密特，冈瑟；温特，迈克尔 相关软件： Isabelle/HOL；证明人9；Rath… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
贝博普 引用于71份文件(2000–2022) 软件作者： 托马斯·鲍尔（Thomas Ball，Sriram K.Rajamani） 相关软件： 自旋蛋白；班德拉；SLAM… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
科拉特 24篇文献引用(2001–2022) 软件作者： Chandrasekhar Boyapati；萨尔夫拉兹·库希德（Sarfraz Khurshid）；达科·马里诺夫 相关软件： Symstra公司；TestEra；Java PathFinder… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
垫片 30篇文献引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
LPL软件 20篇文献引用(2000–2023) 软件作者： Dave Barker-Plummer、Jon Barwise、John Etchemendy；Albert Liu、Michael Murray、Emma Pease 相关软件： EPGY；减少；OTTER… 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
沃尔夫拉姆 16篇文献引用(2010–2022) 软件作者： 安德烈·苏尔弗洛 相关软件： R；Yices；KLEE… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
lp2正常 8份文件引用(2014–2023) 软件作者： 乔里·博曼森 相关软件： 克林戈；WASP；ASSAT… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
dCAQE公司 6篇文献引用(2019–2022) 软件作者： Tentrup，Leander；马库斯·拉贝。 相关软件： HQPre；iProver；CAQE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
PRECiSA公司 6篇文献引用(2018–2022) 软件作者： 劳拉·蒂托洛；马可·A·费利乌。；玛丽亚诺·莫斯卡托；塞萨尔·穆尼奥斯。 相关软件： RangeLab；z3；ASTREE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
TravMC2（移动MC2） 5份文件引用(2016–2020) 软件作者： Robin P.Neatherway，C.-H.Luke Ong 相关软件： ByMC；github；MoCHi… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FOOL（足球） 4份文件引用(2015–2021) 软件作者： 科特利尼科夫（Kotelnikov），叶夫根尼（Evgenii）；劳拉·科夫亚茨（Laura Kov'acs）；安德烈·沃伦科夫 相关软件： TPTP；大锤；SMT-LIB… 主要字段： 计算机科学（68-XX）
单子 3份文件引用(2014–2021) 软件作者： 亚历山大·凯撒；Daniel Kroening；托马斯·沃尔 相关软件： ACL2；veriSoft；SAS… 主要字段： 计算机科学（68-XX）
SPLLIFT公司 3份文件引用(2016–2023) 软件作者： 博登，E。；Mezini，M。；布拉布兰德，C。；托利多，T。；里贝罗，M。；波巴，P。 相关软件： github；FlowDroid；烟尘… 主要字段： 计算机科学（68-XX）
SymmPa公司 3份文件引用(2012–2017) 软件作者： 阿拉斯泰尔·唐纳森。；亚历山大·凯撒；Daniel Kroening；Michael Tautschnig；托马斯·沃尔 相关软件： 螺纹工；魔法；ASTREE… 主要字段： 计算机科学（68-XX）
繁荣 在0个文档中引用 软件作者： Gerard Basler；马修·黑格；Daniel Kroening；Ong，C.H.卢克；托马斯·沃尔（Thomas Wahl）；赵浩贤 相关软件： 卫星抗体 主要字段： ——
EzPC公司 2份文件引用(2020–2022) 软件作者： Chandran，N.、Gupta，D.、Rastogi，A.、Sharma，R.、Tripathi，S 相关软件： ABY；n图-HE；瞪羚… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
朱莉娅 2份文件引用(2013–2015) 软件作者： 福斯托·斯波托 相关软件： FunArray；Julia静态分析仪；ASTREE公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
第2b页 2份文件引用(2001–2010) 软件作者： 迈克尔·巴尔达穆斯（Michael Baldamus）；Jochen的Schr“oder-Babo 相关软件： 普罗米拉；自旋蛋白；ML… 主要字段： 计算机科学（68-XX）
THORS公司 1份文件引用(2012) 软件作者： Lester，M.M.，Neatherway，R.P.，Ong，C.-H.L.，Ramsay，S.J。 相关软件： TRecS；特征CFA 主要字段： 计算机科学（68-XX）