ts桥 194份文件引用(1995–2024) 软件作者： 盖伊·J·阿贝尔；成龙·S·T·王 相关软件： R；贝叶斯DA；WinBUGS… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
APBS公司 95篇文献引用(2001–2023) 软件作者： 内森·贝克；J.Andrew McCammon；迈克尔·霍尔斯特 相关软件： MIBPB；塔比卜；CHARMM… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；光学、电磁理论（78-XX）…
MPTP 0.2毫米 55份文件引用（2006年至2021年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；VAMPIRE公司；E定理证明器… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
天文望远镜 5份文件引用(2018–2023) 软件作者： T.P.Robitaille、E.J.Tollerud等人。 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 统计学（62-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
小把戏 52篇文献引用(2014–2023) 软件作者： Jean，Jérémy；尼科利奇，伊维察；托马斯·佩林 相关软件： 极瘦的；西蒙；方形… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；信息与通信理论，电路（94-XX）
举起 42篇文献引用(2013–2023) 软件作者： 布莱恩·哈夫曼（Brian Huffman），Ondřej Kunčar 相关软件： 转让；Isabelle/HOL；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
换乘 42篇文献引用(2013–2023) 软件作者： 布莱恩·哈夫曼（Brian Huffman），Ondřej Kunčar 相关软件： 举起；Isabelle/HOL；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
CVXR公司 29篇文献引用(2019–2024) 软件作者： 傅安琪（Anqi Fu）、巴拉苏布拉曼尼亚人（Balasubramanian Narasimhan）、斯蒂芬·博伊德（Stephen Boyd） 相关软件： CVX；CVXPY；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
加农尼克 24篇文献引用(1987–2018) 软件作者： D.W.兰德。 相关软件： 分裂；SYMMGRP公司。最大值；diffgrob2… 主要字段： 非结合环与代数（17-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
MESSI公司 24篇文献引用(2018–2023) 软件作者： 梅赛德斯·佩雷斯·米兰（Mercedes Pérez Milán）、艾丽西娅·狄肯斯坦（Alicia Dickenstein） 相关软件： REDLOG；QEPCAD；枫树… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；常微分方程（34-XX）…
FITradeoff公司 22篇文献引用(2016–2024) 软件作者： de Almeida等人。；Frej等人。 相关软件： UTA Plus；ComPAIRS公司；丰富的决策… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
桥式取样 17篇文献引用(1996–2023) 软件作者： 昆廷·F·格罗瑙、亨利克·辛格曼、埃里克·扬·瓦根马克 相关软件： tsbridge；斯坦；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
中国科学院 22篇文献引用(1984–2020) 软件作者： Neubüser，J。；Pahlings，H。；普莱斯肯，W。 相关软件： 间隙；ATLAS集团代表；岩浆… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；群论与推广（20-XX）…
hgm R公司 21篇文献引用(2011–2022) 软件作者： 中山弘；肯塔州西山；马赛尤基·诺罗；Katsuyoshi Ohara；Sei，Tomonari；高山、Nobuki；赤池竹村 相关软件： Risa/Asir；DLMF；R、 … 主要字段： 结合环与代数（16-XX）；几个复变量与解析空间（32-XX）；特殊功能（33-XX）…
IsaCoSy公司 18篇文献引用(2010–2023) 软件作者： 穆阿·约翰逊（Moa Johansson）；卢卡斯·狄克逊；阿兰·邦迪 相关软件： HipSpec；IsaPlanner公司；时髦… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
AQCS（质量控制系统） 15篇文献引用(2000–2023) 软件作者： 南拉施恩 相关软件： QEPCAD；IbexOpt；数值… 主要字段： 数理逻辑与基础（03-XX）；一般代数系统（08-XX）；数值分析（65-XX）…
液化石油气 16篇文献引用(2009–2021) 软件作者： J.-S.Cheng、X.S.Gao、J.Li 相关软件： 隔离；隔离；CGAL… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；复变量函数（30-XX）…
驯服图 15篇文献引用(2006–2020) 软件作者： 格特鲁德·鲍尔；托比亚斯·尼普科 相关软件： Flyspeck；Isabelle/HOL；开普勒98… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；组合数学（05-XX）…
CAV汽车 13份文件引用(2011–2023) 软件作者： 布莱恩·纳卡穆拉 相关软件： GJsqfree；GJSAW；GJ系列… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；代数几何（14-XX）…
算法489 12份文件引用(1980–2022) 软件作者： 弗洛伊德·R·W。；里弗斯特，R.L。 相关软件： 查找；快速分拣；Qhull… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DyC公司 在11份文件中引用(2000–2010) 软件作者： Grant，B.、Mock，M.、Philipose，M.，Chambers，C.、Eggers，S.J。 相关软件： VCODE；记忆法；BCEL… 主要字段： 计算机科学（68-XX）
赫拉斯 在11份文件中引用(2010–2020) 软件作者： H.Murayama、I.Watanabe、K.Hagiwara 相关软件： MadGraph；PYTHIA8；MC@NLO; … 主要字段： 数值分析（65-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
岛屿 在11份文件中引用(2009–2018) 软件作者： 斯文·威尔多拉耶格（Sven Verdoolaege） 相关软件： 欧米茄；巴维诺克；TRACO… 主要字段： 组合数学（05-XX）；数论（11-XX）；凸和离散几何（52-XX）…
Z3字符串 10篇文献引用(2015–2023) 软件作者： Zheng Y、Zhang X、Ganesh V 相关软件： S3；z3；通过… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
佐维 在11份文件中引用(2011–2021) 软件作者： 乔治·马尔萨格里亚 相关软件： R；ReCirq公司 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；统计力学，物质结构（82-XX）…
奇数球 10篇文献引用(2012–2021) 软件作者： Akoglu，L.、McGlohon，M.、Faloutsos，C。 相关软件： LOF；gSpan；排名靠后… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
BEDFix公司 9份文件引用(2003–2020) 软件作者： 斯宾塞·谢尔曼；西科尔斯基，K。 相关软件： 算法848；minpack；TENSOLVE公司 主要字段： 算子理论（47-XX）；数值分析（65-XX）；计算机科学（68-XX）…
HOCL公司 7份文件引用(2006–2020) 软件作者： Banátre，J.-P。；弗雷德，P。；Radenac，Y。 相关软件： MGS；汤姆；Stratego… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
RcppGSL公司 2份文件引用(2013–2018) 软件作者： 罗曼·弗朗索瓦；德克·埃德布特尔 相关软件： R；卢比；RcppArmadillo… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
甘贾.js 8份文件引用(2020–2023) 软件作者： 史蒂文·德凯宁克 相关软件： github；加拉蒙；克利福德… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）…
HypSeries系列 8份文件引用(2022–2023) 软件作者： Blümlein，J。；Saragnese，M。；施耐德，C。 相关软件： 溶剂部分LDE；SumProduction；Hypexp… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；数值分析（65-XX）…
parest_dae 8份文件引用(2014–2022) 软件作者： 卡西安·潘提亚（Casian Pantea）、安库尔·古普塔（Ankur Gupta）、詹姆斯·罗林斯（James B.Rawlings）、戈奥盖·克拉西恩（Gheorghe Craciun） 相关软件： 雏菊；西安；奇异… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；代数拓扑（55-XX）…
外壳2 8份文件引用(1994–2011) 软件作者： 弗莱舍，J。；O.V.塔拉索夫。 相关软件： 表格；粉碎机；减少… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
溶剂部分LDE 8份文件引用(2022–2023) 软件作者： Blümlein，J。；Saragnese，M。；施耐德，C。 相关软件： HypSeries；SumProduction；Hypexp… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；数值分析（65-XX）…
常量_估计 7份文件引用（2019年-2023年） 软件作者： 廖世康；舒、于晨；刘雪峰 相关软件： 国际实验室；Matlab公司 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
塔朗 6篇文献引用(2018–2024) 软件作者： Teimurazov，A.S。；Stepanov，R.A。；Verma，M.K。；巴曼，S。；库马尔，A。；萨杜汗，S。 相关软件： 铅笔代码；闪电战++；Gerris… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；地球物理学（86-XX）
BioMagResBank公司 5份文件引用(2003–2022) 软件作者： 乌尔里希，E.L。；等。 相关软件： ARIAweb；CYANA；古罗比… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
质量2千瓦 5份文件引用(2008–2019) 软件作者： GJ Pelletier、SC Chapra、H Tao 相关软件： Matlab；船长；中观CASiMiR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
REACH标准 6篇文献引用(1997–2009) 软件作者： Kei Moritsugua、Jeremy C.Smith 相关软件： – 主要字段： 数理逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
小队 5份文件引用(2010–2021) 软件作者： 阿克拉姆·门德斯；卡洛斯·拉米雷斯；莫里西奥·佩雷斯·马丁内斯；曼多萨 相关软件： 动态记录仪；gplots；否定… 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
STOCHSIM公司 5份文件引用(2003–2019) 软件作者： Le Novere，N。；清水，T.S。 相关软件： 麦克尔；虚拟细胞；GEPASI… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
柯威 5份文件引用(2019–2021) 软件作者： 马克·贝尔 相关软件： MICC；间隙；OEIS… 主要字段： 群论与推广（20-XX）；复变量函数（30-XX）；几个复变量和分析空间（32-XX）…
修补器电池 2份文件引用(2014–2015) 软件作者： Deepak Chandran、Frank T.Bergmann、Herbert M.Sauro 相关软件： SynBioSS；塔巴斯科；lpSolve… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
E6张量 4份文件引用(2017–2023) 软件作者： 托马斯·德普西奇 相关软件： 亚当；克莱戈；数学软件 主要字段： 代数几何（14-XX）；拓扑群，李群（22-XX）；计算机科学（68-XX）…
汞 4份文件引用(2017–2023) 软件作者： Nobuki Takayama、Tamio Koyama、Tomonari Sei、Hiromasa Nakayama和Kenta Nishiyama 相关软件： R；dmod.lib；麦考利2… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；特殊功能（33-XX）…
Maple-flag-同源 4份文件引用(2016–2020) 软件作者： Shizuo Kaji公司 相关软件： github 主要字段： 组合数学（05-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
盛必特 2份文件引用(2014–2022) 软件作者： 李，吴；卡雷特，耶稣；A.Katcho，Nebil；纳塔利奥·明戈 相关软件： almaBTE；声子3py；斯普格利布… 主要字段： 偏微分方程（35-XX）；经典热力学，传热（80-XX）；统计力学，物质结构（82-XX）
棕色染料 引用于3份文件(2010–2013) 软件作者： Gary A.Huber。；J.Andrew McCammon 相关软件： Matlab；Fastcap；AFMPB… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；流体力学（76-XX）…
ELATE公司 2份文件引用(2018–2022) 软件作者： 罗曼·盖拉克（Romain Gaillac）、普鲁顿·普伦比（Pluton Pullumbi）、弗朗索瓦·沙维尔·库德特（François-Xavier Coudert） 相关软件： Mathematica；瓶子；阴谋… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
欧内斯特 2份文件引用(2010–2012) 软件作者： Soranzo，N.和Altafini，C。 相关软件： SuBliMinaL；JSBML；KEGGtranslator… 主要字段： 生物学和其他自然科学（92-XX）
FITEQL公司 引用于3份文件(2010–2017) 软件作者： J.C.韦斯特尔。 相关软件： PHREEQC；PhreeqcRM；WATSPEC… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）…
最小能量点 引用于3份文件(2019–2024) 软件作者： 奥利弗·库克（Oliver Kunc）；费利克斯·弗里岑 相关软件： 同心插值；k-均值++；hapod… 主要字段： 势能理论（31-XX）；数值分析（65-XX）；可变形固体力学（74-XX）
MNiBLoS（移动互联网操作系统） 引用于3份文件(2016–2023) 软件作者： 阿曼达·维达尔 相关软件： Fuzzydl；z3；SMT-LIB… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
PySR公司 2份文件引用(2023–2024) 软件作者： 克兰默，M。 相关软件： CANN；FPINN；NeuralUQ… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；地球物理学（86-XX）…
VarMiON公司 引用于3份文件(2023–2024) 软件作者： 帕特尔，德鲁夫；射线，深；Michael R.A.Abdelmalik。；托马斯·J·R·休斯。；阿萨德·A·奥贝拉伊。 相关软件： DeepONet；亚当；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
抛弃 2份文件引用（1998-2002年） 软件作者： B.C.Garrett、G.C.Lynch、T.C.Allison、D.G.Truhlar 相关软件： 多酸盐；VENUS96；VARIFLEX… 主要字段： 经典热力学，传热（80-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）
琥珀色 2份文件引用(2022) 软件作者： 马塞尔·穆斯布鲁克；埃齐奥·巴托西；Joost-Pieter Katoen；劳拉·科瓦奇 相关软件： 依赖；SymPy；哈卡鲁… 主要字段： 计算机科学（68-XX）
埃拉姆 2份文件引用(2010–2018) 软件作者： 阿尔诺·马尔默；佐伊·A.D.莱思布里奇。；理查德·沃尔顿（Richard I.Walton）。；克里斯托弗·史密斯。；斯蒂芬·帕克（Stephen C.Parker）。；Kenneth E.Evans。 相关软件： Matlab；ELATE公司 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
ENDL（终点） 2份文件引用(1997–2022) 软件作者： 丹尼斯·麦克纳布（Dennis McNabb）；LLNL公司 相关软件： GEANT4；普里兹玛；放松… 主要字段： 光学、电磁理论（78-XX）；量子理论（81-XX）
JSketch公司 2份文件引用(2017–2022) 软件作者： Jinseong Jeon；邱晓康；杰弗里·福斯特 相关软件： SyPet；代码提示；GitHub… 主要字段： 计算机科学（68-XX）
KINFIT公司 2份文件引用(2015–2016) 软件作者： Rovati GE、Shrager R、Nicosia S、Munson PJ。 相关软件： KinFitSim；DynaFit；GEPASI公司 主要字段： 生物学和其他自然科学（92-XX）
伦敦证券交易所 2份文件引用(2017) 软件作者： 安德烈亚斯·亨（Andreas Hehn）；van Well，Natalija；马蒂亚斯·特洛伊尔 相关软件： gmp；阿尔卑斯山 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）
数学.js 1份文件引用(2019) 软件作者： 乔斯·德容 相关软件： JavaScript；spatiasql.js；TensorFlow.js… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PDSC公司++ 2份文件引用(2015–2021) 软件作者： Lo，Ming-Chung；苏成钦；吴宗欣；曾坤昌 相关软件： dsmcFoam；数模转换器 主要字段： 数值分析（65-XX）；流体力学（76-XX）
利福西姆 2份文件引用(2018–2020) 软件作者： Maplesoft软件 相关软件： 枫树；外部 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；流体力学（76-XX）…
ROBFIT公司 2份文件引用(1991–2000) 软件作者： 罗伯特·L·科尔德威尔。；加里·班福德。 相关软件： – 主要字段： 统计学（62-XX）；数值分析（65-XX）；相对论和引力理论（83-XX）
Runwien公司 1份文件引用(2011) 软件作者： A.Otero de la Roza；Víctor Luaña 相关软件： WIEN2k；量子浓缩咖啡；AsturFit… 主要字段： 可变形固体力学（74-XX）
SimplifySum公司 2份文件引用(2014–2015) 软件作者： David H.Bailey。；乔纳森·博文（Jonathan M.Borwein）。；亚历山大·凯泽。 相关软件： DLMF；ARPREC；GitHub… 主要字段： 数论（11-XX）；计算机科学（68-XX）
AAPL公司 在0个文档中引用 软件作者： J.Plata、P.Nath、D.Usanmaz、J.Carrete、C.Toher、M.Jong、M.Asta、M.Fornari、M.B.Nardelli、S.Curtarolo 相关软件： Scikit；almaBTE；圣贝特… 主要字段： –
数据采集系统 在0个文档中引用 软件作者： Motoyama Y.、Yoshimi K.、Masaki Kato A.、Kato T.、Kawashima N。 相关软件： 征服；D芯；游戏… 主要字段： –