魔法 39篇文献引用（2003年至2020年） 软件作者： 萨加尔·查基；埃德蒙·克拉克；Jha，萨默什；赫尔穆特·维思 相关软件： ComFoRT；班德拉；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
埃尔米特 26篇文献引用(2013–2023) 软件作者： 格利姆，伯尔特；伊恩·霍洛克斯（Ian Horrocks）；Boris Motik；乔戈斯·斯托洛斯（Giorgos Stoilos）；王哲；右采煤机。 相关软件： 颗粒；FaCT++；Konclude… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
射击类游戏 16篇文献引用(2002–2014) 软件作者： 邓肯·克拉克；蒂埃里·杰伦；弗拉德·鲁苏；埃琳娜·齐诺维耶娃 相关软件： CADP；TorX；网关… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
TorX公司 16篇文献引用(2005–2021) 软件作者： 亨利克·博恩坎普（Henrik Bohnenkamp）；埃克塞尔·贝林芬特 相关软件： JTorX；SpecExplorer；STG… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SpecExplorer（SpecExplorer） 14篇文献引用(2005–2018) 软件作者： 微软研究院 相关软件： N模型；Java PathFinder；TorX… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
EMan公司 15篇文献引用(2006–2023) 软件作者： 史蒂文·卢特克（Steven J.Ludtke）；菲利普·鲍德温（Philip R.Baldwin）；华秋 相关软件： 冷冻SPARC；关系；频率校准… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
KJS公司 9份文件引用(2015–2021) 软件作者： 格里戈·罗什u安德烈·特夫内斯库大峻公园 相关软件： K-Java；莫德；Coq… 主要字段： 数理逻辑与基础（03-XX）；通用代数系统（08-XX）；计算机科学（68-XX）
ASAP3公司 7份文件引用(2005–2022) 软件作者： Natalie M.Steiger。；艾米丽·拉达（Emily K.Lada）。；詹姆斯·威尔逊（James R.Wilson）。；杰弗里·乔伊斯（Jeffrey A.Joines）。；克里斯托斯·阿列克索普洛斯；大卫·戈德曼 相关软件： AS 181；MultiVeStA；皮尔洛… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
土拨鼠 5份文件引用(2008–2017) 软件作者： Krammer，B.，Bidmon，K.，Müller，M.S.，Resch，M.M。 相关软件： ISP；MPI-检查；TotalView… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
CoMA公司 2份文件引用(2016–2021) 软件作者： P Arcaini、A Gargantini、E Riccobene 相关软件： AsmetaSMV；NuSMV；ASMETA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ConQAT公司 2份文件引用(2009–2021) 软件作者： Deißenböck，F。；海涅曼，L。；Hummel，B。；尤尔根斯，E。 相关软件： 方面J；事实；Klocwork… 主要字段： 计算机科学（68-XX）
NAT2测试 4份文件引用(2016–2023) 软件作者： 卡瓦略G、巴罗斯F、卡瓦略A、卡瓦尔康蒂A、莫塔A、桑帕约A 相关软件： FDR3；Z；马戏团… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
SBML测试套件 1份文件引用(2015) 软件作者： Sarah Keating、Michael Hucka、Lucian P.Smith、Frank T.Bergmann、Bruce Shapiro、Thomas W.Evans、Colin S.Gillespie、Darren J.Wilkinson、Brett Olivier、Andrew Finney 相关软件： SBMLSim；sbtoolbox；Sostools… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TGV公司 3份文件引用(2005–2014) 软件作者： Jean-Claude Fernandez、Claude Jard、Thierry Jéron、Cesar Viho 相关软件： Z；杂烩；UML秒… 主要字段： 计算机科学（68-XX）
XE相同 2份文件引用(2018–2021) 软件作者： Verbeek HMW、Buijs JCAM、van Dongen BF、van der Aalst WMP 相关软件： 混合ILPMiner；RapidProM；ProM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
AALpy公司 1份文件引用(2021) 软件作者： 穆什卡丁，埃迪；Aichernig，Bernhard K。；药丸，印戈；安德烈亚·普费舍尔（Andrea Pferscher）；马丁·塔普勒 相关软件： 风暴；prob-black-reach；棱镜 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
Java通用作战图 在0个文档中引用 软件作者： Markstrum，S。；马里诺，D。；Esquivel，M。；Millstein，T。；安德烈，C。；J·诺布尔 相关软件： MJ；神谕；塞西尔… 主要字段： ——
VerChor公司 1份文件引用(2020) 软件作者： Matthias Güdemann、Pascal Poizat、Gwen Salaün、Lina Ye 相关软件： —— 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）