Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
菲亚特 17篇文献引用(2015–2022) 软件作者： Delaware，B.，Claudel，C.P.，Gross，J.，Chlipala，A。 相关软件： Coq；Isabelle/HOL；证书（C）… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
ModelPlex公司 10篇文献引用(2016–2024) 软件作者： Mitsch，S.、Platzer，A。 相关软件： 凯伊迈拉X；凯伊迈拉；dReach… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
RATSY公司 10篇文献引用(2012–2022) 软件作者： 罗德里克·布隆姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治·霍夫雷克、罗伯特·科尼霍费尔、马可·罗弗瑞、维克托·舒潘、理查德·西伯 相关软件： NuSMV；JTLV；数学SAT… 主要字段： 数学逻辑与基础（03-XX）；测量和集成（28-XX）；计算机科学（68-XX）…
朱莉 8份文件引用(2009–2021) 软件作者： Lanese，伊万；蒙泰西（Fabrizio Montesi）；吉安路易吉·扎瓦塔罗 相关软件： 奶牛；SWORD；兽人… 主要字段： 计算机科学（68-XX）
AMYTISS公司 8份文件引用(2020–2023) 软件作者： 拉瓦伊（Lavaei），阿波法兹尔（Abolfazl）；哈立德，马哈茂德；萨代赫·苏贾尼；马吉德·扎马尼 相关软件： FAUST2；SReachTools；ProbReach… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
AoPA公司 8份文件引用（2009年至2017年） 软件作者： Mu，Shin-Cheng；Ko、Xiang-Shang；帕特里克·詹森 相关软件： 阿格达；Coq；Idris… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
焦点测试 6篇文献引用(2011–2018) 软件作者： 卡利埃、马蒂厄；凯瑟琳·杜布瓦（Catherine Dubois）；阿尔诺·哥特利布 相关软件： 快速检查；Coq；SmallCheck… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
贾维尔 1份文件引用(2009) 软件作者： I.阿萨亚德；V.伯廷；F.-X.违约；Gerner博士；O.Quévreux；S.约文 相关软件： 大都市；StreamIt（流媒体） 主要字段： 计算机科学（68-XX）
深海 1份文件引用(2021) 软件作者： Sjöberg，V.、Sang，Y.、Weng，S.c.、Shao，Z。 相关软件： solc-verify；版本X 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
OpenMETA公司 在0个文档中引用 软件作者： 贾诺斯·什蒂帕诺维茨（Janos Sztipanovits）；泰德·巴普蒂；尼玛、桑迪普；霍华德，拉里；伊桑·杰克逊 相关软件： OpenModelica；z3（零3） 主要字段： 计算机科学（68-XX）
感觉 1份文件引用(2019) 软件作者： M.Khaled、M.Rungger、M.Zamani 相关软件： BDD2机具；p面；ROCS… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）