违约 32篇文献引用(2011–2022) 软件作者： 亚历山大·顿泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
MCGP公司 12份文件引用(2008–2021) 软件作者： Gal Katz；多龙·贝利德 相关软件： 棱镜；LTL2BA；旋转… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
沃尔夫拉姆 在16份文件中引用(2010–2022) 软件作者： 安德烈·苏尔弗洛 相关软件： R；Yices；KLEE… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
RoVerGeNe公司 13份文件引用(2007–2019) 软件作者： 格雷戈里·巴特；凯琳·贝尔塔 相关软件： RAMAS；生物CHAM；迪文尼… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
RATSY公司 10篇文献引用(2012–2022) 软件作者： 罗德里克·布隆姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治·霍夫雷克、罗伯特·科尼霍费尔、马可·罗弗瑞、维克托·舒潘、理查德·西伯 相关软件： NuSMV；JTLV；数学SAT… 主要字段： 数学逻辑与基础（03-XX）；测量和集成（28-XX）；计算机科学（68-XX）…
物理SIC 8份文件引用(2009–2022) 软件作者： 文森特·兰维兹（Vincent Ranwez）；文森特·贝里；亚历克西斯·克里斯库洛（Alexis Criscuolo）；皮埃尔·亨里·法布雷；西尔万·吉列莫特；赛琳·斯科纳瓦卡；伊曼纽尔·杜泽里（Emmanuel J.P.Douzery） 相关软件： Rec-I-DCM3；RAxML；SuperTriplets… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；数值分析（65-XX）…
海康普 6篇文献引用(2017–2022) 软件作者： A.Cimatti、A.Griggio、S.Mover、S.Tonetta 相关软件： nuXmv；CTIGAR；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
nn控制器 4份文件引用(2020–2021) 软件作者： 赵恒军；曾、夏；陈、陶璐；刘志明；吉姆·伍德科克 相关软件： Reluplex；夏洛克；ReachNN… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
QuteRTL公司 1份文件引用(2012) 软件作者： Yeh，Hu-Hsi；吴成寅；黄忠阳（Ric） 相关软件： 金刚狼；FShell；HSF… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
COMBIgor公司 在0个文档中引用 软件作者： Kevin R.Talley、Sage R.Bauers、Celeste L.Melamed、Meagan C.Papac、Karen Heinselman、Imran Khan、Dennice M.Roberts、Valerie Jacobson、Allison Mis、Geoff L.Brennecka、John D.Perkins、Andriy Zakutayev 相关软件： IGOR专业 主要字段： –