如果2.0 38篇文献引用（2002年至2022年） 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
FAdo公司 19份文件引用(2010–2023) 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 相关软件： 古伊塔；蟒蛇；Vaucanson… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
JFLAP公司 14篇文献引用（2002年-2023年） 软件作者： Rodger S、Finley T 相关软件： 自旋蛋白；GeoWin；FAUST… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
利巴夫 12份文件引用(2011–2022) 软件作者： Benedikt Bollig；Joost-Pieter Katoen；卡斯滕·克恩（Carsten Kern）；马丁·勒克；丹尼尔·奈德；大卫·R·皮格登 相关软件： LearnLib；西格玛*；COMICS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
GUItar公司 在11份文件中引用(2010–2023) 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 相关软件： FAdo；蟒蛇；Vaucanson… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Myhill-Nerode公司 12份文件引用(2011–2020) 软件作者： 吴春汉；张兴元；城市，基督教 相关软件： 辅酶q；存档正式证据；常规集… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
克莱恩代数 9份文件引用(2015–2022) 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
乔夫 1份文件引用(2019) 软件作者： 戈帕拉克里什南（Gopalakrishnan）、加内什·拉利塔（Ganesh Lalitha） 相关软件： 朱庇特；蟒蛇 主要字段： 计算机科学（68-XX）
SAGEMoLiC公司 1份文件引用(2002) 软件作者： 毛里西奥·阿亚拉·林科；达丰塞卡，Alexsandro F。；波贝尔（Haydée Werneck Poubel）；何塞·西奎拉 相关软件： Xaa公司 主要字段： 计算机科学（68-XX）