SLMC公司 75篇文献引用(2003–2023) 软件作者： 雨果·维埃拉；路易斯·凯雷斯 相关软件： 棱镜；管道；莫德… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
洛拉 26篇文献引用(2000–2021) 软件作者： 卡斯滕·施密特（Karsten Schmidt）；K·沃尔夫。 相关软件： 玛丽亚；Uppaal；BPEL2PN… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
常春藤 21篇文献引用(2017–2023) 软件作者： McMillan，K.L.，Padon，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
铁人舰队 16篇文献引用(2017–2023) 软件作者： Hawblitzel，C.公司。；豪厄尔，J。；卡普里特索斯，M。；Lorch，J.R。；巴诺，B。；罗伯茨，M.L。；塞蒂，S.T.V。；齐尔，B 相关软件： z3；达夫尼；常春藤… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
APNN工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·肯珀；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
中美合作所 10篇文献引用(2014–2021) 软件作者： 阿尔伯特·E.、阿雷纳斯·P.、弗洛雷斯·蒙托亚·A.、吉纳伊姆·S.、戈梅斯·扎马洛亚·M.、马丁·马汀·E.、普埃布拉·G.、罗曼·迪兹·G。 相关软件： 防抱死制动系统；JCobox；基利姆… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；阿列克谢·托夫奇格里奇科 相关软件： 清爽；COPASI；MoVisPP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
交易人员 6篇文献引用(2005–2018) 软件作者： 约翰·菲尔德（John Field）；卡洛斯·瓦雷拉。 相关软件： 埃尔朗；考德；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LySHA公司 4份文件引用(2012–2021) 软件作者： Duggirala，Parasara Sridhar；萨扬·密特拉 相关软件： 凯伊迈拉；凯伊迈拉X；流量*… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
CoSA公司 2份文件引用(2020–2022) 软件作者： Mattarei，C.、Mann，M.、Barrett，C.等人。 相关软件： 尤瑟斯；爱格；BtorMC… 主要字段： 计算机科学（68-XX）
暗黑破坏神 3份文件引用(2016–2019) 软件作者： 根特大学；乔纳斯·梅贝；比约恩·德·萨特 相关软件： CompCertS；COMPCERTSFI公司；岩盐… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
简单APL 3份文件引用(2006–2016) 软件作者： Alechina，N。；Dastani，M。；Khan，F。；洛根，B。；梅耶，J.-J.Ch。 相关软件： 2APL；AgentSpeak；杰森… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Zooid公司 3份文件引用(2021–2023) 软件作者： David Castro-Perez、Francisco Ferreira、Lorenzo Gheri、Nobuko Yoshida 相关软件： 皮罗埃特；卡拉斯；Coq… 主要字段： 计算机科学（68-XX）
ProGraML软件 在0个文档中引用 软件作者： Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 相关软件： 亚当；XLA；TensorFlow… 主要字段： –
THORS公司 1份文件引用(2012) 软件作者： Lester，M.M.，Neatherway，R.P.，Ong，C.-H.L.，Ramsay，S.J。 相关软件： TRecS；特征CFA 主要字段： 计算机科学（68-XX）