EBayesThresh公司 154份文件引用(2004–2024) 软件作者： 约翰·斯通（Iain M.Johnstone）。；西尔弗曼（Bernhard W.Silverman）。 相关软件： R；EbayesThresh；wavethresh… 主要字段： 欧氏空间（42-XX）的调和分析；概率论与随机过程（60-XX）；统计学（62-XX）…
MINL库 109篇文献引用（2002年-2023年） 软件作者： Michael R.Bussieck。；阿恩·斯托尔伯格（Arne Stolbjerg Drud）；亚历山大·米罗斯 相关软件： SCIP；Ipopt；BARON… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
拆分步骤资源管理器 21篇文献引用(2016–2023) 软件作者： C.Cedzich、F.A.Grünbaum、C.Stahl、L.Velázquez、A.H.Werner、R.F.Werner 相关软件： 数学软件 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；概率论与随机过程（60-XX）…
TVOC公司 20篇文献引用(2005–2022) 软件作者： 克拉克·巴雷特；方毅；本杰明·戈德伯格（Benjamin Goldberg）；胡莹；阿米尔·普努利；勒诺尔·扎克 相关软件： CVT；Coq；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
TSPACK公司 18篇文献引用(1993–2020) 软件作者： R.J.伦卡。 相关软件： 芯片；TSpack；TRIPACK… 主要字段： 组合数学（05-XX）；近似和展开（41-XX）；数值分析（65-XX）…
数字 14篇文献引用(1981–2004) 软件作者： 刘杭彤 相关软件： ALGOL 60；NUMVEC公司；LINPACK… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；统计学（62-XX）…
里昂 12份文件引用(2014–2022) 软件作者： 雷吉斯·布兰科；维克多·昆卡（Viktor Kuncak）；艾蒂安·克劳斯；菲利普·苏特 相关软件： CVC4；达夫尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
勒布劳尔 11份文件引用(2011–2023) 软件作者： 西佩里亚尼，米雷拉；丹尼尔·克拉申 相关软件： SageMath；PARI/GP；麦考利2… 主要字段： 数论（11-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
戳 8份文件引用(1996–2008) 软件作者： 苏珊娜·多纳泰利（Susanna Donatelli）；费罗、莉莉亚娜；http://www.tcs.hut.fi/Software/prod/AUTHORS网站 相关软件： 海伦娜；玛丽亚；旋转… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
GEZEL公司 6篇文献引用(2002–2018) 软件作者： 迈克尔·汉森（Michael R.Hansen）。；Madsen，Jan；布雷克林（Aske Wiid Brekling） 相关软件： Uppaal公司；克罗诺斯；UPPAAL TIGA… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
Z2sal公司 5份文件引用(2008–2012) 软件作者： J Derrick，S North，A J H Simons公司 相关软件： 自旋蛋白；Z；Z/EVES… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
算法861 5份文件引用(2006–2013) 软件作者： 达尼洛·埃里科洛 相关软件： MTIEU1；算法644；数学… 主要字段： 特殊功能（33-XX）；近似和展开（41-XX）；数值分析（65-XX）…
PROLEG公司 4份文件引用(2012–2021) 软件作者： Satoh，K.、Asai，K.、Kogawa，T.、Kubota，M.、Nakamura，M.、Nishigai，Y.、Shirakawa，K.、Takano，C。 相关软件： SCIFF；Potassco；天基信息平台 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
S变速箱 5份文件引用(2020–2023) 软件作者： Dat Quoc Nguyen、Kairit Sirts、Lizhen Qu、Mark Johnson 相关软件： 雅高；node2vec；DBpedia… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
努恰库 4份文件引用(2016–2022) 软件作者： 安德鲁·雷诺兹（Andrew Reynolds）；Jasmin Christian布兰切特；西蒙·克鲁恩斯（Simon Cruanes）；塞萨尔·蒂内利 相关软件： CVC4；z3；尼特皮克… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SCE灯 4份文件引用(2014–2020) 软件作者： 德尼古拉（De Nicola）、罗科（Rocco）；阿尔贝托卢克·拉富恩特；米歇尔·洛雷蒂；安德烈亚·莫里切塔（Andrea Morichetta）；罗萨里奥·普格利泽；瓦莱里奥·塞尼；弗朗西斯科·蒂埃齐 相关软件： SCEL；自旋蛋白；琳达… 主要字段： 计算机科学（68-XX）
商务工具 3份文件引用(2009–2010) 软件作者： 菲利普·马切特·伍德 相关软件： ZeckFibBijections；TransMethodZeck；斐波那契… 主要字段： 组合数学（05-XX）；数论（11-XX）
导线 3份文件引用(2018–2021) 软件作者： 卡米利，马蒂奥；卡洛·贝莱蒂尼；洛伦佐·卡普拉；蒙加，马蒂亚；网飞公司 相关软件： MongoDB；开放星云；沙发数据库… 主要字段： 计算机科学（68-XX）
示例 3份文件引用(2009–2010) 软件作者： 菲利普·马切特·伍德 相关软件： ZeckFibBijections；TransMethodZeck；斐波那契… 主要字段： 组合数学（05-XX）；数论（11-XX）
MetMAP公司 3份文件引用(2010–2013) 软件作者： 维拉，J。；N.V.托雷斯。 相关软件： 血浆；西帕提卡；SoftCADS… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
TransMethodZeck公司 3份文件引用(2009–2010) 软件作者： 菲利普·马切特·伍德 相关软件： ZeckFibBijections；斐波那契；示例… 主要字段： 组合数学（05-XX）；数论（11-XX）
约拉克++ 2份文件引用(2022) 软件作者： Daniel Bolya、Chong Zhou、Fanyi Xiao、Yong Jae Lee 相关软件： MS-COCO；SegNet；SYNTHIA数据集… 主要字段： 计算机科学（68-XX）
ZeckFibBijections公司 3份文件引用(2009–2010) 软件作者： 菲利普·马切特·伍德 相关软件： TransMethodZeck公司；斐波那契；示例… 主要字段： 组合数学（05-XX）；数论（11-XX）
艾伦TAP 2份文件引用(2008–2021) 软件作者： Near，Joseph P。；William E.伯德。；丹尼尔·弗里德曼。 相关软件： Freshml；精益TAP；卡伦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
第2b页 2份文件引用(2001–2010) 软件作者： 迈克尔·巴尔达穆斯（Michael Baldamus）；Jochen的Schr“oder-Babo 相关软件： 普罗米拉；自旋蛋白；ML… 主要字段： 计算机科学（68-XX）
康帕斯 1份文件引用(2013) 软件作者： 艾丁·戈尔（Ebru Aydin Gol）；加利福尼亚州贝尔塔 相关软件： Matlab公司 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
HyLoBan公司 1份文件引用(2009) 软件作者： 德米特里·苏斯特列托夫；纪尧姆·霍夫曼；卡洛斯·阿雷塞斯；帕特里克·布莱克本 相关软件： HyLoTab；HTab；GHC公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
懒惰v2int 1份文件引用(2021) 软件作者： Zohar，Y.，Irfan，A.，Mann，M.，Nötzli，A.，Reynolds，A.，Barrett，C。 相关软件： PySAT；CVC4；SMT套件… 主要字段： 计算机科学（68-XX）
MuSe-工具箱 在0个文档中引用 软件作者： 卢卡斯·斯塔彭（Lukas Stappen）、李·舒曼（Lea Schumann）、本杰明·塞托利（Benjamin Sertolli）、爱丽丝·贝尔德（Alice Baird）、本雅明·威格尔（Benjamin-Weigel）、埃里克·坎布里亚（Erik Cambria）、 相关软件： DBA；10月2日；Scikit… 主要字段： ——
COPRA公司 在0个文档中引用 软件作者： Breitenbach，S.F.M.、Rehfeld，K.、Goswami，B.、Baldini，J.U.L.、Ridley，H.E.、Kennett，D.、Prufer，K.，Aquino，V.V.、Asmerom，Y.、Polyak，V.J.、Cheng，H.、Kurth，J.、Marwan，N 相关软件： —— 主要字段： ——