克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
信号 51份文件中引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马里乌斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
MoDeST公司 33篇文献引用（2001年至2022年） 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal；高科技… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
odmd（odmd） 19份文件引用(2018–2023) 软件作者： H.Zhang；C.W.罗利 相关软件： github；PRMLT；PyDMD… 主要字段： 动力系统与遍历理论（37-XX）；算子理论（47-XX）；数值分析（65-XX）…
NetLogger（网络记录器） 10篇文献引用(2001–2012) 软件作者： Gunter，D.、Tierney，B.、Crowley，B.、Holding，M.、Lee，J。 相关软件： 交叉网格；Java CoG工具包；ASP。NET… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
苏打水 1份文件引用（2014年） 软件作者： 乔尔·沃尔夫；尼基尔·班萨尔（Nikhil Bansal）；Kirsten Hildrum；苏杰·帕雷赫（Sujay Parekh）；迪帕克·拉詹（Deepak Rajan）；罗希特·瓦格尔；吴坤龙；丽莎·弗莱舍 相关软件： 电报CQ；BRITE；霸王龙… 主要字段： 计算机科学（68-XX）
pycombina 4份文件引用(2021–2023) 软件作者： Bürger，A.，Zeile，C.，Hahn，M.，Altmann-Dieses，A.，Sager，S.，Diehl，M。 相关软件： 卡萨迪；Ipopt公司；HSL… 主要字段： 变分法与最优控制；优化（49-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
VisAD公司 3份文件引用(2002–2005) 软件作者： William Hibbard、Curtis Rueden、Steve Emmerson、Tom Rink、David Glowacki、Tom Whittaker、Don Murray、David Fulker、John Anderson 相关软件： 林帕克；PETSc；交易.ii… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
POOSL公司 3份文件引用(2003–2022) 软件作者： Theelen，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；酯类… 主要字段： 计算机科学（68-XX）
LSTF公司 2份文件引用(1997–2018) 软件作者： 程伯超；亚历山大·斯托延科（Alexander D.Stoyenko）。；托马斯·马洛。；桑乔伊·K·巴鲁阿。 相关软件： 禁忌搜索 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
NeuroSLAM公司 2份文件引用(2019–2020) 软件作者： 于芳文；尚、江亚；胡友健；米尔福德 相关软件： SeqSLAM；ORB-SLAM2；ORB-SLAM… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
REMM公司 2份文件引用(2008–2021) 软件作者： 弗朗西斯科·莫斯卡托；Venticinque，萨尔瓦多；阿弗莎、罗科；贝尼亚米·迪·马蒂诺 相关软件： 罗丹；贾德克斯 主要字段： 计算机科学（68-XX）
AdaLED（自适应发光二极管） 1份文件引用(2023) 软件作者： 伊维卡·基奇；Vlachas，Pantelis R。；乔治·阿兰帕齐斯（Georgios Arampatzis）；米歇尔·查兹马诺拉基斯（Michail Chatzimanolakis）；吉巴斯、列奥尼达斯；彼得罗·库穆塔科斯 相关软件： github；odmd；OctNet… 主要字段： 流体力学（76-XX）；统计力学，物质结构（82-XX）
汽车 1份文件引用(2017) 软件作者： L.T.X.Phan、J.Lee、A.Easwaran、V.Ramaswamy、S.Chen、I.Lee和O.Sokolsky 相关软件： VERSA公司；Uppaal公司 主要字段： 计算机科学（68-XX）
哈尔 1份文件引用(2021) 软件作者： R.R.Bravo、E.Baratchart、J.West、R.O.Schenck、A.Miller、J.Gallaher、C.D.Gatenbee、D.Basanta、M.Robertson-Tessi、A.R.A.Anderson 相关软件： – 主要字段： 常微分方程（34-XX）；生物学和其他自然科学（92-XX）
LogLens公司 在0个文档中引用 软件作者： Debnath B.、Solaimani M.、Gulzar M.A.G.、Arora N.、Lumezanu C.、Xu J.、Zong B.、Zhang H.、Jiang G.、Khan L。 相关软件： 弹性搜索；NoDoze；AIQL… 主要字段： –
机器人API 1份文件引用(2015) 软件作者： 安德烈亚斯·安格勒、阿尔文·霍夫曼、安德烈亚·席尔、迈克尔·维斯坦、沃尔夫冈·雷夫 相关软件： KUKA机器人语言 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）