皮莫尔 26篇文献引用(2015–2023) 软件作者： Rene Milk、Stephan Rave、Felix Schindler 相关软件： 红色套件；DUNE；hapod… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
小卧室 23篇文献引用(2013–2023) 软件作者： Conchon S.、Goel A.、KrstićS.、Mebsout A.、Zaidi F。 相关软件： Mcmt；z3；常春藤… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
常春藤 21篇文献引用(2017–2023) 软件作者： 麦克米兰，K.L.，帕顿，O。 相关软件： 常春藤；z3；IronFleet… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
萨滕斯坦 引用于20份文件(2009–2023) 软件作者： KhudaBukhsh，Ashiqur R。；徐林；霍尔格·胡斯。；凯文·莱顿·布朗 相关软件： 帕拉米尔斯；irace；SMAC… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
8月 12份文件引用(2016–2022) 软件作者： Q.Wang，X.Zhang，Y.Zhangs，Q.Yi 相关软件： LAPACK；R；MKL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
高温气冷堆 14篇文献引用（2018年-2023年） 软件作者： 缺席者，迈克尔；穆斯利乌·奈斯雷特（Nysret Musliu）；斯特凡·沃尔特兰 相关软件： 甘纳克；克林戈；夏普… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
MTIEU1公司 11份文件引用(1993–2013) 软件作者： 衬衫，Randall B。 相关软件： 算法861；Mathematica；IMSL数字图书馆… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；差分和函数方程（39-XX）…
ByMC公司 在10份文件中引用(2014–2023) 软件作者： Igor Konnov、Marijana Lazic、Helmut Veith、Josef Widder 相关软件： z3；威尔第；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FBstab（FBstab） 6篇文献引用(2020–2023) 软件作者： Dominic Liao-McPherson；伊利亚·科尔马诺夫斯基 相关软件： OSQP；qpOASES；NETLIB LP测试集… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
RhoSum（节奏总和） 6篇文献引用(2018–2024) 软件作者： 约翰内斯·布吕姆林（Johannes Blümlein）；圆形，标记；卡斯滕·施耐德 相关软件： SIGMA；EvaluateMultiSums；嵌套产品… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；特殊功能（33-XX）…
阿尼玛 5份文件引用(2014–2023) 软件作者： 阿尔普恩特，玛丽亚；巴利斯、德米斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；DDebugger… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
黎曼映射器 4份文件引用(2018–2022) 软件作者： 大卫·顾 相关软件： ABF++；PlgCirMap；DistMesh… 主要字段： 复变量函数（30-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
工具 4份文件引用(2005–2006) 软件作者： de Givry S.、Jeannin L。 相关软件： OPL；SALSA；建模器… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
单子叶植物 3份文件引用(2014–2021) 软件作者： 亚历山大·凯撒；Daniel Kroening；托马斯·瓦尔 相关软件： ACL2；veriSoft；SAS… 主要字段： 计算机科学（68-XX）
tw-神经症患者 3份文件引用(2017–2019) 软件作者： 谢尔盖·加斯佩斯（Serge Gaspers）；约阿希姆·古德蒙德松；米切尔·琼斯；朱利安·梅斯特雷（Julián Mestre）；斯特凡·吕梅尔 相关软件： ComputeTW；github 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
LS迭代方法 2份文件引用(2012–2018) 软件作者： 戈列夫（Angel Golev）；安娜·马利诺娃（Anna Malinova）；德西斯拉瓦·扎哈里耶娃 相关软件： symrcm；filib++；数学软件 主要字段： 数值分析（65-XX）
天线工具箱 1份文件引用（2010年） 软件作者： – 相关软件： Matlab；ATPDraw；EJS… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
菲亚克 1份文件引用(2022) 软件作者： Fröhler，B。；Elberfeld，T。；Möller，T。；Hege，H。；韦森伯克，J。；De Beenhouwer，J。；Sijbers，J。；Kastner，J。；海因策，C。 相关软件： Starviewer；孔隙度分析仪；MetaTracts… 主要字段： 可变形固体力学（74-XX）；信息与通信理论，电路（94-XX）
QAOA.jl公司 在0个文档中引用 软件作者： 蒂姆·博德（Tim Bode）；Bagrets，德米特里；阿迪蒂·米斯拉·斯皮尔登纳；斯托伦沃尔克，托拜厄斯；威廉，弗兰克·K·。 相关软件： TensorFlow量子；QISKit；齐戈特… 主要字段： –
张紧器电路 在0个文档中引用 软件作者： 张世欣；乔纳森·奥尔科克；万、周权；刘硕；孙嘉诚；于浩；杨兴汉；邱洁忠；叶兆峰；陈玉琴；Lee，Chee-Kong；郑一聪；Jian，Shao-Kai；姚红；谢长瑜；张胜宇 相关软件： 库拉克斯；昆布；PennyLane… 主要字段： –
THOR公司 1份文件引用(1995) 软件作者： K.C.Mundim，P.G.Pascutti；P.M.比施 相关软件： – 主要字段： 动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）