状态流 43篇文献引用(1989–2023) 软件作者： 数学工程公司。 相关软件： Simulink；Matlab；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
美国铝业公司 22篇文献引用(2000–2023) 软件作者： Jackson，D。；谢赫特，I。；我·什利亚克特。 相关软件： 合金；自旋蛋白；箔条… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
伙计 26篇文献引用(1999–2023) 软件作者： 乔恩·林德·尼尔森 相关软件： CUDD；西尔文；PolyBoRi… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）…
VAMPIR（真空泵） 17篇文献引用(2000–2023) 软件作者： 内格尔，W。；阿诺德，A。；韦伯，M。；霍普，H。；Solchenbach，K。 相关软件： PARAVER公司；跳投；NAS并行基准… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
解除束缚 12份文件引用(2011–2023) 软件作者： 吕迪格·埃勒斯 相关软件： 相思树+；条纹；BoSy… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FLEUR公司 9份文件引用（2012年至2020年） 软件作者： Forschungszentrum朱利希 相关软件： WIEN2k；ScaLAPACK；LAPACK… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；量子理论（81-XX）…
辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
消防员 5份文件引用(2009–2018) 软件作者： 袁，L。；Mai，J。；苏，Z。；陈，H。；Chuah，C.N。；莫哈帕特拉，P。 相关软件： 马尔格雷夫；菲尔马托；HOL测试生成… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者： 莫妮卡·海纳；马丁·施瓦克；阿列克谢·托夫奇格里奇科 相关软件： 窥探；COPASI；MoVisPP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
缓存BDD 3份文件引用(2015–2021) 软件作者： 吕冠峰、苏凯乐、徐燕燕 相关软件： CUDD；github；HasCacBDD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
卢西弗 4份文件引用(2010–2022) 软件作者： 斯特凡·迪特迈尔（Stefan Dittmaier）、马库斯·罗斯（Markus Roth） 相关软件： FormCalc；FeynArts；表格… 主要字段： 数值分析（65-XX）；量子理论（81-XX）
aGrUM公司 2份文件引用(2021) 软件作者： 克里斯托夫·冈萨雷斯（Christophe Gonzales）、莱昂内尔·托蒂（Lionel Torti）、皮埃尔·亨里·乌伊勒明（Pierre-Herri Wuillemin） 相关软件： 格林戈；卡环；Clingo… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
鳄鱼 2份文件引用(2011–2021) 软件作者： Colange，M。；Baarir，S。；Kordon，F。；蒂里·米格（Thierry-Mieg，Y.）。 相关软件： 海伦娜；AlPiNA；GreatSPN公司 主要字段： 计算机科学（68-XX）
QC查看器 3份文件引用(2015–2017) 软件作者： 量子计算研究所；M.伯恩斯。 相关软件： SyReC；RMDDS；版次：… 主要字段： 数论（11-XX）；计算机科学（68-XX）；量子理论（81-XX）…
BALM-II型 2份文件引用(2015–2020) 软件作者： 卡斯蒂蒂内蒂，G.，皮科洛，M.，维拉，T。 相关软件： 多发性硬化 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CD2合金 1份文件引用（2018年） 软件作者： 沙哈尔·毛兹；简·奥利弗·林格特（Jan Oliver Ringert）；伯恩哈德·伦普 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
cddiff（cddiff） 1份文件引用（2018年） 软件作者： 沙哈尔·毛兹；简·奥利弗·林格特（Jan Oliver Ringert）；伯恩哈德·伦普 相关软件： MiniSat；WhyLine；Kodkod… 主要字段： 计算机科学（68-XX）
DECSIM公司 2份文件引用(2001–2017) 软件作者： 劳伦斯，N。；Kortekaas，H.Y.P。 相关软件： —— 主要字段： 统计学（62-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
谐波平衡.jl 1份文件引用(2024) 软件作者： 扬·科萨塔、哈维尔·德尔·皮诺、托尼·L·黑格尔、奥德·齐尔伯格 相关软件： 朱莉娅；NLvib；混合细分.jl… 主要字段： 交换代数（13-XX）；代数几何（14-XX）
MR4UM公司 2份文件引用(2013–2019) 软件作者： 陈景舒；桑迪普·库尔卡尼 相关软件： Uppaal；维尔塔夫；Sycraft… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
迪兹克斯 1份文件引用(2023) 软件作者： 波奥尔，博尔迪扎尔；罗伯特一世·布斯。；Carette，Titouan；约翰·范德韦特林（John van de Wetering）；是的，Lia 相关软件： PyZX；蟒蛇 主要字段： 量子理论（81-XX）
纸莎草纸-RT 1份文件引用(2022) 软件作者： 萨胡、斯内哈；鲁思·肖尔（Ruth Schorr）；Medina-Bulo、Inmaculada；马蒂亚斯·瓦格纳 相关软件： 姆约利尼尔；OCRA；NuSMV… 主要字段： 计算机科学（68-XX）