Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
为什么ML 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
WhyMP公司 2份文件引用(2020–2023) 软件作者： 梅尔金德（Melquiond）、纪尧姆（Guillaume）；拉斐尔·里乌·赫尔夫特 相关软件： Why3；HACL*；gmp… 主要字段： 计算机科学（68-XX）