GMRFLib公司 408篇文献引用(1991–2024) 软件作者： 哈瓦德街；莱昂哈德·赫尔德 相关软件： R；spBayes；贝叶斯DA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
快速检查 93篇文献引用(2001–2024) 软件作者： 科恩·克莱森；约翰·休斯 相关软件： 哈斯克尔；Coq；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
近地天体 98篇文献引用(1997–2023) 软件作者： 约瑟夫·齐兹克（Joseph Czyzyk）；迈克尔·梅斯尼尔（Michael P.Mesnier）；豪尔赫·莫雷 相关软件： AMPL；GAMS；CPLEX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
细胞景观 48篇文献引用(2007–2023) 软件作者： Shannon P、Markiel A、Ozier O、Baliga NS、Wang JT、Ramage D、Amin N、Schwikowski B、Ideker T 相关软件： KEGG；R；IntAct… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
Nitpick公司 77份文件引用(1999–2023) 软件作者： Jasmin Christian布兰切特；托比亚斯·尼普科 相关软件： Isabelle/HOL；大锤；伊莎贝尔… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
安全保障局 73篇文献引用(2018–2024) 软件作者： S.米尔贾利利、A.H.甘多米、S.Z.米尔贾里利、S.萨雷米、H.法利斯、S.M.米尔加利利 相关软件： GWO；WOA；GSA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ProB公司 55份文件引用(2002–2022) 软件作者： 迈克尔·洛伊舍尔（Michael Leuschel）；麦可巴特勒 相关软件： 罗丹；Z；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
DEoptim公司 52篇文献引用(2008–2023) 软件作者： 凯瑟琳·马伦。；大卫·阿迪亚；Gil，David L。；唐纳德·温多弗（Donald Windover）；詹姆斯·克莱恩 相关软件： R；rgenoud；GA… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
杰森 引用于47份文件(1977–2023) 软件作者： 拉斐尔·博迪尼。；胡布纳，乔米·弗雷德；迈克尔·伍尔德里奇 相关软件： AgentSpeak；贾德克斯；2APL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马里乌斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
橡皮擦 36篇文献引用(2000–2021) 软件作者： Savage，S.、Burrows，M.、Nelson，G.、Sobalvarro，P.、Anderson，T。 相关软件： veriSoft；RacerX；班德拉… 主要字段： 计算机科学（68-XX）
快速的 引用于42份文件(2005–2023) 软件作者： Bardin，S.、Leroux，J.、Finkel，A.、Petrucci，L。 相关软件： TREX公司；睫毛；阿斯匹克… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
Uppaal2k公司 38篇文献引用(2000–2017) 软件作者： 金·拉森（Kim G.Larsen）、王毅（Wang Yi）、保罗·佩特森（Paul Pettersson）、亚历山大·戴维（Alexandre David）、布莱恩·尼尔森（Brian Nielsen）、阿恩·斯科（Arne Skou）、约翰·哈坎森（John Hákansson）、雅各布·伊勒姆·拉斯穆森（Jacob Illum Rasmussen） 相关软件： Uppaal；克罗诺斯；高科技… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
骨骼路线 36篇文献引用(2002–2023) 软件作者： Tarantilis，C.D。；C.T.基拉努迪斯。 相关软件： VRP；CVRPSP；禁忌搜索… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；运筹学，数学规划（90-XX）…
奥特 34份文件引用(2007–2021) 软件作者： 彼得·休厄尔（Peter Sewell）；纳德利，弗朗西斯科·扎帕；斯科特·欧文斯；吉尔斯·佩斯金（Gilles Peskine）；托马斯·里奇；萨卡，苏斯米特；Strniša，罗克 相关软件： Coq；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
希特科夫斯基 33篇文献引用(1993–2022) 软件作者： 克劳斯·希特科夫斯基 相关软件： Matlab；MINLPLib；NL2SOL… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
mipmatch公司 27篇文献引用(2012–2023) 软件作者： Jos'e R.祖比扎雷塔。 相关软件： DOS；精细平衡；nbpMatching… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
nbp匹配 25篇文献引用(2012–2023) 软件作者： 卢波；Robert Greevy；Xu，Xinyi；科尔·贝克 相关软件： DOS；optmatch；微调… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
变身 23篇文献引用(2012–2023) 软件作者： 托尔斯滕·阿伦特；恩里科·比尔曼；斯特凡·尤拉克；克里斯蒂安·克劳斯（Christian Krause）；加布里埃尔·坦泽尔 相关软件： AGG；沟槽；GrGen… 主要字段： 范畴理论；同调代数（18-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）…
测试时代 在16份文件中引用(2002–2020) 软件作者： 马里诺夫，D；库尔希德，南 相关软件： 科拉特；Symstra公司；TACO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Voom公司 21篇文献引用(2015–2023) 软件作者： Law，C.W.，Chen，Y.，Shi，W.，Smyth，G.K。 相关软件： 边缘R；生物导体；limma… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
Elastix公司 15篇文献引用(2013–2022) 软件作者： Klein，S.、Staring，M.、Murphy，K.、Viergever，M.A.、Pluim，J.P.等人。 相关软件： 蟒蛇；ITK；FAIR.m… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
马卡尔 18篇文献引用(1985–2023) 软件作者： Fishbone，L.G.公司。；Giesen，G。；戈尔茨坦，G。；Hymmen，H.A。；股票，K.J。；沃斯·H。；王尔德，D。；Zoelcher，R。；巴尔泽，C。；H.阿比洛克。 相关软件： 梅赛格三世；EFOM 12C；Pypsa… 主要字段： 概率论与随机过程（60-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
GPGPU（通用图形处理器） 14篇文献引用(2006–2018) 软件作者： Luebke，D.，Harris，M.，Govindaraju，N.，Lefohn，A.，Houston，M。 相关软件： CUDA；OpenACC；OpenCL… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
CholQR公司 18篇文献引用(2015–2023) 软件作者： 山崎一郎；斯坦尼米尔·托莫夫；杰克·东加拉 相关软件： mctoolbox；CholeskyQR2；LBNL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
十字架 18篇文献引用(2012–2024) 软件作者： 张安如 相关软件： 导缆器流量；罚款；glmnet… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
戴恩西上校 17篇文献引用(2020–2024) 软件作者： 托马斯·卡佩拉；玛丽安·姆罗泽克（Marian Mrozek）；丹尼尔·威尔扎克（Daniel Wilczak）；彼得·兹格利钦斯基 相关软件： 国际实验室；github；杆… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
CCFinder（CCFinder） 2份文件引用(2009–2023) 软件作者： Kamiya，T.，Kusumoto，S.，Inoue，K 相关软件： 甲板；CP-miner；获胜… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
数字普遍性 在16份文件中引用(2014–2023) 软件作者： 珀西·戴夫（Percy A.Deift）。；戈文德·梅农；希恩，奥弗；托马斯·特罗格登 相关软件： DLMF；香蒜酱；快速排序… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
爪Z 14篇文献引用(1988–2022) 软件作者： 罗布·阿尔坦 相关软件： 马戏团；电源保护；Simulink… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
HyFIS公司 9份文件引用(2002–2022) 软件作者： Kim J、Kasabov N 相关软件： ANFIS；DENFIS；树… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
NESTA公司 14篇文献引用（2016年至2022年） 软件作者： 科夫林，C.，戈登，D.，斯科特，P。 相关软件： MATPOWER公司；莫塞克；YALMIP… 主要字段： 代数几何（14-XX）；测量和集成（28-XX）；数值分析（65-XX）…
相场FEniCS 14篇文献引用(2019–2023) 软件作者： Hirshikesh、S.Natarajan、R.K.Annabattula、E.Martínez-Pañeda 相关软件： 相位场H；相位场UEL；ABAQUS… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
Y-Geo公司 14篇文献引用(2015–2022) 软件作者： 俄克拉荷马州马哈巴迪；Lisjak，A；蒙吉扎，A；格拉塞利，G 相关软件： UDEC；FEAPpv；多重分形… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
数学检查 在13份文件中引用(2015–2021) 软件作者： 明亮，柯蒂斯；维杰·加内什；阿尔伯特·海因勒；科齐里亚斯、伊利亚斯；赛义德·内贾蒂；Czarnecki，Krzysztof；爱德华·祖尔科斯基 相关软件： 山猫；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
Optimica公司 11份文件引用(2013–2018) 软件作者： – 相关软件： JModelica；Modelica；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PhyCNN（美国有线电视新闻网） 在13份文件中引用(2021–2024) 软件作者： 张瑞阳、刘洋、孙浩 相关软件： 亚当；PhyGeoNet；PyTorch… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
拉斯科 11份文件引用(2009–2022) 软件作者： 永藏；永丰；郑刚（音译） 相关软件： Eigenstrat；JMP；R、 … 主要字段： 历史与传记（01-XX）；统计学（62-XX）；数值分析（65-XX）…
CPsuperH公司 10篇文献引用(2007–2013) 软件作者： J.S.Lee；A.Pilaftsis；M.Carena；崔顺实；M.Drees；J.Ellis；C.E.M.瓦格纳 相关软件： 柔软；SuSpect；费恩希格斯… 主要字段： 光学、电磁理论（78-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
梦想 11份文件引用(2018–2023) 软件作者： J·A·弗鲁特 相关软件： 坚果；辉光；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
壁画 10篇文献引用(1991–2014) 软件作者： C.B.琼斯。；K.D.琼斯。；Lindsay，P.A。；R.D.摩尔。 相关软件： RAISE（提升）；落叶松；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
可视化软件 4份文件引用(2014–2021) 软件作者： 陈朝美 相关软件： VOS浏览器；CitNetExplorer；DeepWalk… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
迪维尔 9份文件引用(2005–2010) 软件作者： Malay K.Ganai。；阿蒂·古普塔；普拉纳夫·阿沙尔 相关软件： 糠；卫星抗体；CBMC… 主要字段： 测量和集成（28-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
多视图 10篇文献引用(2015–2023) 软件作者： 孙继萌、帕帕迪米特里奥、林庆永、曹楠、刘世霞、钱伟宏 相关软件： 张量工具箱；Tensorlab公司；tproduct… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）…
皮考克斯 10篇文献引用(2019–2023) 软件作者： 科瓦姆，瓦尔德；博尔根，阿尔努夫；艾达·谢尔 相关软件： DeepSurv；生存；GitHub… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
TcT公司 10篇文献引用(2016–2021) 软件作者： Avanzini，M.、Moser，G.、Schaper，M。 相关软件： AProVE；z3；TiML… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
代码爬虫 6篇文献引用(2004–2011) 软件作者： 兰扎，M；杜卡斯，S。；加尔，H。；平兹格，M。 相关软件： Seesoft；CVS扫描；Vizz3D… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
戴德梁行 8份文件引用（2016年至2022年） 软件作者： Slattery SR、Wilson PPH、Pawlowski RP。 相关软件： 预CICE；MpCCI；MCT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
TIMP公司 3份文件引用(2009–2020) 软件作者： Katharine M.Mullen、Joris J.Snellenburg、Sergey P.Laptenok、David Nicolaides、Ivo H.M.van Stokkum 相关软件： R；CRAIG公司；LSQR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
AmiCo公司 8份文件引用(2017–2023) 软件作者： Jasmin Christian布兰切特；Bouzy，艾默里克；安德烈亚斯·洛赫比勒；安德烈·波佩斯库；德米特里·特拉泰尔 相关软件： Isabelle/HOL；精益；Paco… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
AMYTISS公司 8份文件引用(2020–2023) 软件作者： 拉瓦伊（Lavaei），阿波法兹尔（Abolfazl）；哈立德，马哈茂德；萨代赫·苏贾尼；马吉德·扎马尼 相关软件： FAUST2；SReachTools；ProbReach… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
自动变电站 8份文件引用（2015年至2024年） 软件作者： S.Schäfer、T.Tebbi、G.Smolka 相关软件： Coq；github；流行标记… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
布尔网 7份文件引用(2010–2020) 软件作者： 艾伯特，I。；Thakar，J。；李，S。；张，R。；R·阿尔伯特。 相关软件： PANET；格拉夫维兹；CANA… 主要字段： 动力系统与遍历理论（37-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
数据建模器 7份文件引用(2009–2022) 软件作者： 马克·科坦切克 相关软件： Mathematica；启发式实验室；LIBSVM… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
艾尔默 7份文件引用(2013–2023) 软件作者： Gollan，R.J。；雅各布斯，P.A。 相关软件： AUSM；达科塔；AMLET… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
EpiSimdemics公司 8份文件引用(2010–2022) 软件作者： 克里斯托弗·巴雷特；基思·比塞特（Keith R.Bisset）；斯蒂芬·尤班克（Stephen G.Eubank）；西周风；马达夫·马拉特 相关软件： 作业成本法；格列维兹；迁徙… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
FlashMeta软件 6篇文献引用（2017年至2021年） 软件作者： 奥列克桑德·波洛佐夫；苏米特·古尔瓦尼 相关软件： FlashExtract；运输；FlashRelate… 主要字段： 计算机科学（68-XX）
IGA-ADS公司 8份文件引用(2017–2023) 软件作者： Łosh，Marcin M。；Woźniak，Maciej；马西耶·帕西恩斯基亚；安德鲁·伦哈特；哈桑（Muhamm Amber Hassaan）；基沙夫·平加里 相关软件： CMake；促进；增强C++库… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
sldg（sldg） 8份文件引用(2016–2021) 软件作者： 卢卡斯埃因肯默 相关软件： GYSELA公司；Vador；FFTW… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
TiML公司 8份文件引用(2018–2022) 软件作者： Wang，P.，Wang，D.，Chlipala，A。 相关软件： TcT；z3；分离逻辑… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
UniForM公司 7份文件引用(1999–2011) 软件作者： Bernd Krieg-Brückner、Jan Peleska、Ernst-Rüdiger Olderog、Alexander Baer 相关软件： Uppaal；FranTk；GHC… 主要字段： 计算机科学（68-XX）
弦链接 7份文件引用(2019–2023) 软件作者： 洛伦佐·安戈里；沃尔特·迪迪莫（Walter Didimo）；法布里齐奥·蒙特奇亚尼；丹尼尔·帕柳卡；亚历山德拉·塔皮尼 相关软件： NodeTrix；马戏团；github 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
德拉格 7份文件引用（2017年至2021年） 软件作者： 米勒，大卫；所罗门·西克特 相关软件： SPOT；猫头鹰；LTL2BA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
iFogSim软件 4份文件引用(2020–2023) 软件作者： 哈希特·古普塔、阿米尔·瓦希德·达斯特杰迪、索米亚·戈什、拉杰库马尔·布亚 相关软件： YAFS；FogNetSim++；云模拟… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
MEIGO公司 2份文件引用(2010–2019) 软件作者： Egea JA、Henriques D、Cokelaer T、Villaverde AF、MacNamara A、Danciu DP、Banga JR、Saez-Rodriguez J。 相关软件： COPASI；数据2Dynamics；AMIGO… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
狂喜 7份文件引用(2005–2020) 软件作者： Jeannet B、dArgenio P、Larsen K 相关软件： 棱镜；参数；PROPhESY… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
SABRE公司 5份文件引用(2011–2016) 软件作者： Didier，F.、Henzinger，T.A.、Mateescu，M.、Wolf，V 相关软件： 棱镜；玛丽；生物-PEPA… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
糖囊最小化器 7份文件引用(2020–2021) 软件作者： 马雷克·菲舍尔 相关软件： 组织环境信息系统；Mathematica；apTreeape… 主要字段： 组合数学（05-XX）；测量和集成（28-XX）；生物学和其他自然科学（92-XX）
SimDVS公司 6篇文献引用(2003–2018) 软件作者： 申东坤；Kim，Woonseok；Jeon、Jaekwon；Kim，Jihong；Min、Sang Lyul 相关软件： 镜子 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
Xcompact3d 6篇文献引用(2021–2023) 软件作者： 巴托洛缪，P。；Deskos，G。；Frantz，R。；舒赫，F。；兰巴拉斯，E。；莱泽，S。 相关软件： 松散3d；WInc3D；能量_光谱… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）
比特系统发育 4份文件引用(2016–2023) 软件作者： Yuan，K.、Sakoparig，T.、Markowetz，F.、Beerenwinkel，N 相关软件： PhyloWGS；贝叶斯先生；SciClone… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
卡萨尔 5份文件引用(2012–2022) 软件作者： 彼得·布利切夫（Peter Bulychev）；亚历山大·戴维；古德斯特兰·拉森（Kim Guldstrand Larsen）；Legay，Axel；李广元；丹尼·鲍尔森（Danny Bougsted Poulsen）；阿梅莉·施泰纳 相关软件： Uppaal；UPPAAL TIGA；APMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CLUE公司 5份文件引用(2021–2024) 软件作者： Alexey Ovchinnikov、Isabel Cristina Pérez Verona、Gleb Pogudin、Mirco Tribastone 相关软件： 侵蚀；尼莫；微分方程.jl… 主要字段： 结合环与代数（16-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
GW模型 1份文件引用(2021) 软件作者： Binbin Lu、Paul Harris、Martin Charlton、Chris Brunsdon 相关软件： R；gwrr；ArcGIS… 主要字段： 运筹学、数学规划（90-XX）
KaDE公司 6篇文献引用(2019–2024) 软件作者： Camporesi，F。；Feret，J。；Lí，K.Q。 相关软件： BioNetGen；生物CHAM；生物-PEPA… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；常微分方程（34-XX）…
操作系统设计 4份文件引用(2012–2018) 软件作者： Haneuse，S.、Saegusa，T.、Chaterjee，N.、Breslow，N。 相关软件： R；MCE；SAS/IML… 主要字段： 统计学（62-XX）
过去的 4份文件引用(2010–2020) 软件作者： O.Hammer、D.A.T.Harper、P.D.Ryan。 相关软件： R；FactoMineR；ca… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PEL皮肤 5份文件引用(2020–2024) 软件作者： Favier J.、Li C.、Kamps L.、Revell A.、O'Connor J.、Brücker C。 相关软件： VTK；HDF5；帕拉博斯… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）；地球物理学（86-XX）
Synth公司 3份文件引用(2018–2023) 软件作者： 阿尔贝托·阿巴迪；亚历克西斯·戴蒙德；延斯·海姆米勒 相关软件： R；ArCo；因果影响… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
温迪 3份文件引用(2011–2020) 软件作者： 尼尔斯·洛曼；丹妮拉·温伯格 相关软件： BPEL2oWFN；LOTOS；沃夫兰… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
AS 162标准 5份文件引用(1981–1990) 软件作者： P.G.史密斯。；M.C.派克。；希尔，A.P。；北卡罗来纳州布雷斯洛。；Day，东北部。 相关软件： 为83；AS 124；AS 138… 主要字段： 统计学（62-XX）；数值分析（65-XX）
买办 5份文件引用(2010–2019) 软件作者： Holly Janes、Gary Longton、Margaret Pepe 相关软件： Stata公司；加迈尔；引导… 主要字段： 统计学（62-XX）；数值分析（65-XX）；生物学和其他自然科学（92-XX）
决策实验室2000 5份文件引用(2001–2010) 软件作者： 视觉决策；盖尔德曼，尤塔；张可静 相关软件： UTA Plus；采访者；VIKOR… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ECOTOOL（生态工具） 4份文件引用(2012–2018) 软件作者： 佩德雷格尔，D.J.，孔特雷拉斯，J.，桑切斯，A。 相关软件： 船长；Matlab；S空间… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
鸡蛋 4份文件引用(2021–2023) 软件作者： Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha 相关软件： CatLib；同意；Verigraph… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
脆弱生存 2份文件引用(2021–2023) 软件作者： 约翰·摩纳哥（John V.Monaco）、马尔卡·戈尔芬（Malka Gorfine）、李旭（Li Hsu） 相关软件： 生存；R；Rcpp… 主要字段： 统计学（62-XX）
前2D 5份文件引用(2010–2017) 软件作者： Sourbier，F。；Operto，S。；维利厄，J。；中华人民共和国埃姆斯泰。；L'Excellent，J.-Y。 相关软件： 磁粉检测；MultiMin；ParaView… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
I2T型 1份文件引用(2012) 软件作者： 姚，B。；Yang，X.先生。；林，L。；Lee，M.W。；朱S.C。 相关软件： Im2Text；密度盖；PASCAL VOC… 主要字段： 计算机科学（68-XX）
李琴 4份文件引用(2020–2023) 软件作者： 法比奥·博纳科索（Fabio Bonaccoso）、安德烈亚·蒙台梭利（Andrea Montessori）、阿德里亚诺·蒂里博奇（Adriano Tiribocchi）、乔治·阿马蒂（Giorgio Amati）、马西莫·贝纳西（Massimo Bernaschi）、马可·劳 相关软件： LBcuda；帕拉博斯；LUDWIG… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
发光二极管 5份文件引用(2017–2023) 软件作者： Mikolaj Borzyszkowski、Daniele Bertacca、Cristiano Porciani（德国波恩阿根廷天文研究所） 相关软件： 类别；GADGET公司；概念… 主要字段： 几个复变量与解析空间（32-XX）；光学、电磁理论（78-XX）；量子理论（81-XX）…
LogiKEy公司 5份文件引用(2020–2022) 软件作者： Christoph Benzmüller、Xavier Parent、Leendert van der Torre 相关软件： Isabelle/HOL；Nitpick公司；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
QSWalk。米 4份文件引用（2017年至2021年） 软件作者： P.Falloon、J.Rodriguez、J.Wang 相关软件： QSWalk；qwViz；pyCTQW… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…