卢比 173篇文献引用(2013–2024) 软件作者： 德克·埃德布特尔；罗曼·弗朗索瓦；JJ Allaire；约翰·钱伯斯；道格拉斯·贝茨；凯文·乌西 相关软件： R；RcppArmadillo；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
OCaml公司 274份文件引用(1998–2023) 软件作者： INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
控制系统工具箱 166篇文献引用(1995–2024) 软件作者： MathWorks公司；格雷斯，A。；Laub，A.J。；Little，J.N。；汤普森，C.M。 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
LiteRed公司 160篇文献引用(2013–2024) 软件作者： R.李 相关软件： 火灾；雷杜泽；消防5… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
鲁棒控制工具箱 160篇文献引用(1989–2024) 软件作者： 数学工程；Balas G、Chiang R、Packard A、Safonov M 相关软件： Matlab；控制系统工具箱；Mu分析与合成工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
火灾 145篇文献中引用(2008–2023) 软件作者： A.V.斯米尔诺夫。 相关软件： LiteRed；雷杜泽；消防5… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
费曼图 133篇文献引用(2000–2024) 软件作者： 哈根·埃克；塞普·库布贝克 相关软件： FormCalc；费恩规则；FeynCalc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Modelica公司 120篇文献引用(2000–2024) 软件作者： 耶布拉，L.J。；贝伦格尔，M。；多米多，S。；E.扎扎。 相关软件： Dymola；Matlab；OpenModelica… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
剪切工具 118篇文献引用(2007–2024) 软件作者： 乔瓦尼·奥索拉；科斯塔斯·帕帕佐普洛斯；罗伯托·皮托 相关软件： 黑帽子；武士；HELAC-1回路… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
FeynCalc公司 102份文件引用(1995–2024) 软件作者： 罗尔夫·梅蒂格；弗雷德里克·奥雷拉纳（Frederik Orellana）；M.Böhm；A.丹尼 相关软件： FeynArts；表格；数学… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
蒂罗尔（Tyrolean） 95篇文献引用(2005–2023) 软件作者： Nao Hirokawa；阿尔特·米德尔多普 相关软件： AProVE；多终端；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；结合环与代数（16-XX）…
qpOASES公司 83份文件引用(2008–2023) 软件作者： H.J.Ferreau、C.Kirches、A.Potschka、H.G.Bock、M.Diehl 相关软件： fast_mpc；Ipopt公司；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
柔软 81份文件引用（2001年至2022年） 软件作者： 不列颠哥伦比亚省阿拉纳赫 相关软件： 斯费诺；SuSpect；micrOMEGAs… 主要字段： 统计学（62-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
窗体计算器 72份文件引用(2002–2024) 软件作者： 托马斯·哈恩（Thomas Hahn）；克里斯蒂安·沙帕赫 相关软件： FeynArts；循环工具；FeynRules… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
黑帽 80篇文献引用(2009–2024) 软件作者： C.F.Berger、Z.Bern、L.J.Dixon、F.Febres Cordero、D.Forde、H.Ita、D.A.Kosower、D.Maêtre 相关软件： CutTools；武士；Golem95… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
VCC（沃尔沃汽车公司） 61篇文献引用(2010–2023) 软件作者： Ernie Cohen、Markus Dahlweid、Mark Hillebrand、Dirk Leinenbach、MichałMoskal、Thomas Santen、Wolfram Schulte、Stephan Tobies 相关软件： z3；布吉；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
粉碎机 77份文件引用(1991–2023) 软件作者： S.G.Gorishny；S.A.Larin公司；L.R.Surguladze；F.V.特卡乔夫 相关软件： 表格；雷杜泽；MATAD… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；计算机科学（68-XX）…
C模型 68篇文献引用(2004–2022) 软件作者： 尤利娅·利勒 相关软件： 亚萨特；平滑；格林戈… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
HIFOO公司 73篇文献引用(2007–2024) 软件作者： D.Arzelier、G.Deaconu、S.Gumussoy、D.Henrion、M.Millstone、M.L.Overton 相关软件： 康普莱布；塞杜米；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
foreach公司 33篇文献引用(2013–2023) 软件作者： Steve Weston，Revolution Analytics公司 相关软件： R；do并行；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
蛋糕ML 60篇文献引用(2014–2023) 软件作者： 拉马纳库马尔；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯 相关软件： Isabelle/HOL；Coq；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
基拉 57篇文献引用(2018–2024) 软件作者： Maierhöfer，P。；乌索维奇，J。；尤尔，P。 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
回路 55份文件引用(2006–2023) 软件作者： Petr Vojtechovsky，Gabor Nagy 相关软件： 间隙；Mace4；校准仪9… 主要字段： 组合数学（05-XX）；一般代数系统（08-XX）；群论和推广（20-XX）…
循环工具 51份文件中引用(1999–2024) 软件作者： T.哈恩 相关软件： FormCalc；FeynArts；黑帽… 主要字段： 数值分析（65-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
PHiPAC公司 48篇文献引用(1997–2016) 软件作者： Jeff A Bilmes；克尔斯特·阿萨诺维奇；Rich Vuduc；Sriram Iyer；吉姆·德梅尔（Jim Demmel）；CheeWhye Chin；多米尼克·林 相关软件： ATLAS；BLAS；LAPACK… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
包装-X 49篇文献引用（2015年至2024年） 软件作者： Patel，Hiren H。 相关软件： FeynCalc；FeynArts；FeynRules… 主要字段： 代数拓扑（55-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
HDECAY公司 45篇文献引用(1998–2023) 软件作者： A.Djouadi、J.Kalinowski、M.Spira 相关软件： 微囊藻；柔软；NMHDECAY… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；量子理论（81-XX）…
马塔德 49篇文献引用（2001年至2022年） 软件作者： 马蒂亚斯·斯坦豪泽 相关软件： 表格；粉碎机；Axodraw… 主要字段： 数论（11-XX）；特殊功能（33-XX）；近似和展开（41-XX）…
PolyLogTools公司 引用于47份文件(2019–2024) 软件作者： 克劳德·杜尔（Claude Duhr）、法尔科·杜拉特（Falko Dulat） 相关软件： HyperInt公司；Hypexp；LiteRed… 主要字段： 特殊功能（33-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
MadGraph5_aMC@NLO 43篇文献引用(2014–2024) 软件作者： J.Alwall、R.Frederix、S.Frixione、V.Hirschi、F.Maltoni、O.Mattelaer、H.-S.Shao、T.Stelzer、P.Torrielli、M.Zaro 相关软件： 费恩规则；PYTHIA8；德尔菲斯… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
第12节 引用于42份文件(2011–2024) 软件作者： J.Carter；索菲亚·博罗卡、古德伦·海因里希、斯蒂芬·扬、史蒂芬·琼斯、马蒂亚斯·科纳、约翰内斯·施伦克、汤姆·齐克 相关软件： 雷杜泽；嘉年华；LiteRed… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
12月运行 41篇文献引用(2000–2024) 软件作者： K.G.Chetyrkin、J.H.Kuhn、M.Steinhauser 相关软件： 表格；CRunDec；数学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；量子理论（81-XX）…
TIGRA公司 43篇文献引用(2003–2023) 软件作者： 朗尼·拉姆劳 相关软件： 纽顿图书馆；FEniCS；mngn… 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；变分法与最优控制；优化（49-XX）…
卫星抗体 35篇文献引用(2005–2020) 软件作者： Clarke，E.，Kroning，D.，Sharygina，N.，Yorav，K。 相关软件： 爆炸；SLAM；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
琥珀色 36篇文献引用(2002–2023) 软件作者： J.Gluza、K.Kajda、T.Riemann 相关软件： 嘉年华；MBresolve；MB渐近… 主要字段： 特殊功能（33-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DDDAS系统 在30份文件中引用(2008–2023) 软件作者： 弗雷德里卡·达雷马 相关软件： EnKF；亚当；Exshall… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FiniteFlow有限流量 38篇文献引用(2020–2024) 软件作者： 蒂齐亚诺·佩拉罗 相关软件： LiteRed；雷杜泽；火灾… 主要字段： 几个复变量与解析空间（32-XX）；功能分析（46-XX）；数值分析（65-XX）…
Forcer公司 39篇文献引用(2017–2023) 软件作者： T.Ueda、B.Ruijl、J.A.M.Vermaseren 相关软件： 表格；LiteRed；Mincer… 主要字段： 数论（11-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
CHARMS公司 35篇文献引用(2002–2022) 软件作者： Krysl，P。 相关软件： ISOGAT；ABAQUS；Diffpack… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NINJA公司 在30份文件中引用(2000–2019) 软件作者： 何塞·莫雷拉（JoséE.Moreira）。；塞缪尔·P·米德基夫。；马尼什省古普塔；吴鹏；乔治·阿尔马西（George Almasi）；阿蒂加斯，佩德罗 相关软件： TNT；爪哇格兰德；忍者… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
HIP（热等静压） 33篇文献引用(2007–2023) 软件作者： 魏恩根；Huu Hai Nguyen；克里斯蒂娜·戴维；克里斯蒂安·吉尔吉纳（Cristian Gherghina）；Quang Loc Le；Ton-Chanh Le；阿桑卡亚·夏尔马 相关软件： 小脚；VeriFast；幻灯片… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
戈萨姆 32篇文献引用(2012–2023) 软件作者： G Cullen；N Greiner；G Heinrich；G Luisoni；P Mastrolia；G Ossola；T Reiter；F特拉蒙塔诺 相关软件： CutTools；黑帽子；HELAC-1回路… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Entropy-SGD公司 32篇文献引用(2018–2024) 软件作者： Pratik Chaudhari、Anna Choromanska、Stefano Soatto、Yann LeCun、Carlo Baldassi、Christian Borgs、Jennifer Chayes、Levent Sagun、Riccardo Zecchina 相关软件： AlexNet；ImageNet；亚当… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
武士 31份文件引用(2010–2022) 软件作者： Mastrolia出版社。；奥索拉，G。；Reiter，T。；特拉蒙塔诺，F。 相关软件： CutTools；黑帽子；HELAC-1回路… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；粒子力学与系统（70-XX）…
阿祖里岩 29篇文献引用(2017–2024) 软件作者： 亚历山德罗·乔治迪斯、卡斯珀·拉森、杨张 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
双回路振幅 在30份文件中引用(2015–2022) 软件作者： 雅各布·L·布尔贾利。；雅罗斯拉夫·特伦卡 相关软件： 正电子体；HyperInt公司；剪切工具… 主要字段： 组合数学（05-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
DrScheme公司 27篇文献引用(1997–2016) 软件作者： 芬德勒，罗伯特·布鲁斯；约翰·克莱门茨；科马克·弗拉纳根；马修·弗拉特（Matthew Flatt）；克里希纳穆提（Krishnamurthi，Shriram）；Paul Steckler；马提亚斯·费莱森 相关软件： LISP；哈斯克尔；ACL2… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；数学教育（97-XX）
差异支出 26篇文献引用(2020–2024) 软件作者： Martijn隐藏 相关软件： LiteRed；火灾；AMFlow… 主要字段： 特殊功能（33-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LanHEP项目 在24份文件中引用(1998–2022) 软件作者： A.V.塞梅诺夫 相关软件： CalcHEP；费恩规则；FeynArts… 主要字段： 偏微分方程（35-XX）；经典热力学，传热（80-XX）；量子理论（81-XX）…
SUIF公司 15篇文献引用(1995–2011) 软件作者： 罗伯特·威尔逊；罗伯特·S·弗伦奇；克里斯托弗·威尔逊（Christopher S.Wilson）；萨曼·阿马拉辛格（Saman P.Amarasinghe）；詹妮弗·安德森；Steve W.K.Tjiang；廖世伟；周文曾；玛丽·W·霍尔；莫妮卡·S·林；汉尼斯 相关软件： CUDA；MiBench公司；ParaWise… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
SuSpect公司 24篇文献引用（2006年至2022年） 软件作者： 朱亚迪（Djouadi）、阿卜杜勒哈克（Abdelhak）；Jean-Loíc Kneur；吉尔伯特·穆尔塔卡 相关软件： 柔软；斯费诺；micrOMEGAs… 主要字段： 代数拓扑（55-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
阿司匹克 25篇文献引用（2006年至2022年） 软件作者： 劳雷·贡诺德；尼古拉斯·哈尔巴赫斯 相关软件： ASTREE公司；快速；围裙… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NMSSM工具 26篇文献引用(2006–2017) 软件作者： 乌尔里希·埃尔旺格；约翰·冈宁（John F.Gunion）；西里尔·雨戈尼 相关软件： NMHDECAY公司；微囊藻；柔软… 主要字段： 量子理论（81-XX）；相对论和引力理论（83-XX）
戈勒姆95 25篇文献引用(2009–2020) 软件作者： T.Binoth，J.-Guillet博士，G.Heinrich，E.Pilon，T.Reiter 相关软件： CutTools；黑帽子；SAMURAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NNV公司 23篇文献引用(2021–2024) 软件作者： Hoang-Dung Tran、Xiaodong Yang、Diego Manzanas Lopez、Patrick Musau、Luan Viet Nguyen、Weiming Xiang、Stanley Bak、Taylor T.Johnson 相关软件： Reluplex；马拉博；AI2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
咖啡 20篇文献引用(2016–2021) 软件作者： Fabio Luporini、Ana Lucia Varbanescu、Florian Rathgeber、Gheorghe-Teodor Bercea、J.Ramanujam、David A.Ham、Paul H.J.Kelly 相关软件： Firedrake；PETSc；TSFC… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
AMFlow公司 21篇文献引用(2022–2024) 软件作者： 小刘、马燕青 相关软件： LiteRed；差异支出；完成流… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
白色 21篇文献引用(2010–2024) 软件作者： 沃尔夫冈·基利安；托尔斯滕·奥赫；尤尔根路透社 相关软件： SHERPA公司；CompHep；计算HEP… 主要字段： 组合数学（05-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
Dsix工具 在13份文件中引用(2018–2024) 软件作者： 亚历杭德罗·塞利斯、哈维尔·富恩特斯·马丁、阿维利诺·文森特、哈维尔·维托 相关软件： 威尔逊；SMEFTsim；匹配工具… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；粒子力学与系统（70-XX）…
OneLOop（OneLOop） 20篇文献引用(2010–2023) 软件作者： van Hameren，A。 相关软件： CutTools；HELAC-1回路；SAMURAI… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
SDECAY公司 20篇文献引用(2007–2021) 软件作者： M.Muhlleitner、A.Djouadi、Y.Mambrini 相关软件： 柔软；PYTHIA8；PROSPINO… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；量子理论（81-XX）…
TVOC公司 20篇文献引用（2005年至2022年） 软件作者： 克拉克·巴雷特；方毅；本杰明·戈德伯格（Benjamin Goldberg）；胡莹；阿米尔·普努利；勒诺尔·扎克 相关软件： CVT；Coq；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
ASE公司 3份文件引用(2019–2023) 软件作者： Hjorth Larsen，A。；Jörgen Mortensen，J。；Blomqvist，J。；卡斯泰利，I.E。；Christensen，R。；杜瓦克，M。；弗里斯·J。；格罗夫斯，M.N。；锤子，B。；哈格斯，C。；Hermes，E.D。；P.C.詹宁斯。；Bjerre Jensen，P。；科尔莫德，J。；Kitchin，J.R。；Leonhard Kolsbjerg，E。；14库巴尔，J。；Kaasbjerg，K。；Lysgaard，S。；Bergmann Maronsson，J。；Maxson，T。；Olsen，T。；Pastewka，L。；Peterson，A。；罗斯加德，C。；希奥茨，J。；舒特，O。；奇怪，M。；蒂格森，K。；Vegge，T。；维勒姆森，L。；Walter，M。；曾，Z。；雅各布森，K.W 相关软件： 蟒蛇；俾斯麦根；数字标识… 主要字段： 概率论与随机过程（60-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
GenSSI公司 20篇文献引用(2013–2023) 软件作者： Chis O、Banga J、Balsa-Canto E 相关软件： 雏菊；西安；COMBOS… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
S@M 19份文件引用(2008–2022) 软件作者： Maìtre，D。；马斯特里亚，P。 相关软件： CutTools；黑帽子；SAMURAI… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
C-AMS公司 18篇文献引用(2015–2023) 软件作者： Ţene，马泰；王一轩；哈吉贝吉，哈迪 相关软件： SGeMS；METIS公司；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
EAT（吃） 18篇文献引用(2001–2023) 软件作者： 弗朗西斯·谢尔盖；朱利奥·鲁比奥 相关软件： Kenzo；ACL2；Coq… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；代数拓扑（55-XX）…
MizarMode（米扎尔模式） 18篇文献引用（2006年至2019年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；MML；MoMM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
NGluon公司 17篇文献引用(2011–2020) 软件作者： Badger，S。；比德曼，B。；尤尔，P。 相关软件： CutTools；黑帽子；HELAC-1回路… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
VBFNLO公司 18篇文献引用(2010–2022) 软件作者： K.Arnold、J.Bellm、G.Bozzi、M.Brieg、F.Campanario、C.Englert、B.Feigl、J.Frank、T.Figy、F.Geyer、C.Hackstein、V.Hankele、B.Jager、M.Kerner、M.Kubocz、C.Oleari、S.Palmer、S.Platzer、M.Rauch、H.Rzehak、F.Schissler、O.Schlimpert、M.Spannowsky、M.Worek、D.Zeppenfeld 相关软件： 赫维格++；FeynArts；剪切工具… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；量子理论（81-XX）…
CoDEx公司 在13份文件中引用(2019–2024) 软件作者： Supratim Das Bakshi、Joydep Chakrabortty、Sunando Kumar Patra 相关软件： 匹配工具；Dsix工具；SuperTracer… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
COLLIER公司 15篇文献引用(2016–2023) 软件作者： A.Denner、S.Dittmier、L.Hofer 相关软件： CutTools；雷科拉；OneLOop… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
EMan公司 15篇文献引用(2006–2023) 软件作者： 史蒂文·卢特克（Steven J.Ludtke）；菲利普·鲍德温（Philip R.Baldwin）；华秋 相关软件： 冷冻SPARC；关系；法语… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Matchmakereft配对 17篇文献引用(2022–2024) 软件作者： 阿德里安·卡莫纳（Adrian Carmona）、阿奇利亚斯·拉佐普洛斯（Achilleas Lazopoulos）、巴勃罗·奥尔戈索（Pablo Olgoso）、何塞·圣地亚哥（Jose Santiago） 相关软件： SuperTracer；STrEAM；CoDEx… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；粒子力学与系统（70-XX）…
MetTeL公司 在16份文件中引用(2011–2021) 软件作者： 蒂什科夫斯基，德米特里；雷娜特·施密特（Renate A.Schmidt）。；穆罕默德·科达达迪 相关软件： LoTREC；KL-ONE；Gen2sat… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
苏西诺 在16份文件中引用(2012–2021) 软件作者： 雷纳托·M.丰塞卡 相关软件： LieART；莎拉；数学… 主要字段： 非结合环与代数（17-XX）；拓扑群，李群（22-XX）；计算机科学（68-XX）…
巴雷托·奈赫里奇 在16份文件中引用(2010–2023) 软件作者： Beuchat，Jean-Luc；Gonz'alez-D{'i}az，Jorge E。；Mitsunari，Shigeo；冈本英治；罗德（Rodr）{'i}盖兹（guez-Henr）{'i}奎兹（quez），弗朗西斯科（Francisco）；塔达诺里·特鲁亚 相关软件： github；C的SNARK；SPECK… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
LSUN公司 12份文件引用(2019–2023) 软件作者： 俞敏洪、阿里·塞夫、张银达、宋树然、托马斯·芬克豪斯、肖建雄 相关软件： ImageNet；亚当；Wasserstein GAN… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
峰值电阻@TE 在13份文件中引用(2014–2022) 软件作者： Lyonnet，F。；Schienbein等人。；斯塔布·F。；温格特，A。 相关软件： 莎拉；Mathematica；阿吉斯… 主要字段： 群论与推广（20-XX）；特殊功能（33-XX）；计算机科学（68-XX）…
EFTofPNG公司 14篇文献引用(2019–2023) 软件作者： 米歇尔·列维（Michele Levi）、扬·斯坦霍夫（Jan Steinhoff） 相关软件： x法案；基拉；LiteRed… 主要字段： 拓扑群，李群（22-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
快速PT 15篇文献引用(2017–2022) 软件作者： 方，肖；乔纳森·布莱泽克。；约瑟夫·麦克尤恩（Joseph E.McEwen）。；Christopher M.Hirata。 相关软件： CAMB；获取分配；主持人… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；量子理论（81-XX）…
FeynHelpers公司 15篇文献引用(2017–2024) 软件作者： 弗拉迪斯拉夫·什塔博文科 相关软件： FeynCalc；包装-X；FeynArts… 主要字段： 代数拓扑（55-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
圆形夹层 15篇文献引用(2016–2023) 软件作者： 劳尔·穆阿尔塔；J.M.M.蒙蒂尔；胡安·塔尔多斯 相关软件： ORB-SLAM2；冲浪；MonoSLAM… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
希格鲁 14篇文献引用(2006–2021) 软件作者： M.斯皮拉 相关软件： 寿司；赫维格++；MATAD… 主要字段： 总体主题；藏品（00-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
模型預測控制工具箱 在13份文件中引用(2005–2022) 软件作者： 贝姆帕德A。 相关软件： Matlab；控制系统工具箱；混合工具箱… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PID_调整 14篇文献引用(2005–2021) 软件作者： 拉斯·埃里克森 相关软件： YALMIP；塞杜米；Matlab… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；系统论；控制（93-XX）…
TIL公司 12份文件引用(1997–2022) 软件作者： 戴维·塔迪蒂（David Tarditi）；克里斯·斯通（Chris Stone）；格雷格·莫里塞特（Greg Morrisett）；罗伯特·哈珀；佩里·程 相关软件： TALx86；哈斯克尔；ML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
中国全国矿工协会 12份文件引用(2001–2010) 软件作者： 查普曼，B。；Bregier，F。；帕蒂尔，A。；Prabhakar，A。 相关软件： hwloc（高速锁定） 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Hyperlog程序 在13份文件中引用(2019–2023) 软件作者： O.施耐茨 相关软件： HyperInt公司；鹦鹉螺；SageMath… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；特殊功能（33-XX）…
LFLC 2000型 在13份文件中引用(2004–2022) 软件作者： 伊朗空军 相关软件： ETPS；fclust；Juzzy… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
数学检查 在13份文件中引用(2015–2021) 软件作者： 明亮，柯蒂斯；维杰·加内什；阿尔伯特·海因勒；科齐里亚斯、伊利亚斯；赛义德·内贾蒂；Czarnecki，Krzysztof；爱德华·祖尔科斯基 相关软件： 山猫；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
雷科拉 在13份文件中引用(2016–2023) 软件作者： 艾提斯、斯特凡诺；Denner，Ansgar；霍弗、拉尔斯；Lang，Jean-Nicolas；安德烈亚斯·沙尔夫；桑德罗·乌恰拉蒂 相关软件： COLLIER公司；CutTools；HELAC-1回路… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；量子理论（81-XX）
Siconos公司 在13份文件中引用(2010–2022) 软件作者： Siconos开发团队 相关软件： 路径求解器；pvlib；CasADi… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…