MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工大学；弗朗西斯科·博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
兔子 23篇文献引用(2001–2022) 软件作者： 德克·拜尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
MARTE公司 10篇文献引用(2009–2017) 软件作者： 对象管理集团。 相关软件： SysML；Uppaal；旋转… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
PVeStA公司 14篇文献引用(2011–2023) 软件作者： 阿尔图尔基，M.，梅塞格尔，J 相关软件： 莫德；PMaude；VESTA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
NetLogger（网络记录器） 10篇文献引用(2001–2012) 软件作者： Gunter，D.、Tierney，B.、Crowley，B.、Holding，M.、Lee，J。 相关软件： 交叉网格；Java CoG工具包；ASP。NET… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
弗兰 10篇文献引用(1997–2022) 软件作者： 柯纳尔，埃利奥特；保罗·哈达克 相关软件： 哈斯克尔；卢斯特；埃斯特雷尔… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；统计学（62-XX）…
RTC工具箱 在11份文件中引用(2008–2023) 软件作者： Wandeler E、Thiele L 相关软件： DISCO；NC-Maude；COINC… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）；运筹学，数学规划（90-XX）…
OpenFace（开放面） 5份文件引用(2018–2021) 软件作者： Amos，B.，Ludwiczuk，B.，Satyanarayanan，M。；T.Baltrušaitis、P.Robinson、L.P.Morency 相关软件： LFW；蟒蛇；FaceNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者： 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件： 奶牛；MoDeST；科莱姆… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
传感器模拟 2份文件引用(2003–2012) 软件作者： S.Park、A.Savvides、M.B.Srivastava 相关软件： Wiselib；ns-2；助推… 主要字段： 计算机科学（68-XX）
阿蒙 4份文件引用(2019–2022) 软件作者： Michael Kallitsis、Stilian Stoev、Shrijita Bhattacharya、George Michailidis 相关软件： 最小修订订单；astsa；远程终端设备 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
j金属Py 1份文件引用(2021) 软件作者： 贝尼特斯·希达尔戈，A。；AJ内布罗；加西亚·尼托，J。；奥雷基，I。；德尔塞尔，J。 相关软件： 蟒蛇；PlatEMO；DEAP… 主要字段： 运筹学、数学规划（90-XX）
卡伊曼 2份文件引用(2020–2022) 软件作者： Giovannucci，A.、Friedrich，J.、Gunn，P.、Kalfon，J.，Brown，B.L.、Koay，S.A.等人。 相关软件： 套房2p；SIMA；ImageBee… 主要字段： 生物学和其他自然科学（92-XX）
POOSL公司 3份文件引用(2003–2022) 软件作者： Theelen，B.D。；Voeten，J.P.M。；R.D.J.克莱默。 相关软件： 蟒蛇；TypeScript；埃斯特雷尔… 主要字段： 计算机科学（68-XX）
ITPN-全焊 1份文件引用(2021) 软件作者： 艾琳娜·帕西尼·诺莫维奇（Elina Pacini Naumovich）；Simona Bernardi；马可·格里鲍多 相关软件： —— 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
皮特·帕特 1份文件引用（2007年） 软件作者： 迈克尔·内奇巴（Michael C.Nechyba）；路易斯·白兰地；亨利·施奈德曼 相关软件： BraMBLe公司；阿达·布斯特。MH；校准 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）
自动诊断 1份文件引用(2022) 软件作者： 乌米特·德米尔巴加；文振宇；艾曼·努尔（Ayman Noor）；卡兰·米特拉（Karan Mitra）；哈立德·阿尔瓦塞尔；索拉巴·加格；阿尔伯特·Y·佐玛雅。；拉吉夫·兰扬 相关软件： DeepLog；PerfXplain；TensorFlow… 主要字段： 计算机科学（68-XX）
脑源性视觉 1份文件引用(2009) 软件作者： Jayram Moorkanikara Nageswaran；安德鲁·费尔奇（Andrew Felch）；阿肖克·钱德拉塞卡；Nikil Dutt；理查德·格兰杰（Richard Granger）；亚历克斯·尼古拉；亚历克斯·维登巴姆 相关软件： SIFT公司 主要字段： 计算机科学（68-XX）
HyPSim公司 1份文件引用(2016) 软件作者： 维托里奥·西波拉（Vittorio Cipolla）、法布里奇奥·奥利维埃罗（Fabrizio Oliviero） 相关软件： FreeFem++；Matlab；锥体… 主要字段： 总体主题；藏品（00-XX）；变分法与最优控制；优化（49-XX）；系统论；控制（93-XX）
LiveCap公司 1份文件引用(2022) 软件作者： 马克·哈伯曼（Marc Habermann）、徐伟鹏（Weipeng Xu）、迈克尔·佐尔霍弗（Michael Zollhoefer）、杰勒德·蓬斯·莫尔（Gerard Pons-Moll）、克里斯蒂安·西奥伯特（Christian Theobalt） 相关软件： 布里斯克；效率检测；面2面… 主要字段： 计算机科学（68-XX）
开放式电子标签 1份文件引用(2016) 软件作者： —— 相关软件： github；FOILGEN公司；JBLADE… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；系统论；控制（93-XX）
PROSIT公司 1份文件引用(2022) 软件作者： 弗里亚斯，B.V。；Palopoli，L。；阿贝尼，L。；Fontanelli，D。 相关软件： —— 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）