阿罗·吉巴德-萨特韦特 8份文件引用(2009–2022) 软件作者： 托比亚斯·尼普科夫 相关软件： Isabelle/HOL；Coq；稳定匹配… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
社会选择理论 1份文件引用(2009) 软件作者： 彼得·甘米 相关软件： Isabelle/HOL；阿罗·吉巴德·萨特思韦特；存档正式证据 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）