马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明器；VAMPIRE公司；Mizar… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
MPTP 0.2 55份文件引用（2006年至2021年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GEX公司 34份文件引用(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数学逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
MizarMode（米扎尔模式） 18篇文献引用（2006年至2019年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
千对数 6篇文献引用(2014–2022) 软件作者： 保罗·弗雷斯科尼；法布里齐奥·科斯塔；Luc De Raedt；库尔特·德·格雷夫 相关软件： ProbLog；PyTorch；Aleph… 主要字段： 统计学（62-XX）；计算机科学（68-XX）