预测 161份文件引用(2006–2024) 软件作者： Rob J Hyndman；斯拉瓦·拉兹巴什；德鲁·施密特 相关软件： 预测；R；expsmooth；…（扩展平滑；…）… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
系统标识工具箱 189份文件引用(1990–2023) 软件作者： Thomas B Schön；艾德里安·威尔斯（Adrian Wills）；Brett Ninness；伦纳特·荣格 相关软件： Matlab；船长；Wiener-Hammerstein基准… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
控制系统工具箱 166篇文献引用(1995–2024) 软件作者： MathWorks公司；格雷斯，A。；Laub，A.J。；Little，J.N。；汤普森，C.M。 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
预测 136篇文献中引用(2010–2024) 软件作者： Rob J Hyndman；乔治·阿萨纳索普洛斯（George Athanasopoulos）、斯拉瓦·拉兹巴什（Slava Razbash）、德鲁·施密特（Drew Schmidt 相关软件： 预测；R；expsmooth；…（扩展平滑；…）… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Java PathFinder 96篇文献引用(2000–2023) 软件作者： 克劳斯·哈维隆德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
PHAVer公司 119篇文献引用(2005–2024) 软件作者： 戈兰弗雷斯 相关软件： 高科技；太空探索技术公司；个人… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
Mu分析与合成工具箱 109篇文献引用(1993–2021) 软件作者： 数学作品；加里·巴拉斯（Gary J.Balas）、约翰·多伊尔（John C.Doyle）、基斯·格洛弗（Keith Glover）、安迪·帕卡德（Andy Packard）、罗伊·史密斯（Roy Smith） 相关软件： 鲁棒控制工具箱；LMI工具箱；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变形固体力学（74-XX）…
SsfPack系列 69篇文献引用(1999–2024) 软件作者： 科普曼，暹粒；尼尔·谢泼德；尤尔根·杜尔尼克。 相关软件： 公牛；印章；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
RICPAC公司 67篇文献引用(1987–2023) 软件作者： W.F.Arnold；艾伦·J·劳布 相关软件： 算法432；Matlab；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；变分法与最优控制；优化（49-XX）…
扩展平滑 58篇文献引用(2008–2024) 软件作者： Hyndman，R.J。；安妮·科勒（Anne B.Koehler）。；Ord，J.Keith；拉尔夫·斯奈德。 相关软件： 预测；预测；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CHomP公司 59篇文献引用(2006–2023) 软件作者： http://chomp.rutgers.edu/People.html 相关软件： 间隙；RedHom；大写… 主要字段： 动力系统与遍历理论（37-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
浮夸 44篇文献引用(2009–2023) 软件作者： King，A.A.，Ionides，E.L。；布雷托，C.M 相关软件： R；KFAS；dlm… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
StFinMetrics公司 52篇文献引用(2003–2024) 软件作者： 埃里克·齐沃特（Eric Zivot）；王家辉 相关软件： R；预测；预测… 主要字段： 动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
UPPAAL TIGA公司 47篇文献引用(2007–2023) 软件作者： Behrmann，G.、Cougnard，A.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D。 相关软件： Uppaal；棱镜；Synthia… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
印章 39篇文献引用(1998–2023) 软件作者： 科普曼，S.J。；哈维，A.C。；Doornik，J.A。；谢泼德，A。 相关软件： SsfPack；公牛；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
分享 38篇文献引用(1992–2024) 软件作者： 罗宾·萨纳（Robin Sahner）；Trivedi，Kishor S。；安东尼奥·普利亚菲托 相关软件： 莫比乌斯；SPNP；智能_… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
SAS/ETS系统 39篇文献引用(1985–2022) 软件作者： SAS公司 相关软件： SAS；R；SAS/STAT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
向上2k 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）…
CONTSID公司 39篇文献引用(2003–2023) 软件作者： Garnier，H.、Gilson，M.、Bastogne，T.、Mensler，M。 相关软件： 船长；系统识别工具箱；Matlab… 主要字段： 实函数（26-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
ITSM2000标准 36篇文献引用(2016–2023) 软件作者： 彼得·布罗克韦尔（Peter J.Brockwell）。；理查德·戴维斯（Richard A.Davis）。 相关软件： 其mr；astsa；tscount… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
MR和LTV合成工具 37篇文献引用(1999–2023) 软件作者： 卡罗尔·皮里；盖尔·杜勒鲁（Geir E.Dullerud）。 相关软件： YALMIP；塞杜米；LMI工具箱… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；运筹学，数学规划（90-XX）…
活力 32篇文献引用(1993–2018) 软件作者： 托尼·安德鲁斯；沙兹·卡迪尔；Rajamani，Sriram K。；雅各布·雷霍夫；谢、伊晨 相关软件： 自旋蛋白；SLAM；veriSoft… 主要字段： 代数几何（14-XX）；复变量函数（30-XX）；统计学（62-XX）…
数据链路管理 26篇文献引用(2009–2021) 软件作者： 乔瓦尼·佩特里斯；Petrone，Sonia；帕特里齐亚·坎帕尼奥利 相关软件： R；KFAS；dse… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
智能_ 23篇文献引用(2000–2018) 软件作者： Ciardo，G。；Jones，R.L。；Miner，A.S.公司。；R·西米尼亚努。 相关软件： 自旋蛋白；棱镜；NuSMV… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
爪哇风扇 30篇文献引用(2004–2018) 软件作者： 法赞、阿扎德；陈冯；何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；K校准仪；MMT… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
CPN/工具 25篇文献引用(2001–2023) 软件作者： 米歇尔·博杜安·拉丰（Michel Beaudouin-Lafon）；温迪·麦凯（Wendy E.Mackay）。；Mads Jensen；彼得·安徒生；保罗·贾内切克 相关软件： 设计/CPN；清爽；TINA… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
洛拉 26篇文献引用(2000–2021) 软件作者： 卡斯滕·施密特（Karsten Schmidt）；K·沃尔夫。 相关软件： 玛丽亚；Uppaal；BPEL2PN… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
罗密欧 27篇文献引用(2005–2020) 软件作者： 纪尧姆·加迪；莱姆，迪迪埃；摩根·马根（Morgan Magnin）；Olivier Roux（H.） 相关软件： TINA；Uppaal；Kronos… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
电子交易管理 15篇文献引用（2010年-2023年） 软件作者： 亚瑟·阿里尼奥 相关软件： R；mstate；生存… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
显示 22篇文献引用(1993–2021) 软件作者： Andraus，Zaher S。；Mark H.Liffiton。；卡伦·萨卡拉。 相关软件： MiniSat；MUSer2；HMQV… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
SymmSpin公司 15篇文献引用(2000–2010) 软件作者： 博什纳奇奇，德拉甘作者简介；Dams，Dennis；莱泽克·霍伦德斯基 相关软件： 自旋蛋白；TopSpin；茂物… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；计算机科学（68-XX）
Symstra公司 12份文件引用(2005–2021) 软件作者： 谢、陶；达科·马里诺夫；沃尔夫拉姆·舒尔特；大卫·诺金 相关软件： 科拉特；Java PathFinder；DART… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
科西马 16篇文献引用(2015–2022) 软件作者： 塞布蒂·穆埃利；安托万·吉拉德；格雷戈·戈斯勒 相关软件： SCOTS；PESSOA；TuLiP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
SIGREF公司 15篇文献引用(2006–2022) 软件作者： 拉尔夫·威默（Ralf Wimmer）；马克·赫伯斯特里特；霍尔格赫尔曼斯；凯利·斯特兰普；贝恩德·贝克尔 相关软件： 棱镜；MRMC；CADP… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
CAESAR_解决 11份文件引用(2006–2022) 软件作者： Radu Mateescu公司 相关软件： CADP；到期未结；旋转… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
E4类 14篇文献引用(1997–2021) 软件作者： Jose Manuel Casals、Alfredo Garcia-Hiernaux、Miguel Jerez、Sonia Sotoca、A.Alexandre Trindade 相关软件： Matlab；印章；MIDAS回归… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
并发工作台 12份文件引用(2000–2022) 软件作者： P.Stevens等人 相关软件： CADP；SIGREF；Uppaal… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Exp.未结 12份文件引用(2006–2023) 软件作者： 弗雷德里克·朗 相关软件： CADP；CAESAR_SOLVE公司；M-TREE… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
APNN-工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·坎佩尔；卡斯滕·泰珀 相关软件： 棱镜；政治公众人物协议；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
凯撒 11份文件引用(2004–2021) 软件作者： 休伯特·加拉维；温德林·塞尔韦；INRIA罗纳阿尔卑斯山 相关软件： CADP；NUPN_INFO；caesar.bdd… 主要字段： 计算机科学（68-XX）
网络服务提供商 9份文件引用(2008–2018) 软件作者： 科马克·弗拉纳根（Cormac Flanagan）；帕特丽斯·戈德弗里德 相关软件： KLEE公司；自旋蛋白；veriSoft… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
VHPOP（VHPOP） 10篇文献引用(2003–2021) 软件作者： Younes，H.L.S。；R.G.西蒙斯。 相关软件： 图形平面图；PDDL；UCPOP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
测力计 8份文件引用(2018–2023) 软件作者： 欧、鲁；迈克尔·亨特（Michael D.Hunter）。；Sy-Minin周 相关软件： R；KFAS；OpenMx… 主要字段： 统计学（62-XX）；系统论；控制（93-XX）
动量HMM 8份文件引用(2017–2023) 软件作者： 布雷特·麦克林托克、西奥·米切罗 相关软件： 移动HMM；R；爬行… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
产品 8份文件引用(1996–2008) 软件作者： 苏珊娜·多纳泰利（Susanna Donatelli）；费罗、莉莉亚娜；http://www.tcs.hut.fi/Software/prod/AUTHORS网站 相关软件： 海伦娜；玛丽亚；旋转… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
丽贝卡 8份文件引用（2010年至2022年） 软件作者： 穆罕默德·马赫迪·贾古奥里；Sirjani，Marjan；穆萨维、穆罕默德·雷扎；哈梅斯帕纳，埃桑；阿里·莫瓦加尔 相关软件： Uppaal；甲酚；定时丽贝卡… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
决策支持系统 3份文件引用(2008–2022) 软件作者： 保罗·吉尔伯特 相关软件： R；dlm；KFAS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
MGS公司 9份文件引用(2001–2016) 软件作者： 贾维托，J.-L。；O·米歇尔。 相关软件： HOCL；NESL；莫德… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
ProbReach公司 9份文件引用(2015–2023) 软件作者： 费多·什马洛夫（Fedor Shmarov）；保罗·祖利亚尼 相关软件： SReachTools；AMYTISS公司；静止… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
辛西娅 8份文件引用(2012–2022) 软件作者： Peter，H.-J.，Ehlers，R.，Mattmüller，R。 相关软件： UPPAAL TIGA；Uppaal；棱镜… 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
爬行 6篇文献引用(2015–2023) 软件作者： 德文·约翰逊 相关软件： R；移动HMM；时刻HMM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
平板 6篇文献引用(2012–2018) 软件作者： Dräger，K.，Kupriyanov，A.，Finkbeiner，B.，Wehrheim，H。 相关软件： 金刚狼；SLAM；卫星… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SPeeDI公司 7份文件引用(2002–2017) 软件作者： 细辛，尤金；佩斯，戈登；杰拉尔多·施奈德；塞尔吉奥·尤文 相关软件： GSPeeDI；高科技；ParaPlan… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
替换Alt 6篇文献引用(2002–2009) 软件作者： 罗密奥·桑切斯·奈根达（Romeo Sanchez Nigenda）、玄龙阮（XuanLong Nguyen）、苏巴拉奥·坎巴帕蒂（Subbarao Kambhampati） 相关软件： STAN；图形平面图；Walksat… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
德拉格 7份文件引用(2017–2021) 软件作者： 米勒，大卫；所罗门·西克特 相关软件： SPOT；猫头鹰；LTL2BA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
雅可比2.0 7份文件引用(2001–2021) 软件作者： 马丁·科勒（Martin Kröger）；胡特，马库斯；汉斯·克里斯汀·奥廷格 相关软件： Mathematica；地理统计；SymPy公司 主要字段： 动力系统与遍历理论（37-XX）；微分几何（53-XX）；数值分析（65-XX）…
LinAIG公司 7份文件引用(2011–2022) 软件作者： 沃纳·达姆；Dierks，Henning；斯蒂芬·迪什（Stefan Disch）；威廉·哈格曼；弗洛里安·皮戈什（Florian Pigorsch）；克里斯托夫·斯科尔；乌韦·沃尔德曼；鲍里斯·维茨 相关软件： z3；CUDD；SpaceEx… 主要字段： 凸几何和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
狂喜 7份文件引用(2005–2020) 软件作者： Jeannet B、dArgenio P、Larsen K 相关软件： 棱镜；参数；道具… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
喷溅 3份文件引用(2012–2017) 软件作者： 法比奥·西格里斯特（Fabio Sigrist）；汉斯·R·昆施。；沃纳·A·斯塔尔。 相关软件： spBayes；spTimer；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；地球物理学（86-XX）
状态空间 5份文件引用(2009–2020) 软件作者： Pedregal，Diego J。；C.詹姆斯·泰勒 相关软件： Matlab；船长；SsfPack… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；统计学（62-XX）…
X速度 6篇文献引用(2017–2022) 软件作者： Rayarshi Ray；阿米特·古龙 相关软件： 太空探索技术公司；JuliaReach；流量*… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
接入/CPN 3份文件引用(2010–2014) 软件作者： Michael Westergaard；克里斯滕森，拉尔斯·迈克尔 相关软件： CPN/工具；清爽；PeCA… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
线索 5份文件引用(2021–2024) 软件作者： Alexey Ovchinnikov、Isabel Cristina Pérez Verona、Gleb Pogudin、Mirco Tribastone 相关软件： 侵蚀；尼莫；微分方程.jl… 主要字段： 结合环与代数（16-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
DD实验室 5份文件引用(2011–2021) 软件作者： 安德鲁·文斯切（Andrew Wuensche） 相关软件： 康威人寿；类鸟群 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）
DFT计算 4份文件引用(2015–2021) 软件作者： F.Arnold、A.Belinfante、D.G.Freark van der Berg、M.Stoelinga 相关软件： Uppaal；棱镜；FaultTree+… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
DSSZ-MC公司 5份文件引用(2011–2012) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；阿列克谢·托夫奇格里奇科 相关软件： 清爽；COPASI；MoVisPP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
EKF/UKF工具箱 6篇文献引用(2012–2022) 软件作者： Simo Särkkä、Jouni Hartikainen、Arno Solin 相关软件： PRMLT；图像J；PMTK… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）…
因子stochvol 4份文件引用(2019–2023) 软件作者： 格雷戈·卡斯特纳（Gregor Kastner），达朱斯·霍斯泽尼（Darjus Hosszejni） 相关软件： R；斯托克沃尔；灵活… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FKF公司 4份文件引用(2012–2024) 软件作者： Luethi，D.，Erb，P.，Otziger，S。 相关软件： dlm；KFAS；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
sspir公司 3份文件引用（2012年至2015年） 软件作者： Dethlefsen C、Lundbye-Christensen S、Luther Christensen A 相关软件： R；dlm；SsfPack… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
StEAM公司 3份文件引用(2004–2011) 软件作者： 彼得·莱文（Peter Leven）；蒂尔曼·梅勒；斯特凡·爱德坎普 相关软件： 自旋蛋白；SatAbs公司；Zing… 主要字段： 计算机科学（68-XX）
英国 4份文件引用(2019–2021) 软件作者： 魏曹、王东、李健、郝周、李雷、李一潭 相关软件： PyTorch；插补TS；GitHub… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
CTDSX公司 5份文件引用(2004–2014) 软件作者： Daniel Kreßner、Volker Mehrmann、Thilo Penzl 相关软件： SLICOT；LAPACK；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；数值分析（65-XX）…
日本航空公司 4份文件引用(2021–2023) 软件作者： Winker，H.、Carvalho，F.、M.Kapur 相关软件： R；Matlab；数学… 主要字段： 差分方程和函数方程（39-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
jMocha公司 5份文件引用(2008–2023) 软件作者： 阿鲁尔（Alur，R.）。；de Alfaro，L。；格罗苏，R。；Henzinger，T。；托马斯。；康，M。；Kirsch，C。；马朱姆达尔，R。；Mang，F。；王，B.-Y。 相关软件： 摩卡；MCMAS；MCMAS-SLK… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
海军陆战队 2份文件引用(2016–2023) 软件作者： 霍姆斯E、沃德E、威尔斯K 相关软件： R；KFAS；VGAM… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PTrie公司 5份文件引用(2017–2021) 软件作者： Peter Gjol Jensen；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；LoLA；zUpdate… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
AADL公司 3份文件引用(2012–2016) 软件作者： Kyungmin Bae、Peterlveczky、JoséMeseguer 相关软件： 电子LOTOS；GRL；LNT2LOTOS… 主要字段： 计算机科学（68-XX）
CASPA公司 4份文件引用(2008–2015) 软件作者： 延斯·巴赫曼；马丁·里德尔（Martin Riedl）；约翰·舒斯特（Johann Schuster）；马库斯·西格尔 相关软件： 棱镜；CUDD；参数 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）
深度合成 4份文件引用(2022–2023) 软件作者： Mohammadosein Hasanbeig、Natasha Yogananda Jeppu、Alessandro Abate、Tom Melham、Daniel Kroening 相关软件： 基线；亚当；古罗比… 主要字段： 计算机科学（68-XX）
国际NA 4份文件引用(2015–2018) 软件作者： 托马斯·P、马图谢克·H、格里马·R。 相关软件： CERENA；工具箱2；Matlab… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
网络层析成像 3份文件引用(2014–2020) 软件作者： Alexander W Blocker、Paul Koulick、Edoardo Airoldi 相关软件： R；能量管理；tergm… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计学（62-XX）…
ParSSSE公司 4份文件引用(2011–2018) 软件作者： 孙燕华；郑耿彬；普里特郡的杰特利；Laxmikant V.卡莱。 相关软件： GAMS；ParaSCIP；卵石… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PRISM-PSY公司 4份文件引用(2018) 软件作者： 乔什卡，M.，Pilař，P.，Paoletti，N.，Brim，L.，Kwiatkowska，M。 相关软件： 棱镜；PROPhESY公司；PPL… 主要字段： 数理逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
SAMC公司 4份文件引用(2019–2020) 软件作者： Tanakorn Leesatapornwongsa、Mingzhe Hao、Pallavi Joshi、Jeffrey F.Lukman、Haryadi S.Gunawi 相关软件： MODIST；铁人舰队；数据匹配… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SMI工具箱 4份文件引用(1999–2004) 软件作者： B.哈弗坎普、M.维哈根。 相关软件： 算法679；系统识别工具箱；BLAS… 主要字段： 数值分析（65-XX）；系统论；控制（93-XX）