半标准杆 824份文件引用(1996–2023) 软件作者： 马特·旺德；戴维·鲁珀特（David Ruppert）；卡罗尔，R.J。 相关软件： R；加迈尔；fda（R）… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
DGM公司 358份文件引用(2017–2024) 软件作者： Sirignano，贾斯汀；康斯坦蒂诺斯·斯皮利奥普洛斯 相关软件： 亚当；DeepXDE；TensorFlow… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
CGS公司 339份文件引用(1986–2023) 软件作者： 彼得·桑内菲尔德 相关软件： GpBiCg；BiCGstab；稀疏矩阵… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
帕迪索 303份文件引用(1999–2024) 软件作者： Olaf Schenk、Klaus Gärtner、George Karypis、Robert Luce、Peter Carbonetto 相关软件： MUMPS；稀疏矩阵；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
分散搜索 274份文件引用(1999–2023) 软件作者： 曼努埃尔·拉古纳；拉斐尔·马蒂 相关软件： 禁忌搜索；VRP；CPLEX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
TetGen公司 212篇文献引用(2006–2024) 软件作者： 汉斯 相关软件： 三角形；Gmsh；CGAL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
FEATFLOW公司 211文件引用(1998–2023) 软件作者： S Turek、C Becker 相关软件： 开放式FOAM；ANSYS-CFX；月亮… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
冲浪 141份文件引用(2008–2023) 软件作者： 赫伯特·贝；蒂纳Tuytelaars；吕克·范古尔 相关软件： SIFT；PCA-SIFT；轻快的… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CVC4型 185篇文献引用(2013–2023) 软件作者： Barrett，C.、Conway，C.L.、Deters，M.、Hadarean，L.、Jovanović，D.、King，T.、Reynolds，A.、Tinelli，C。 相关软件： z3；SMT-LIB；数学SAT5… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
SMOTE公司 150篇文献引用（2002年-2023年） 软件作者： N.V.Chawla、K.W.Bowyer、L.O.Hall、W.P.Kegelmeyer 相关软件： UCI-ml；C4.5；SMOTEBoost… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
AProVE公司 171篇文献引用（2002年-2023年） 软件作者： Jürgen Giesl、Peter Schneider-Kamp、RenéThiemann 相关软件： 蒂罗尔；多终端；莫德… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning）、习宏伟（Hongwei Xi） 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
灰姑娘 95篇文献引用(1999–2023) 软件作者： 尤尔根·里希特·盖伯特（Jürgen Richter-Gebert）；乌尔里希·科尔滕坎普 相关软件： 几何画板；GeoGebra；GEX… 主要字段： 总体主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
塞尔维亚广播公司 157篇文献引用(1980–2023) 软件作者： 法国巴黎。；E·阿拉肯。 相关软件： 豆类；正规化工具；NAG… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ELAN公司 106篇文献中引用（1996-2020） 软件作者： Peter Borovansky、Eric Deplagne、Claude Kirchner、Helene Kirchner、Pierre Etienne Moreau、Christophe Ringeisesen、Marian Vittek 相关软件： 莫德；OBJ咖啡馆；OBJ3… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
绿洲 103篇文献引用（1993年-2023年） 软件作者： H.Schmidt；F.B.Jensen；等。 相关软件： IIMPACK；夫妻；CutFEM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
AS 155标准 99篇文献引用(1980–2022) 软件作者： 罗伯特·B·戴维斯。 相关软件： 作为204；AS 153；AS 106… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MISER3公司 87份文件引用(1990–2023) 软件作者： L S Jennings、M E Fisher、K L Teo、C J Goh 相关软件： 可视化MISER；Matlab；NLPQLP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
算法919 86篇文献引用(2011–2024) 软件作者： 季泽·尼森；威尔·M·赖特 相关软件： 菲姆；Expokit公司；KIOPS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
利瓦尔 75篇文献引用(2004–2023) 软件作者： M Lourakis先生 相关软件： STRSCNE公司；MCPLIB；凯利… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
汞 73篇文献引用(2009–2018) 软件作者： 卢卡斯，梅尔；Sara van de Geer；彼得·伯尔曼；曼纽尔·尤格斯特（Manuel Eugster）。。。 相关软件： 半标准杆；R；gss… 主要字段： 功能分析（46-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
简单MKL 66份文件引用(2008–2023) 软件作者： 阿兰·阿科托马蒙杰；巴赫，弗朗西斯·R。；圣埃芬省卡努；伊夫·格兰德瓦莱特 相关软件： SHOGUN公司；LIBSVM；UCI-ml… 主要字段： 功能分析（46-XX）；统计学（62-XX）；计算机科学（68-XX）…
展会。米 71篇文献引用(2009–2024) 软件作者： 简·摩德西茨基 相关软件： iLogDemons；克莱尔；LDDMM… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
可爱的 50篇文献引用(2003–2022) 软件作者： Koushik Sen；达科·马里诺夫；古尔·阿加 相关软件： 投掷；z3；KLEE… 主要字段： 数学逻辑与基础（03-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
iProver（iProver） 67篇文献引用(2008–2023) 软件作者： 康斯坦丁·科洛文 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
深度实验室 62篇文献引用(2018–2024) 软件作者： Liang-Chieh Chen、George Papandreou、Iasonas Kokkinos、Kevin Murphy、Alan L.Yuille 相关软件： ImageNet；U-Net；SegNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CPA检查器 45篇文献引用(2011–2023) 软件作者： 德克·拜尔、斯特凡·洛韦、菲利普·温德勒 相关软件： 爆破；CBMC；SLAM… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
雅高 52篇文献引用(2009–2023) 软件作者： J.Hoffart、F.Suchanek、K.Berberich、G.Weikum、G.Kasneci 相关软件： DBpedia；自由基；WordNet… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
工具箱LS 59篇文献引用(2005–2023) 软件作者： 员米切尔 相关软件： 顶部.m；椭圆工具箱；ROC-HJ… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
CVXGEN公司 在48份文件中引用(2010–2023) 软件作者： J.马丁利；S.博伊德 相关软件： qpOASES；ECOS；fast_mpc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SWIFFT银行 51篇文献引用(2008–2021) 软件作者： 卢巴什夫斯基，瓦迪姆；丹尼尔·米恰尼西奥（Daniele Micciancio）；克里斯·佩克特（Chris Peikert）；阿隆·罗森 相关软件： NTRU；NTL；SWIFFTX… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
旋转（swrl） 32篇文献引用(2005–2022) 软件作者： Horrocks，I.、Patel Schneider，P.F.、Boley，H.、Tabet，S.、Grosof，B.、Dean，M。 相关软件： 颗粒；FaCT++；SPARQL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CeTA公司 49篇文献引用(2009–2023) 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
流量* 49篇文献引用(2015–2024) 软件作者： Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件： SpaceEx；d范围；高科技… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
GPDT公司 51篇文献引用(2005–2024) 软件作者： 卢卡·赞尼（Luca Zanni）；托马斯·塞拉菲尼（Thomas Serafini）；盖塔诺·赞吉拉特 相关软件： CONV_QP；SVM灯；UCI-ml… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
SLIQ公司 40篇文献引用(1997–2022) 软件作者： 曼尼什·梅塔；拉凯什·阿格拉瓦尔；乔玛·里萨南 相关软件： 冲刺；C4.5；UCI-ml… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
VOF工具 49篇文献引用(2008–2023) 软件作者： J.López、J.Hernández 相关软件： 前列素；voFoam；SLIC… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
数字 在48份文件中引用(1998–2023) 软件作者： van Hentenryck，P.，Deville，Y.，Michel，L。 相关软件： 进入PT_90；RealPaver；BARON… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ROMS（只读存储器） 在48份文件中引用(2008–2024) 软件作者： 海德沃格尔，D.B。；阿兰戈，H。；Budgell，W.P。；科努埃尔，B.D。；Curchitser，E。；迪·洛伦佐（Di Lorenzo），E。；茴香，K。；Geyer，W.R。；赫尔曼·A·J。；Lanerolle，L。；莱文，J。；McWilliams，J.C。；Miller，A.J。；摩尔，A.M。；鲍威尔，T.M。；Shchepetkin，A.F。；舍伍德，C.R。；Signell，R.P。；华纳，J.C。；威尔金，J。 相关软件： 海洋保护区；L-BFGS；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
HLM公司 22篇文献引用(2002–2016) 软件作者： SSI，科学软件国际有限公司。， 相关软件： MLwiN；R；SPSS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MuJoCo公司 38篇文献引用(2016–2024) 软件作者： E.Todorov、T.Erez、Y.Tassa 相关软件： OpenAI健身房；亚当；GitHub… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
分享 38篇文献引用(1992–2024) 软件作者： 罗宾·萨纳（Robin Sahner）；Trivedi，Kishor S。；安东尼奥·普利亚菲托 相关软件： 莫比乌斯；SPNP；智能_… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SOLA-VOF公司 44篇文献引用(1984–2022) 软件作者： B.D.Nichols、C.W.Hirt、R.S.Hotchkiss 相关软件： NASA-VOF2D；涟漪；SLIC… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
T-咖啡 32篇文献引用(2004–2023) 软件作者： C.Notredame、D.G.Higgins、J.Heringa 相关软件： ClustalW；肌肉；马夫特… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
x珀特 43篇文献引用(2009–2023) 软件作者： David Brizuela；何塞·M·马丁·加西亚。；Mena Marugán，Guillermo A。 相关软件： x法案；xTras；xTensor… 主要字段： 算子理论（47-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
TIGRA公司 43篇文献引用(2003–2023) 软件作者： 朗尼·拉姆劳 相关软件： 纽顿图书馆；FEniCS；mngn… 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；变分法与最优控制；优化（49-XX）…
SMOTEBoost公司 33篇文献引用(2004–2023) 软件作者： 巴尔南·达斯；Nitesh V.Chawla、Aleksandar Lazarevic、Lawrence O.Hall、Kevin W.Bowyer 相关软件： SMOTE；UCI-ml；AdaCost… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
转向器 38篇文献引用(2010–2022) 软件作者： 罗伯特·布鲁迈尔；阿明·比尔 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
火焰 39篇文献引用(1997–2022) 软件作者： 保罗·比伦特斯；恩里克·S·金塔纳·奥尔蒂。；范德盖恩（Robert A van de Geijn） 相关软件： LAPACK；爆破；ATLAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
xPerm（xPerm） 37篇文献引用(2008–2023) 软件作者： 何塞·马丁·加西亚 相关软件： x法案；xTras；因瓦… 主要字段： 代数几何（14-XX）；微分几何（53-XX）；整体分析，流形分析（58-XX）…
幼兽 38篇文献引用(2010–2023) 软件作者： 玛丽亚·伊安纳里奥、多梅尼科·皮科洛、罗莎莉亚·西蒙 相关软件： catdata；R；潜在的黄金… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
PARPAP公司 38篇文献引用(2006–2023) 软件作者： 贝特尔斯，斯特凡；托尔斯滕·法勒 相关软件： VRP；古罗比；超启发式… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
冲刺 引用于27份文件(1998–2021) 软件作者： Shafer CJ、Agrawal R、Mehta M 相关软件： SLIQ；C4.5；UCI-ml… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
百万流量 38篇文献引用(2000–2023) 软件作者： R·鲁德尼克。 相关软件： TAU；FLOWer公司；Spalart-Allmaras… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NINJA公司 30篇文献引用(2000–2019) 软件作者： 何塞·莫雷拉（JoséE.Moreira）。；塞缪尔·米奇夫（Samuel P.Midkiff）。；马尼什省古普塔；吴鹏；乔治·阿尔马西（George Almasi）；佩德罗·阿蒂加斯 相关软件： TNT；爪哇格兰德；忍者… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
LUPS公司 37篇文献引用(1999–2019) 软件作者： 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。 相关软件： XSB；平滑；EVOLP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
克莱尔 32篇文献引用(1998–2019) 软件作者： 伊夫·卡索；弗朗索瓦·沙维尔（François-Xavier），约塞特（Josset）；弗朗索瓦·拉伯特 相关软件： 奥兹；乔科；SALSA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LOBPCG公司 35篇文献引用(2001–2023) 软件作者： 丹尼尔·克雷斯纳（Daniel Kressner）；克里斯汀·托布勒 相关软件： htucker；TT工具箱；GitHub… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
泥背 32篇文献引用(1989–2021) 软件作者： 约翰·C·亚当斯。 相关软件： 泥袋-2；FISHPAK；FFTW… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
奥卡 19份文件引用(2008–2022) 软件作者： 海湾，南达科他州。；施瓦巴赫，M 相关软件： LOF；UCI-ml；SLOM… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；天文学和天体物理学（85-XX）…
天鹅绒 26篇文献引用(2012–2022) 软件作者： D.R.Zerbino和E.Birney 相关软件： ALLPATHS公司；深渊；SPAdes… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计学（62-XX）…
深色SUSY 29篇文献引用(2006–2022) 软件作者： P缆车；J Edsjö；乌利奥；L Bergström；M Schelke；E A巴尔茨 相关软件： 微囊藻；柔软；PYTHIA8… 主要字段： 代数几何（14-XX）；偏微分方程（35-XX）；量子理论（81-XX）…
开花V 30篇文献引用(1999–2023) 软件作者： 弗拉基米尔·科尔莫戈罗夫 相关软件： Blossom IV；TSPLIB；LEDA… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Fastcap公司 28篇文献引用(1993–2021) 软件作者： Nabors，K。；J.怀特。 相关软件： FFTW；法斯亨利；FFTSVD… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
甘比特 28篇文献引用(2000–2022) 软件作者： Fluent公司。 相关软件： FLUENT公司；Matlab；CUBIT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
LBIE公司 30篇文献引用(2005–2023) 软件作者： Y.Zhang，C.Bajaj；计算可视化中心 相关软件： CUBIT公司；Gmsh；FEAPpv… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PySP公司 28篇文献引用(2012–2023) 软件作者： Jean-Paul Watson；伍德拉夫，大卫·L·。；威廉·哈特（William E.Hart）。 相关软件： Pyomo；CPLEX；古罗比… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
奎索 24篇文献引用(2011–2023) 软件作者： 埃内斯托·普鲁登西奥（Ernesto Prudencio）；卡尔·W·舒尔茨 相关软件： 达科塔；libMesh；交易.ii… 主要字段： 统计学（62-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
不明飞行物 22篇文献引用(2012–2022) 软件作者： Aws Albarghouthi、Yi Li、Arie Gurfinkel、Marsha Chechik 相关软件： CPA检查员；z3；爆炸… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
AS 197标准 引用于27份文件(1984–2012) 软件作者： 梅拉德，G。 相关软件： AS 154；TRAMO；预测… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
BoTorch公司 23篇文献引用(2021–2024) 软件作者： 马克西米利安·巴兰达（Maximilian Balandat）、布莱恩·卡勒（Brian Karrer）、丹尼尔·江泽民（Daniel R.Jiang）、塞缪尔·道尔顿（Samuel Daulton）、本杰明·莱瑟姆（Benjamin Letham）、安德鲁·戈登·威尔 相关软件： PyTorch；青蒿；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GNA公司 25篇文献引用（2006年至2021年） 软件作者： Hidde de Jong、Johannes Geiselmann、Céline Hernandez、Michel Page 相关软件： 生物CHAM；RoVerGeNe；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
摩洛哥迪拉姆 26篇文献引用(2002–2021) 软件作者： 肖恩·福思（Shaun A.Forth）；罗伯特·凯茨彻 相关软件： Matlab；ADOL-C；ADMAT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
火柴盒 24篇文献引用(2005–2023) 软件作者： J·沃尔德曼。 相关软件： AProVE；蒂罗尔；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
MongoDB数据库 在11份文件中引用(2012–2023) 软件作者： MongoDB公司。 相关软件： MapReduce；卡桑德拉；Bigtable… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
皮塔 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： ProbLog；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
DIP公司 23篇文献引用(2005–2023) 软件作者： T.K.拉尔夫、M.V.加拉蒂。 相关软件： SCIP；GCG；BaPCod… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
JCell公司 14篇文献引用(2008–2021) 软件作者： 伯纳贝多罗索罗 相关软件： jMetal公司；SPEA2；MOEA/D… 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；运筹学，数学规划（90-XX）…
持久性景观 21篇文献引用(2017–2024) 软件作者： Peter Bubenik；迪奥特科，巴威 相关软件： GitHub；TDA；开膛器… 主要字段： 一般拓扑（54-XX）；代数拓扑（55-XX）；统计学（62-XX）…
PFFT公司 20篇文献引用(2013–2023) 软件作者： 皮皮格，迈克尔 相关软件： FFTW；P3DFFT；2DECOMP… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
QuantumMACMAHON公司 22篇文献引用(2005–2022) 软件作者： D.泽尔伯格 相关软件： 结地图集；qZeil；q多项总和 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
布里斯克 19份文件引用(2013–2022) 软件作者： Stefan Leutenegger、Margarita Chli、Roland Siegwart 相关软件： 冲浪；SIFT；法语… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CRAFT（手工艺） 21篇文献引用(2020–2023) 软件作者： 拜尔勒，C。；Leander，G。；莫拉迪，A。；拉苏尔扎德，S。 相关软件： 极瘦的；出席；西蒙… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
F类* 21篇文献引用(2011–2020) 软件作者： 微软研究院（INRIA）；尼基尔·斯瓦米；Chen，Juan；Fornet，塞德里克；支柱，Pierre-Yves；Bhargavan，Karthikeyan；杨吉恩 相关软件： 辅酶q；Nuprl；EasyCrypt… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
数学张量 21篇文献引用(1997–2021) 软件作者： 史蒂文·克里斯滕森（Steven M.Christensen）。 相关软件： ATENSOR公司；Mathematica；卡达布拉… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
名称2 17篇文献引用(1998–2016) 软件作者： 莱克西坎特·凯尔；Robert Skeel；米林德·班达卡；Robert Brunner；阿提拉·古尔索伊；Neal Krawetz；詹姆斯·菲利普斯；Aritom Shinozaki；克利须那州瓦拉达拉扬；克劳斯·舒尔滕 相关软件： 查姆；Gromacs公司；NAMD… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
NiVER公司 21篇文献引用(2005–2023) 软件作者： Sathiamoorthy Subbarayan；Dhiraj K.普拉丹。 相关软件： MiniSat；糠；TPTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
程序标记 20篇文献引用(2008–2022) 软件作者： 白色，G.C。；K.P.伯纳姆 相关软件： 作记号；R；R标记… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
SPASS+T系列 21篇文献引用(2007–2023) 软件作者： 维吉尔·普雷沃斯托；乌韦·沃尔德曼 相关软件： z3；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；计算机科学（68-XX）
内部控制系统 19份文件引用(2001–2016) 软件作者： Jean-Christophe Filliátre；Owre，Sam；哈拉尔德街；Natarajan Shankar 相关软件： CVC-Lite；CVC；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；场论与多项式（12-XX）…
模拟模型 9份文件引用(2007–2023) 软件作者： 明导国际 相关软件： Simulink；Matlab；伯克敏… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
SBB公司 20篇文献引用（2002年-2023年） 软件作者： Busieck，M.R.、Drud，A。 相关软件： BARON公司；邦明；Ipopt… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
充分性模型 17篇文献引用(2015–2023) 软件作者： 佩德罗·拉斐尔·迪尼兹·马里诺（Pedro Rafael Diniz Marinho）、马塞洛·布尔吉尼翁（Marcelo Bourguignon）、西塞罗·拉菲尔·巴罗斯·迪亚斯（Cicero Rafael Barros Dias） 相关软件： R；maxLik；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）
ASTRO-DF公司 19份文件引用(2018–2023) 软件作者： 沙沙尼，萨拉；Fatemeh S.哈希米。；帕苏帕蒂，拉格 相关软件： UOBYQA；R样条；野马… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-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）…