斯莫德尔斯 231篇文献引用(1999–2022) 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；Syrjänen，汤米 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
米兰达 155份文件引用(1985–2023) 软件作者： D.A.特纳。 相关软件： 哈斯克尔；毫升；清洁… 主要字段： 数学逻辑与基础（03-XX）；一般代数系统（08-XX）；范畴理论；同调代数（18-XX）…
STABLE（稳定） 119篇文献引用(1997–2023) 软件作者： 约翰·P·诺兰。 相关软件： R；SYMSTB；Matlab… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MGRIT公司 34份文件引用(2017–2023) 软件作者： Dobrev，V.A。；科列夫，Tz。；彼得森，N.A。；施罗德，J.B。 相关软件： pyParareal；XBraid；PARAEXP… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
钠12 29篇文献引用(1996–2022) 软件作者： 达里奥·安德里亚·比尼；美妮、比阿特丽斯 相关软件： SMCSolver；Matlab；cqt-toolbox… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
最大AO 26篇文献引用(1990–2023) 软件作者： Burer，S.，Monteiro，R.D.C.，Zhang，Y 相关软件： 高通公司；DIMACS；CirCut；…（C）… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TMSmesh公司 22篇文献引用(2013–2022) 软件作者： 陈明、陆斌。 相关软件： APBS；MIBPB；tabipb… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿司匹林 21篇文献引用(2015–2023) 软件作者： 格哈德·布鲁卡、詹姆斯·德尔格兰德、哈维尔·罗梅罗、托尔斯滕·绍布 相关软件： 克林戈；Potassco；WASP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
ODR确认 21篇文献引用(1989–2012) 软件作者： 保罗·博格斯、理查德·伯德、珍妮特·罗杰斯、罗伯特·施纳贝尔 相关软件： symrcm；抱怨；规范化工具… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
XTOR公司 21篇文献引用(1996–2022) 软件作者： 吕特延斯（Lütjens），辛里奇（Hinrich）；Jean-François卢西亚尼 相关软件： 奶酪；XTOR-2F；ECOM… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
稳定基线 引用于19份文件(2020–2023) 软件作者： Hill，A.、Raffin，A.、Ernestus，M.、Gleave，A.、Traore，R.、Dhariwal，P.、Hesse，C.、Klimov，O.、Nichol，A.、Plappert，M.、Radford，A.、Schulman，J.、Sidor，S.、Wu，Y。 相关软件： github；OpenAI健身房；TensorFlow… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
SQOPT公司 引用于19份文件(2003–2023) 软件作者： P.E.Gill、W.Murray、M.A.Saunders 相关软件： SNOPT；CUTEst公司；qpOASES… 主要字段： 统计学（62-XX）；数值分析（65-XX）；流体力学（76-XX）…
QPSchur公司 17篇文献引用(2006–2022) 软件作者： 巴特利特，罗斯科A。；Lorenz T.比格勒。 相关软件： qpOASES；LOQO；QPOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
科西马 在16份文件中引用(2015–2022) 软件作者： 塞布蒂·穆埃利；安托万·吉拉德；格雷戈·戈斯勒 相关软件： SCOTS；PESSOA；TuLiP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
黑斑羚 14篇文献引用(2019–2024) 软件作者： Lasse Espeholt、Hubert Soyer、Remi Munos、Karen Simonyan、Volodymir Mnih、Tom Ward、Yotam Doron、Vlad Firoiu、Tim Harley、Iain Dunning、Shane Legg、Koray Kavukcuoglu 相关软件： OpenAI健身房；亚当；AlexNet… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
强稳定理想 13份文件引用(2011–2023) 软件作者： P.莱拉 相关软件： 麦考利2号；单一；OEIS… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
f2低压 10篇文献引用(2011–2023) 软件作者： Lee，J.、Palla，R。 相关软件： CCalc；Cplus2ASP；Coala… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
稳定基线3 10篇文献引用(2021–2024) 软件作者： Raffin，A.，Hill，A.，Ernestus，M.，Gleave，A.，Kanervisto，A.，Dormann，N。 相关软件： OpenAI健身房；github；PyTorch… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
代理57 8份文件引用(2021–2023) 软件作者： 阿德里·普格多梅内克·巴迪亚、比拉尔·皮奥、史蒂文·卡普图洛夫斯基、巴勃罗·斯普雷希曼、亚历克斯·维维茨基、丹尼尔·郭、查尔斯·布伦德尔 相关软件： OpenAI健身房；亚当；PyTorch… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；量子理论（81-XX）…
PenPC公司 9份文件引用(2016–2024) 软件作者： 哈，闵进；孙伟；谢继春 相关软件： TETRAD公司；玻璃；pcalg… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
深度LOB 8份文件引用(2019–2023) 软件作者： 张子豪；斯特凡·佐伦；史蒂芬·罗伯茨 相关软件： 亚当；TensorFlow；GitHub… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）…
IQPACK公司 8份文件引用(1987–2022) 软件作者： Sylvan Elhay；雅罗斯拉夫·考茨基 相关软件： FODE；芯片；OPQ… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
冲浪 8份文件引用(2001–2017) 软件作者： S.Endrass、H.Huelf、R.Oertel、R.Schmitt、K.Schneider、J.Beigel 相关软件： 单一；枫树；GeoGebra… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
吵闹 3份文件引用(2017–2023) 软件作者： 连衣裙AW、Flamm C、Fritzsch G、Grüunewald S、Kruspe M、Prohaska SJ、Stadler PF 相关软件： T-咖啡；DIALIGN公司；DIALIGN-TX… 主要字段： 组合数学（05-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）
国歌 4份文件引用(2019–2020) 软件作者： Lifschitz，V.、Lühne，P.、Schaub，T。 相关软件： 格林戈；TPTP；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MODENA（莫德纳） 5份文件引用(2016–2020) 软件作者： 塔内达，A 相关软件： 法国复兴信贷银行；NNDB；快速排序… 主要字段： 变分法与最优控制；优化（49-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
SUPPLE公司 1份文件引用(2014) 软件作者： Krzysztof Z.Gajos、Daniel S.Weld、Jacob O.Wobbrock 相关软件： QOCA；蟒蛇；吉尔德… 主要字段： 计算机科学（68-XX）
BioStream公司 2份文件引用(2008–2020) 软件作者： Thies，William；约翰·保罗·乌尔班斯基（John Paul Urbanski）；托德·托德·托森（Todd Thorsen）；萨曼·阿马拉辛格 相关软件： COPASI；波特车轮；雏菊 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
CESAM公司 4份文件引用(2010–2018) 软件作者： 皮埃尔·莫雷尔（Pierre Morel）、伊夫林·勒布雷顿（Yveline Lebreton） 相关软件： G接合；JFNK；CGS公司 主要字段： 统计学（62-XX）；流体力学（76-XX）；相对论与引力理论（83-XX）…
PeSOA 3份文件引用(2018–2021) 软件作者： Youcef Gheraibia、Abdelouahab Moussaoui、Peng-Yeng Yin、Yiannis Papadopoulos、Smaine Maazouzi 相关软件： G3PARM；尼卡；NMEEF-SD… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
R增压器 4份文件引用(2018–2021) 软件作者： 苗，Q，曹，Y，夏，G，龚，M，刘，J，宋，J，R 相关软件： UCI-ml；ElemStatLearn；伊斯兰解放军… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
三表面浸没 3份文件引用(2022–2023) 软件作者： Tolle，T.、Gründing，D.、Bothe，D.、Marić，T。 相关软件： OpenFOAM；格里斯；lentFoam… 主要字段： 测量和集成（28-XX）；凸和离散几何（52-XX）；整体分析，流形分析（58-XX）…
垃圾桶 3份文件引用(2021–2023) 软件作者： 蒂莫泰吉·Hrga；卢日尔，博鲁特；Janez Povh；安吉丽卡·威格尔 相关软件： BiqCrunch；BiqMac；MADAM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
jMetalCpp公司 2份文件引用(2018–2023) 软件作者： López-Camacho，E。；加西亚·戈多伊，M.J。；Nebro，A.J。；Aldana-Montes，J.F。 相关软件： 蟒蛇；巴利巴斯；马夫特… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
味精-甘氨酸 在0个文档中引用 软件作者： 阿尼梅斯·卡内瓦尔（Animesh Karnewar）、奥利弗·王（Oliver Wang） 相关软件： 蟒蛇；GDAL；TensorFlow… 主要字段： ——
网络多样性 3份文件引用(2018–2023) 软件作者： 克里斯蒂娜·威克；马雷克·菲舍尔 相关软件： PhyloNetwork；PERL；FairShapley… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
寡核苷酸阵列 1份文件引用(2007) 软件作者： Rouillard，J.-M。；Zuker，M。；E.古拉里。 相关软件： DINAMelt；UNAFold；随机PS… 主要字段： 生物学和其他自然科学（92-XX）
PhysNet（物理网） 2份文件引用(2021–2022) 软件作者： Oliver T.Unke、Markus Meuwly 相关软件： DScribe；张量摩尔；SchNet… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
确定性.mpl 2份文件引用(2014–2018) 软件作者： 阿米尔·哈希米；Michael Schweinfurter；Werner M.塞勒。 相关软件： 最大红数mpl；单数的 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
GoTube公司 2份文件引用(2022) 软件作者： 索菲·格伦巴赫（Sophie Gruenbacher）、马蒂亚斯·莱切纳（Mathias Lechner）、拉明·哈萨尼（Ramin Hasani）、丹妮拉·罗斯（Daniela Rus）、托马斯·汉津格（Thomas A.Henzinger）、斯科特·斯莫尔卡（Scott Smol 相关软件： 火炬差异；Reluplex；流量*… 主要字段： 计算机科学（68-XX）
MAGEMin公司 在0个文档中引用 软件作者： Riel，N.、Kaus，B.J.P.、Green，E.C.R.、Berlie，N。 相关软件： Perple_X；方面；Python… 主要字段： ——
多步控制 2份文件引用(2020–2021) 软件作者： 路易斯·索尔多·维埃拉；Laubenbacher，Reinhard C。；大卫·默鲁加拉 相关软件： 卡纳；github；亚当… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
失调症前期 1份文件引用(2016) 软件作者： 邓欣、Jesse Eickholt、程建林 相关软件： 剂量；阿波罗；DBAli工具… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
SDP对称约简.jl 2份文件引用(2022–2023) 软件作者： 丹尼尔·布罗什（Daniel Brosch）；艾蒂安·德克勒克 相关软件： CSDP；TSSOS；朱莉娅… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
sirus公司 2份文件引用(2021) 软件作者： 克莱门特·贝纳德（Clement Benard），马文·赖特（Marvin N.Wright） 相关软件： UCI-ml；C4.5；rpart… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）
SyzInv.mpl公司 2份文件引用(2018–2021) 软件作者： Binaei，Bentolhoda；阿米尔·哈希米；Werner M.塞勒。 相关软件： 枫树 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
深邃的眼睛 在0个文档中引用 软件作者： N.Pezzotti、T.Höllt、J.Van Gemert、B.P.Lelieveldt、E.Eisemann、A.Vilanova 相关软件： LSTMVis；ConvNetJS；活动（V）… 主要字段： ——
DiscASP（磁盘ASP） 1份文件引用(2022) 软件作者： 李芳；王华多；巴苏，金加尔；Elmer Salazar；戈帕尔·古普塔 相关软件： xASP；中国科学院科学院；xclingo公司 主要字段： 计算机科学（68-XX）
dsBinVal（数字二进制值） 在0个文档中引用 软件作者： 丹尼尔·沙尔克（Daniel Schalk）；Verena Sophia Hoffmann；伯恩德·比施尔（Bernd Bischl）；乌尔里希·曼斯曼 相关软件： pROC；数据屏蔽；R（右） 主要字段： ——
GC-ubs-CAP公司 1份文件引用(2023) 软件作者： 让-菲利普·莱萨；卡纳梅·松井；秋藤忠雄（Takayasu，Akitoshi） 相关软件： 杆；国际实验室；千伏… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）
印度财政部 1份文件引用(2019) 软件作者： 何，Q。；王，X。；张，C。；黄，M。；Zhao，Y。， 相关软件： 畅通节能法；CoFIM；CELF公司++ 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
LibCVM银行 1份文件引用(2014) 软件作者： Ivor Tsang、Andras Kocsor、James Kwok 相关软件： R；佩加索斯；LIBSVM… 主要字段： 计算机科学（68-XX）
小偷 1份文件引用(2017) 软件作者： Anton Polishko；哈桑，马里兰州阿比德；潘伟华；伊芙琳·M·邦尼克。；卡琳·勒罗赫（Karine Le Roch）；斯特凡诺·洛纳尔迪 相关软件： github；银河系；猴子… 主要字段： 生物学和其他自然科学（92-XX）