MizarMode（米扎尔模式） 18篇文献引用(2006–2019) 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Pcoq公司 6篇文献引用(2007–2023) 软件作者： 艾哈迈德·阿默卡德；伊夫·贝托特（Yves Bertot），洛伊克·波蒂埃（Loíc Pottier）；劳伦斯·里多 相关软件： Coq；MMP/Geometer；GEX… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
DR-预测 4份文件引用(2018–2019) 软件作者： 安东尼斯·比卡基斯；君士坦丁诺·帕帕西奥多罗；格里戈里斯·安东尼奥 相关软件： DELORES公司；吐温；法律规则ML… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）