JStatCom公司 104篇文献引用（2007年至2024年） 软件作者： 马库斯·克拉齐格 相关软件： KEEL；UCI-ml；C4.5… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
OPERA公司 30篇文献引用(1999–2020) 软件作者： 霍姆斯特罗姆（Kenneth Holmström）；比约克曼，马蒂亚斯；埃里克·多特泽尔 相关软件： NLPLIB；TOMLAB公司；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
阿里阿德涅 17篇文献引用(2008–2023) 软件作者： 卢卡·本维努蒂；大卫·布雷索林；Pieter Collins；法拉利，阿尔贝托；卢卡·杰雷蒂；蒂齐亚诺别墅 相关软件： 高科技；SpaceEx；PHAVer… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
霍姆4PS-3 16篇文献引用(2014–2024) 软件作者： 陈天然；Lee，Tsung-Lin；李天恩 相关软件： PHCpack；贝尔蒂尼；数字代数几何… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
伊莎贝尔/PIDE 15篇文献引用(2012–2020) 软件作者： 马卡里乌斯·温泽尔；伯克哈特·沃尔夫 相关软件： 伊莎贝尔；辅酶q；Isabelle/j编辑… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
校对工具 8份文件引用(2013–2023) 软件作者： C.Dunchev、A.Leitsch、T.Libal、M.Riener、M.Rukhaia、D.Weller、B.Woltzenlogel古 相关软件： TPTP；GAPT；CERES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
维萨德 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）
AsTeRICS公司 2份文件引用(2014) 软件作者： 罗兰·奥斯曼；斯特凡·帕克；大卫·泰勒；佩西纳、卡罗尔；阿尔瓦罗州加西亚·索勒；布兰卡·莫拉莱斯；卫·克里斯托夫；克里斯托弗·维格尔；卡库西斯·康斯坦蒂诺斯 相关软件： OpenViBE 主要字段： 系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
FlexBox（柔性接线盒） 2份文件引用(2018–2019) 软件作者： 亨德里克·德克斯 相关软件： 导缆器流量；相位提升；GESPAR公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
NTMpy公司 1份文件引用(2021) 软件作者： 卢卡斯·阿尔伯（Lukas Alber）、瓦伦蒂诺·斯卡莱拉（Valentino Scalera）、维维克·尤尼坎达努尼（Vivek Unikandanunni）、丹尼尔·希克（Daniel Schick）、斯特凡诺·博内蒂（Stefano Bonetti） 相关软件： Matlab；COMSOL公司；蟒蛇 主要字段： 可变形固体力学（74-XX）；经典热力学，传热（80-XX）
校对小工具 2份文件引用(2021–2022) 软件作者： 爱德华·艾尔斯（Edward W.Ayers）。；贾姆尼克，马泰贾；W.T.Gowers。 相关软件： 精益；mathlib；岩浆… 主要字段： 计算机科学（68-XX）
PyRates公司 在0个文档中引用 软件作者： Gast R.、Rose D.、Salomon C.、Möller H.E.、Weiskopf N.、Knösche T.R。 相关软件： 特拉维斯CI；Scikit；Matlab… 主要字段： –