LAPACK公司 1759年文献引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；mctoolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Uppaal公司 568份文件引用(1990–2023) 软件作者： 瑞典乌普萨拉大学；丹麦奥尔堡大学 相关软件： 克罗诺斯；高科技；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
克洛诺斯 246篇文献引用(1997–2022) 软件作者： Conrado Daws、Alfredo Olivero、Stavros Tripakis、Sergio Yovine 相关软件： Uppaal；高科技；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MPT公司 255篇文献引用(2004–2023) 软件作者： M.Kvasnica；P.Grieder；M.Baoti；苏黎世联邦理工大学；弗朗西斯科·博雷利 相关软件： YALMIP；CPLEX；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
埃尔朗 112份文件引用（1993年-2023年） 软件作者： erlang.org网站 相关软件： 哈斯克尔；JCobox；快速检查… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
卢斯特 104篇文献引用(1992–2023) 软件作者： 卡斯皮，P。；Pilaud，D。；Halbwachs，N。；普拉斯，J.A。 相关软件： 酯类；信号；Simulink… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
应用程序 108篇文献引用（2002年-2023年） 软件作者： 罗伯托·巴格纳拉；利玛窦（Elisa Ricci）；扎法内拉，埃纳；帕特里夏·M·希尔。 相关软件： 高科技；停机坪；ASTREE… 主要字段： 数理逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
DistAl公司 77份文件引用(1999–2023) 软件作者： 杨继勋；拉杰什·帕雷克；瓦桑特·霍纳瓦尔 相关软件： UCI-ml；C4.5；基因组学… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
有长椅的 77份文件引用(2003–2024) 软件作者： 尤内斯·查拉乌伊（Younes Chahlaoui）；保罗·范·杜伦 相关软件： AAA；勒沃纳；RK工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；变分法与最优控制；优化（49-XX）…
信号 51篇文献引用(1987–2020) 软件作者： 诺瓦克，大卫；Jean-Pierre Talpin；蒂埃里·戈蒂埃；保罗·勒格尔尼克 相关软件： 卢斯特；酯类；托勒密… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
亚当斯 52篇文献引用(2005–2022) 软件作者： 美商麦格尼轩 相关软件： Matlab；ANSYS；纳斯特朗… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
操作系统质量保证 49篇文献引用(2018–2024) 软件作者： Bartolomeo Stellato、Goran Banjac、Paul Goulart、Alberto Bempoad、Stephen Boyd 相关软件： 古罗比；莫塞克；qpOASES… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
StFinMetrics公司 52篇文献引用(2003–2024) 软件作者： 埃里克·齐沃特（Eric Zivot）；王家辉 相关软件： R；预测；预测… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
GPDT公司 51篇文献引用(2005–2024) 软件作者： 卢卡·赞尼（Luca Zanni）；托马斯·塞拉菲尼（Thomas Serafini）；盖塔诺·赞吉拉特 相关软件： 对流_QP；SVM灯；UCI-ml… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
如果2.0 38篇文献引用（2002年至2022年） 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
MonoSLAM公司 32篇文献引用(2008–2022) 软件作者： A.J.Davison、I.D.Reid、N.D.Molton、O.Stasse 相关软件： SIFT；FastSLAM；冲浪… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
TrueTime（真实时间） 40篇文献引用（2005年至2021年） 软件作者： 安东·塞文、丹·亨里克森、博·林肯、约翰·埃克、卡尔·埃里克·奥泽恩 相关软件： Matlab；Simulink；Torsche… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-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、Pavel Krcál、Ulrik Larsen、Marius Mikucionis、Leonid Mokrushin 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
拍打 34份文件引用(2011–2022) 软件作者： 孙军、刘洋、董金松、庞军 相关软件： Uppaal；自旋蛋白；ProB… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
LAMG公司 39篇文献引用(2012–2024) 软件作者： 奥伦·利夫内（Oren E.Livne）。；阿奇·布兰特 相关软件： 稀疏矩阵；GitHub；BoomerAMG… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
MoDeST公司 33篇文献引用(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal；高科技… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克·韦贝克（Eric Verbeek）；范德阿尔斯特，Wil M.P。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
模仿者 34份文件引用(1996–2023) 软件作者： 埃蒂安·安德烈 相关软件： Uppaal；高科技；PPL… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
STeP公司 33篇文献引用(1997–2015) 软件作者： N.Björner、I.A.Browne、E.Chang、M.ColóN、A.Kapur、Z.Manna、H.B.Sipma、T.E.Uribe 相关软件： PVS；自旋蛋白；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
CMC公司 31份文件引用(2000–2020) 软件作者： 弗朗索瓦·拉鲁西尼；金·拉森 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
YOLO公司 17篇文献引用(2017–2023) 软件作者： 约瑟夫·雷德蒙（Joseph Redmon）；阿里·法哈迪 相关软件： 更快的R-CNN；ImageNet；SSD… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
混合工具箱 30篇文献引用(2004–2023) 软件作者： 贝姆帕德A。 相关软件： HYSDEL公司；MPT；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
时间 24篇文献引用（2002年至2022年） 软件作者： H.Carli、L.G.S.Duarte、L.A.C.P.da Mota 相关软件： Uppaal；LinMapTS；枫树… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；计算机科学（68-XX）…
背心 23篇文献引用（2001年至2016年） 软件作者： Stankovic A、Wang H、Humphrey M、Zhu R、Poornalingam R、Lu C 相关软件： 托勒密；CPLEX；Uppaal… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；功能分析（46-XX）；概率论与随机过程（60-XX）…
兔子 23篇文献引用(2001–2022) 软件作者： 德克·拜尔；Lewerentz，克劳斯；安德烈亚斯·诺亚克 相关软件： Uppaal；克罗诺斯；棱镜… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
群组工具包 2份文件引用(2003–2009) 软件作者： 罗斯曼M。；格林伯格S。 相关软件： 脱咖啡因咖啡；PlanEdit；科莱姆… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
悬崖数学 23篇文献引用(2012–2021) 软件作者： 雷内·斯科特；斯泰普斯（G.Stacey Staples） 相关软件： CliffOC；CliffSymNil；数学… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
IRKC公司 23篇文献引用(2006–2023) 软件作者： Shampine，L.F.公司。；Sommeijer，B.P.公司。；J.G.韦尔。 相关软件： RKC；罗德斯；投票… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
MARTE公司 10篇文献引用(2009–2017) 软件作者： 对象管理集团。 相关软件： SysML；Uppaal；旋转… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
MOCA公司 20篇文献引用（1994年-2023年） 软件作者： 吉拉德·科伦（Gilad Koren）、丹尼斯·沙沙（Dennis Shasha） 相关软件： – 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
税收 15篇文献引用(2001–2017) 软件作者： 艾蒂安·克劳斯；米歇尔·波伊泽（Michel Poize）；雅克·普劳（Jacques Pulou）；约瑟夫·西法基斯（Joseph Sifakis）；帕特里克·文特 相关软件： Uppaal；克罗诺斯；艾菲尔… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
克里夫OC 20篇文献引用（2006年至2021年） 软件作者： 雷内·斯科特；斯泰普斯（G.Stacey Staples） 相关软件： 悬崖数学；CliffSymNil；数学… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）…
乔托 17篇文献引用(2001–2022) 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
MetaMorph变形 18篇文献引用(1999–2010) 软件作者： 马图拉纳，F。；沈伟（Shen，W.）。；D.H.诺里。 相关软件： Aglet；湿润+；发明人… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
BCI2000型 12份文件引用(2016–2022) 软件作者： Schalk G、McFarland D J、Hinterberger T、Birbaumer N、Wolpow J R 相关软件： PhysioToolkit；EEGLAB；OpenViBE… 主要字段： 常微分方程（34-XX）；统计学（62-XX）；计算机科学（68-XX）…
odmd（odmd） 19份文件引用(2018–2023) 软件作者： H.Zhang；C.W.罗利 相关软件： GitHub；PRMLT；PyDMD… 主要字段： 动力系统与遍历理论（37-XX）；算子理论（47-XX）；数值分析（65-XX）…
聚乙烯醇水杨酸 14篇文献引用(2011–2023) 软件作者： 阿尔图尔基，M.，梅塞格尔，J 相关软件： 莫德；PMaude；VESTA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
VoxNet公司 17篇文献引用(2018–2023) 软件作者： 丹尼尔·马图拉纳；塞巴斯蒂安·谢勒 相关软件： PointNet；OctNet；ImageNet… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
ASTRAL公司 16篇文献引用(1992–2006) 软件作者： 贾科莫·博纳诺；科恩·波里西尼，阿尔贝托；威廉·福纳西亚里 相关软件： 克罗诺斯；Uppaal；高科技… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
CPOLY公司 17篇文献引用(1978–2023) 软件作者： 詹金斯硕士；J.F.特劳布 相关软件： copula；ks；连接词… 主要字段： 复变量函数（30-XX）；统计学（62-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）
TGFF公司 8份文件引用(2008–2019) 软件作者： Dick RP、Rhodes DL、Wolf W。 相关软件： Simulink；CPLEX；变色龙… 主要字段： 算子理论（47-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
AMT公司 12份文件引用(2008–2018) 软件作者： D.尼科维奇，O.马勒 相关软件： Uppaal；SpaceEx；棱镜… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
英国石油协会 10篇文献引用(2010–2023) 软件作者： Changbo Chen、Farnam Mansouri、Marc Moreno Maza、Ning Xie、Yuzhen Xie 相关软件： 岩浆；打火石；RegularChains… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
ECDAR公司 9份文件引用(2011–2022) 软件作者： 亚历山大·戴维；金·拉森。G。；Legay，Axel；乌尔里克·奈曼；安德烈·索夫斯基 相关软件： Uppaal；MIO工作台；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
HPX公司 在11份文件中引用(2018–2024) 软件作者： Kaiser，H。；等。 相关软件： Peridigm公司；PETSc；科学… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
RTC工具箱 在11份文件中引用(2008–2023) 软件作者： Wandeler E、Thiele L 相关软件： DISCO；NC-Maude；COINC… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）；运筹学，数学规划（90-XX）…
维迪纳 12份文件引用(2006–2022) 软件作者： Burgemister，B。；阿诺德，M。；埃斯特尔，B。；TESIS DYNAware股份有限公司 相关软件： 罗德斯；墨西哥x；SIMPACK… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
分布式数据库 10篇文献引用（2006年至2021年） 软件作者： 兰志玲；瓦莱丽·泰勒（Valerie E.Taylor）。；李亚伟 相关软件： PETSc；帕拉梅什；ParFUM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
时刻2 9份文件引用（2010年至2016年） 软件作者： 阿图尔·博罗纳特；彼得·塞巴·奥尔夫茨基 相关软件： 莫德；ITP/OCL；托勒密… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
ARENA公司 9份文件引用（2002年至2018年） 软件作者： 罗克韦尔自动化公司 相关软件： Matlab；SPSS软件；DFBOX_IMPR… 主要字段： 总体主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
部队NLP 9份文件引用(2018–2023) 软件作者： 扎内利，A。；Domahidi，A。；赫雷斯，J。；莫拉里，M。 相关软件： ACADO；qpOASES；GRAMPC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
甘尼思 9份文件引用(1990–1997) 软件作者： Chanderjit Bajaj；安德鲁·罗亚帕 相关软件： 家；EISPACK；LAPACK… 主要字段： 代数几何（14-XX）；实函数（26-XX）；近似和展开（41-XX）…
桅杆 7份文件引用(2008–2018) 软件作者： 冈萨雷斯港，M；JJ古铁雷斯；巴伦西亚，JC；吉咪·德雷克 相关软件： Uppaal；切达干酪；蒂娜… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
顶部/顶部 9份文件引用(1994–2017) 软件作者： C.Farhat、S.Lanteri、H.D.Simon 相关软件： 查科；刻痕；派对… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
抓斗 8份文件引用(2018–2022) 软件作者： 恩格尔，托拜厄斯；安德烈亚斯·沃尔兹；费利克斯·梅斯默（Felix Mesmer）；Rhein，Sönke；克努特·格雷钦 相关软件： VIATOC；ACADO；qpOASES… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
质量控制中心 8份文件引用(2006–2016) 软件作者： Megretski AV；花王CY；琼森UT；兰泽A 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 系统论；控制（93-XX）
模式图 5份文件引用（1997年至2017年） 软件作者： F.贾哈尼安；A.K.Mok先生 相关软件： 酯类；Uppaal；Kronos… 主要字段： 数理逻辑与基础（03-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
机器人 7份文件引用(1993–2020) 软件作者： N.Docquier、A.Poncelet、P.Fisette 相关软件： EasyDyn；Chrono；帕西莫多… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；粒子力学与系统（70-XX）…
SERK2v3系列 8份文件引用(2016–2020) 软件作者： Kleefeld，B。；Martín-Vaquero，J。 相关软件： SERK2；RKC；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
SIMBICON公司 4份文件引用(2014–2022) 软件作者： Yin K、Loken K、van de Panne M。 相关软件： DeepLoco；Simbody公司 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；生物学和其他自然科学（92-XX）…
UniForM公司 7份文件引用(1999–2011) 软件作者： Bernd Krieg-Brückner、Jan Peleska、Ernst-Rüdiger Olderog、Alexander Baer 相关软件： Uppaal；FranTk；GHC… 主要字段： 计算机科学（68-XX）
W4秒 4份文件引用(2005–2018) 软件作者： Haritaoglu，I.，Harwood，D.，Davis，L.S。 相关软件： Pfinder；九头蛇；BraMBLe公司 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）…
管理人员 7份文件引用(1983–2006) 软件作者： 扎哈里·兹拉特夫；鲁维姆·贝尔科维奇；普拉姆，拉尔斯·P。 相关软件： Simulink；罗德斯；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
汽车 引用于3份文件(2018–2020) 软件作者： 丹·斯坦伯格：米哈伊尔·戈洛夫尼亚；索尔福德系统公司 相关软件： gbm；C4.5；随机森林… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
切达干酪 5份文件引用(2009–2022) 软件作者： LISyC实验室 相关软件： Simulink；Uppaal；桅杆… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
HiRise公司 6篇文献引用(2000–2018) 软件作者： 细叶浩史 相关软件： QOCA；食火鸡；天蓝色… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
iFogSim软件 4份文件引用(2020–2023) 软件作者： 哈希特·古普塔、阿米尔·瓦希德·达斯特杰迪、索米亚·戈什、拉杰库马尔·布亚 相关软件： YAFS；FogNetSim++；云模拟… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
因果KinetiX 6篇文献引用(2019–2022) 软件作者： 菲斯特，尼克拉斯；Stefan Bauer；乔纳斯·彼得斯 相关软件： JCI；冠状病毒；DDL… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
RT-ASLAN公司 引用于3份文件(1994–2002) 软件作者： 奥尔海默B，凯默R A。 相关软件： 酯类；Ada95；ASTRAL公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
阿根廷政府 引用于3份文件(2018–2022) 软件作者： C.平西罗利、V.特里安尼、R.奥格雷迪、G.皮尼、A.布鲁奇、M.布拉姆-比拉、N.马修斯、E.费兰特、G.迪卡罗、F.杜卡泰、M.比拉塔里、L.M.甘巴黛拉、M.多里戈 相关软件： Boids；SwarmLab；GAZEBO… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
BLAZE（黑色） 5份文件引用(2020–2022) 软件作者： Alkadri，Nabil Alkeilani；拉希德·班萨卡尼；约翰·布赫曼 相关软件： BKZ公司 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
进化MPS 4份文件引用(2017–2018) 软件作者： Ashley Milsted、Tobias Osborne等人 相关软件： GitHub；IT传感器；mps… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）
FCM4DD公司 5份文件引用(2017–2023) 软件作者： Kesemen，O。；特泽尔。；E·奥兹库尔。 相关软件： 移动MF；FGKA；蛛网/3… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）
GraphChi公司 5份文件引用(2016–2020) 软件作者： Aapo Kyrola；盖伊·布莱洛赫；卡洛斯·盖斯特林 相关软件： WebGraph；普雷格尔；HOGWILD… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
I2T型 1份文件引用(2012) 软件作者： 姚，B。；杨，X。；林，L。；Lee，M.W。；朱S.C。 相关软件： Im2Text；密度盖；PASCAL VOC… 主要字段： 计算机科学（68-XX）
MeaBench公司 2份文件引用(2017–2022) 软件作者： Wagenaar，D.，DeMarse，T.B.，Potter，S.M。 相关软件： 大脑连接工具箱；锡林克斯 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
p3增量 5份文件引用(2021–2023) 软件作者： 布萨达，伊斯兰；吉列尔梅，马赞蒂；尼古列斯库，西尔维乌·尤利安；朱利安·休恩；Sim，Franck；托马斯·马蒂厄 相关软件： DLMF；粘合剂2.0；蟒蛇 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；系统论；控制（93-XX）
苏打水 1份文件引用(2014) 软件作者： 乔尔·沃尔夫；尼基尔·班萨尔（Nikhil Bansal）；Kirsten Hildrum；苏杰·帕雷赫（Sujay Parekh）；迪帕克·拉詹；罗希特·瓦格尔；吴坤龙；丽莎·弗莱舍 相关软件： 电报CQ；BRITE；霸王龙… 主要字段： 计算机科学（68-XX）
StreamQRE（流QRE） 5份文件引用(2019–2023) 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
海龟-P 2份文件引用(2003–2006) 软件作者： 卢多维奇（Ludovic Apvrille）；皮埃尔·德·萨奎·桑奈斯（Pierre De Saqui-Sannes）；费哈特·肯德克 相关软件： Uppaal；克罗诺斯；税收… 主要字段： 计算机科学（68-XX）
UDDAE_优化 5份文件引用(2017–2022) 软件作者： Luca Fenzi；密歇根州 相关软件： UQLab；HIFOO；DDE-BIFTOOL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
维多利亚州 4份文件引用(2010–2022) 软件作者： 相关解决方案 相关软件： Ncorr；VIC-2D；VEDDAC… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AADL公司 引用于3份文件(2012–2016) 软件作者： Kyungmin Bae、Peterlveczky、JoséMeseguer 相关软件： 电子LOTOS；GRL；LNT2LOTOS… 主要字段： 计算机科学（68-XX）
投掷 2份文件引用(2020–2021) 软件作者： J.Lee、M.X.Grey、S.Ha、T.Kunz、S.Jain、Y.Ye、S.S.Srinivasa、M.Stilman、C.K.Liu 相关软件： MuJoCo；活性氧；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
密度（DensePose） 1份文件引用(2022) 软件作者： Rıza Alp Güler、Natalia Neverova、Iasonas Kokkinos 相关软件： ImageNet；PyTorch；面2面… 主要字段： 计算机科学（68-XX）
电子LBM 4份文件引用(2019–2022) 软件作者： Alpak，F.O。；扎卡鲁迪奥，I。；Berg，S。；Dieterich，J。；北卡罗来纳州萨克森纳。 相关软件： drp基准；CUDA；特里利诺斯 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…