MizarMode（米扎尔模式） 18篇文献引用（2006年至2019年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Mtac公司 16篇文献引用(2013–2021) 软件作者： Ziliani，贝塔；德里克·德雷尔（Derek Dreyer）；克里希纳斯瓦米，尼拉坎坦R。；阿列克桑达尔·纳内夫斯基；维克托·瓦菲阿迪斯 相关软件： 辅酶q；阿格达；Idris… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；博勒，布兰登；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数理逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
MoSeL公司 5份文件引用(2018–2023) 软件作者： Robbert Krebbers；雅克·亨利·乔丹（Jacques-Henri Jourdan）；Ralf Jung；约瑟夫·塔萨罗蒂；Kaiser，Jan-Oliver；阿明·蒂曼尼；亚瑟·查古埃罗（Arthur Charguéraud）；德雷克·德雷尔 相关软件： 辅酶q；蚱蜢；VeriFast… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）