AEtnaNova公司 8份文件引用(2011–2018) 软件作者： Eugenio G.Omodeo、Domenico Cantone、Alberto Policriti、Jacob T.Schwartz 相关软件： 裁判；SETL；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；复变量函数（30-XX）…
裁判 7份文件引用(2013–2018) 软件作者： Eugenio G.Omodeo；多梅尼科·坎通纳；阿尔贝托·波利克里蒂；雅各布·T·施瓦茨 相关软件： AEtnaNova；刚毛；Mizar… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）