自旋蛋白 619文件引用(1990–2023) 软件作者： 贝尔实验室 相关软件： NuSMV；Uppaal；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
天秤座 29篇文献引用(2019–2023) 软件作者： 谢天成；张家恒；张玉鹏；Papamanthou、Charalampos；宋，黎明 相关软件： 力比奥；斯巴达人；利盖罗… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
MCMAS-SLK公司 19份文件引用(2014–2021) 软件作者： 乔马克，P。；Lomuscio，A。；莫加维罗，F。；A.穆拉诺。 相关软件： MCMAS；摩卡；鹰… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
阿克拉 10篇文献引用(2005–2011) 软件作者： 乔瓦尼·佩祖洛；Gianguglielmo·卡尔维 相关软件： 古巴国防部；可可；戴恩… 主要字段： 总体主题；藏品（00-XX）；数论（11-XX）；场论与多项式（12-XX）…
时刻2 9份文件引用（2010年至2016年） 软件作者： 阿图尔·博罗纳特；彼得·塞巴·奥尔夫茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CFLP公司 5份文件引用(2001–2007) 软件作者： Marin，M.，Ida，T.，Schreiner，W。 相关软件： SICStus公司；Mathematica；抄送（FD）… 主要字段： 复变量函数（30-XX）；差分方程和函数方程（39-XX）；计算机科学（68-XX）
简洁 5份文件引用（2004年-2010年） 软件作者： 尼尔森，弗莱明；尼尔森、汉内·里斯；孙红燕；米凯尔·巴赫霍尔茨（Mikael Buchholtz）；Hansen，Rene Rydhof；亨利克·皮利加德（Henrik Pilegaard）；赫尔穆特·塞德尔 相关软件： 琳达；科莱姆；政治公众人物协议… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
TinyGarble公司 5份文件引用(2016–2023) 软件作者： Songhori，E.M.、Hussain，S.U.、Sadeghi，A.、Schneider，T.、Koushanfar，F。 相关软件： 美味的；JustGarble公司；ObliVM… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
塞尔夫 4份文件引用(2008–2023) 软件作者： 安德斯·沙克·奈尔森（Anders Schack-Nielsen）；卡斯滕·舒尔曼 相关软件： TALx86；洛利；混合型… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LDYIS公司 引用于3份文件(2008–2011) 软件作者： 阿莱西奥·洛穆西奥；沃伊切赫·彭泽克 相关软件： MCMAS-X；MCMAS；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
VCGen公司 2份文件引用(2015–2023) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： SANDLog；辅酶q；KeY… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SANDLog日志 1份文件引用(2015) 软件作者： 陈，陈；贾利民；徐浩；罗成；周文超；Loo，Boon Thau先生 相关软件： VCGen；辅酶q；RapidNet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
华夫莱斯先生 1份文件引用(2015) 软件作者： D.雷纳德。 相关软件： MCMAS-SLK；CTLSAT；鹰… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）