fda（右） 1806年文献引用(1997–2024) 软件作者： J.O.Ramsay、Hadley Wickham、Spencer Graves、Giles Hooker 相关软件： R；半标准杆；ElemStatLearn… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
磁粉探伤 490份文件引用(1990–2024) 软件作者： 杰弗里·菲克（Jeffrey A.Fike）。；胡安·阿隆索。 相关软件： LAPACK；CUDA；PETSc… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
ggplot2 285份文件引用(2006–2024) 软件作者： 哈德利·威克姆 相关软件： R；dplyr；闪亮… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
TPTP公司 引用于419份文件(1994–2023) 软件作者： Geoff Sutcliffe；克里斯蒂安·萨特纳 相关软件： VAMPIRE公司；E定理证明器；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
bvp4c 357份文件引用(2001–2024) 软件作者： 数学作业 相关软件： Matlab；MATLAB ODE套件；ode45… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
KEGG公司 206篇文献引用(2003–2023) 软件作者： Minoru Kanehisa；Susumu Goto公司 相关软件： 生物导体；R；UniProt… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
有限元分析 213篇文献引用(1993–2024) 软件作者： 泰勒；加州大学伯克利分校 相关软件： PETSc；ABAQUS；FEAPpv… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
LiE公司 179份文件引用(1993–2024) 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： Mathematica；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
Wirter流量 157篇文献引用(2015–2024) 软件作者： Emmanuel Candes、Li Xiaodong、Mahdi Soltanolkotabi 相关软件： 相位提升；PhaseMax；GESPAR… 主要字段： 变异微积分和最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
自动图形X 146篇文献中引用(1999–2024) 软件作者： 吉尔斯·卡波罗西 相关软件： 涂鸦；图形；nauty… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
VTK公司 94份文件引用(2000–2024) 软件作者： W.Schroeder、L.Avila、K.Martin、W.Hoffman、C.Law 相关软件： 蟒蛇；ParaView；Gmsh… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
Flyspeck飞点 132份文件引用（2004年-2023年） 软件作者： 托马斯·黑尔斯（Thomas C.Hales）。；坦克墨水，雕刻；塞萨里·卡利西克；约瑟夫·乌尔班（Josef Urban）；赫尔曼·格乌弗斯 相关软件： HOL灯；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
K2（K2） 122篇文献引用（2004年-2023年） 软件作者： 马可·泰尔（Marco Thiel）、马门·罗曼诺（Mamen Romano）、安德烈·伯格纳（AndréBergner） 相关软件： TISEAN公司；图表；Matlab… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
重新查看 106篇文献引用(1991–2023) 软件作者： 鲁道夫·伯哈默（Rudolf Berghammer）；冈瑟·施密特；温特，迈克尔 相关软件： Isabelle/HOL；箴言9；Rath… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
弹丸 71篇文献引用（2006年-2023年） 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
打开BUGS 80篇文献引用(2007–2024) 软件作者： 安德鲁·托马斯 相关软件： R；WinBUGS；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
位置传感器 82份文件引用(2008–2019) 软件作者： Chou，K.C。；沈海波（Shen，H.B.）。 相关软件： Euk-mPLoc；LIBSVM；iLoc-Euk… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
VisualSEEk（可视化搜索） 54篇文献引用(1998–2010) 软件作者： 约翰·史密斯；张世富 相关软件： NeTra；简单性；PicToSeek… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MACS-VRPTW公司 75篇文献引用(1996–2023) 软件作者： 卢卡·玛丽亚·甘巴黛拉（Luca Maria Gambardella）；埃里克·泰拉德；乔瓦尼·阿加齐 相关软件： VRP；禁忌搜索；HAS-QAP… 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；运筹学，数学规划（90-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
TRANSFAC公司 34份文件引用(2001–2020) 软件作者： E.Wingender、X.Chen、R.Hehl、H.Karas、I.Liebich、V.Matys、T.Meinhardt、M.Prüß、I.Reuter、F.Schacherer 相关软件： JASPAR；KEGG；BioProspector… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
阿勒夫 59篇文献引用（2004年-2023年） 软件作者： 斯里尼瓦桑，A 相关软件： ProbLog；github；Metagol… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
AntNet公司 48篇文献引用(1998–2015) 软件作者： Di Caro，G。；M.多里戈。 相关软件： AntHocNet；MACS-VRPTW；HAS-停止… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
NeTra公司 42篇文献引用(2000–2016) 软件作者： 马维英；B.S.曼朱纳 相关软件： VisualSEEk；简单性；PicToSeek… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）…
Protege公司 28篇文献引用（1997年至2022年） 软件作者： 斯坦福大学；J.H.Gennari、M.A.Musen、R.W.Fergerson等人。 相关软件： 颗粒；赛车手；耶拿… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
持久性图像 59篇文献引用(2016–2023) 软件作者： 亨利·亚当斯、索菲亚·切普斯塔诺娃、特根·爱默生、埃里克·汉森、迈克尔·柯比、弗朗西斯·莫塔、雷切尔·内维尔、克里斯·彼得森、帕特里克·希普曼、洛里·齐格尔梅尔 相关软件： github；Scikit；Gudhi… 主要字段： 代数拓扑（55-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
马拉雷亚 56篇文献引用(2007–2023) 软件作者： 约瑟夫·乌尔班 相关软件： E定理证明器；VAMPIRE公司；Mizar… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
PVM公司 54篇文献引用(2012–2023) 软件作者： 迪亚兹，M.J.卡斯特罗；费尔南德斯·尼托，E。 相关软件： HLLE；黎曼；CUDA… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
FSIM公司 48篇文献引用(2011–2023) 软件作者： 张，L.，牟，X.，张，D。 相关软件： DnCNN；2013年TID2013；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AGMG公司 49份文件中引用(2011–2023) 软件作者： Yvan Notay公司 相关软件： IFISS；HSL_MI20；BoomerAMG… 主要字段： 偏微分方程（35-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
Freshml公司 48篇文献引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： Coq；名义上的伊莎贝尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
AA索引 37篇文献引用（2006年-2023年） 软件作者： 川岛，S。；Kanehisa，M。 相关软件： 细胞定位；LIBSVM；iRSpot-PseDNC… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
C导管 48篇文献引用(2003–2020) 软件作者： 本扎肯，维罗尼克；朱塞佩·卡斯塔尼亚；阿兰·弗里希 相关软件： XDouce；XQuery；XPath… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
塔维尔纳 8份文件引用（2005年至2019年） 软件作者： Oinn，T.等人。；亚的斯亚贝巴，M。；费里斯，J。；D.马文。；Senger，M。；格林伍德，M。；卡弗，T。；格洛弗，K。；波科克，M.R。；抹布，A。；李，P。 相关软件： 飞马座；Java CoG工具包；BioMOBY… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；计算机科学（68-XX）…
ArcGIS 26篇文献引用(2002–2022) 软件作者： esri.com网站 相关软件： R；QGIS；Python… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-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）…
综合布线 42篇文献引用(2015–2021) 软件作者： 刘，B。；刘，F。；王，X。；陈，J。；方，L。；周，K.-C.： 相关软件： iRSpot-PseDNC；PseKNC；iPro54-PseKNC… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
HAS-质量保证计划 37篇文献引用(1999–2022) 软件作者： 甘巴德拉，L.M。；Taillard，E.D.公司。；M.多里戈。 相关软件： MACS-VRPTW；QAPLIB；禁忌搜索… 主要字段： 变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Memtype-2L型 39篇文献引用(2008–2019) 软件作者： Chou，K.C。；沈海波（Shen，H.B.）。 相关软件： 细胞定位；ProtIdent；信号-CF… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
SPDE公司 39篇文献引用(1985–2017) 软件作者： 弗里茨·施瓦兹 相关软件： 减少；SYMMGRP公司。最大值；谎言0… 主要字段： 拓扑群，李群（22-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
绵羊 37篇文献引用（1977年至2020年） 软件作者： 弗里克，我 相关软件： 枫树；减少；MapleTensor… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
STAN公司 37篇文献引用(1998–2018) 软件作者： 龙，德里克；玛丽亚·福克斯 相关软件： 图形平面图；步行卫星；CPlan… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
XGobi公司 28篇文献引用(1995–2020) 软件作者： Swayne DF、Cook D、Buja A 相关软件： R；GGobi；ggplot2… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
A至M3 18篇文献引用(2002–2021) 软件作者： 胡安·德·拉腊（Juan de Lara）；汉斯·旺格鲁 相关软件： AGG；VIATRA2；进步… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克·韦贝克（Eric Verbeek）；Wil M.P.范德阿尔斯特。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
CORA公司 35篇文献引用(2016–2023) 软件作者： 马蒂亚斯·阿尔霍夫（Matthias Althoff）、尼古拉斯·科奇杜姆普（Niklas Kochdumper） 相关软件： 流量*；SpaceEx；C2e2… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
远辉石 29篇文献引用(2007–2023) 软件作者： 芬尼文学硕士；美国农业部、林业局、落基山研究站 相关软件： FlamMap；Multivac；普罗米修斯… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
iLoc-Hum公司 36篇文献引用(2012–2019) 软件作者： 周，K.-C。；吴振中。；X.肖。 相关软件： iLoc-Euk；iLoc-Virus病毒；iRSpot-PseDNC… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；计算机科学（68-XX）…
Java CoG工具包 12份文件引用(2001–2010) 软件作者： 冯·拉舍夫斯基（von Laszewski），格雷戈（Gregor）；Jarek Gawor；彼得·莱恩（Peter Lane）；雷恩、内尔；迈克·拉塞尔 相关软件： Globus工具包；飞马座；Condor-G… 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）；生物学和其他自然科学（92-XX）
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
QGIS（质量地理信息系统） 15篇文献引用(2016–2023) 软件作者： 萨顿，T，达索，O，萨顿，M 相关软件： 蟒蛇；R；ArcGIS… 主要字段： 组合数学（05-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈弗伦德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
箔 21篇文献引用(1991–2022) 软件作者： J.R.昆兰；R.M.卡梅隆-琼斯 相关软件： C4.5；GOLEM公司；UCI-ml… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；统计学（62-XX）…
格尔达 33篇文献引用(1996–2018) 软件作者： 彼得·昆克尔（Peter Kunkel）、沃尔克·梅尔曼（Volker Mehrmann）、沃纳·拉思（Werner Rath）和约格·威克特（Jörg Weickert） 相关软件： GENDA公司；罗德斯；Modelica… 主要字段： 常微分方程（34-XX）；变异微积分和最优控制；优化（49-XX）；数值分析（65-XX）…
OHSUMED公司 16篇文献引用（1998年-2023年） 软件作者： Hersh W、Buckley C、Leone TJ、Hickam D 相关软件： RCV1；网络ACE；Okapi… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
KQML公司 16篇文献引用(1996–2019) 软件作者： 蒂姆·菲宁（Tim Finin）、理查德·弗里茨森（Richard Fritzson）、唐纳德·普·麦凯（Donald P McKay）、罗宾·麦康蒂尔（Robin McEntire） 相关软件： 神童；Globus工具包；Qu-Prolog… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
iLoc-Virus病毒 31份文件引用(2011–2019) 软件作者： Xiao，X。；吴振中。；周，K.-C。 相关软件： iLoc-Euk；细胞定位；iLoc-Hum… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
国际RSpot-TNCPseAAC 31份文件引用（2014年至2019年） 软件作者： 王仁秋、轩晓、郭晨秋 相关软件： iRSpot-PseDNC；iNuc-PseKNC；iSNO-PseAAC… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
SIMATH公司 31份文件引用(1988–2010) 软件作者： 霍斯特·G·齐默。；松井，T。；小林，D。；亚伯，M。；Nakamula，K。 相关软件： KANT/KASH；PARI/GP；岩浆… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
效率 30篇文献引用(2013–2023) 软件作者： 安德烈·鲍尔（Andrej Bauer）；普雷特纳，马蒂亚 相关软件： 科卡；github；毫升… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
超防（Hyperproof） 27篇文献引用(1994–2022) 软件作者： Jon Barwise、John Etchemendy 相关软件： Speedith；伊莎贝尔；嘟嘟博士… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
iRSpot-EL接口 30篇文献引用(2017–2022) 软件作者： 刘，B。；王，S。；朗·R。；周，K.-C。 相关软件： iRNA-PseColl；2L-piRNA；pLoc-mEuk… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
管道 28篇文献引用(2002–2017) 软件作者： 萨加尔·查基；Rajamani，Sriram K。；雅各布·雷霍夫 相关软件： SLMC；旋风；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
QUBE公司 26篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QuBE++；Quaffle；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
iPPI-Esml接口 27篇文献引用(2015–2021) 软件作者： 贾，J。；刘，Z。；Xiao，X。；刘，B。；周，K.-C。 相关软件： Pse-in-One；iRSpot-PseDNC；iPro54-PseKNC… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
ProbView（探测视图） 在11份文件中引用(2005–2018) 软件作者： Lakshmanan，V.S.、Leone，N.、Ross，R.和Subrahmanian，V.S。 相关软件： 三重奏；ProTDB；MYSTIQ… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
量子力学 27篇文献引用(2009–2023) 软件作者： 亚历克斯·基辛格 相关软件： 球状；PyZX；凹槽… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
索纳塔 25篇文献引用(2001–2023) 软件作者： 埃哈德·艾辛格（Erhard Aichinger）；尤尔根·埃克；克里斯托夫·诺鲍尔 相关软件： 间隙；SmallGroups库；转到BLAS… 主要字段： 组合数学（05-XX）；一般代数系统（08-XX）；结合环与代数（16-XX）…
COSTA公司 22篇文献引用(1992–2020) 软件作者： 埃尔维拉·阿尔伯特（Elvira Albert）、普里·阿雷纳斯（Puri Arenas）、萨米尔·吉纳伊姆（Samir Genaim）、杰尔曼·普埃布拉（Germanán Puebla）、达米亚诺·扎纳尔迪尼（Damiano Zanardini） 相关软件： 速度；AProVE；参考… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；偏微分方程（35-XX）…
欧洲公共图书馆 引用于19份文件(2007–2019) 软件作者： 沈海波。；杨，J。；周，K.-C。 相关软件： Euk-mPLoc；细胞定位；Hum-Loc… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GASP四 24篇文献引用(1974–2006) 软件作者： 阿兰·普里茨克。 相关软件： SIMSCRIPT；Simula 67；DYNAMO… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Hum-位置 22篇文献引用(2007–2019) 软件作者： 周KC、沈HB 相关软件： 细胞定位；Euk-mPLoc；Euk-PLoc… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
毛坯 15篇文献引用(2008–2022) 软件作者： Andrew McCallum等人。 相关软件： 威卡；C4.5；LIBSVM… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
分享者 22篇文献引用(2011–2023) 软件作者： D.Bogdanov、S.Laur、J.Willemson 相关软件： VIFF；ABY；美味… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；信息与通信理论，电路（94-XX）
电子电话 18篇文献引用(2003–2019) 软件作者： M Tomita、K Hashimoto、K Takahashi、T S Shimizu、Y Matsuzaki、F Miyoshi、K Saito S Tanida、K Yugi、J C Venter；C A和记黄埔 相关软件： GEPASI；KEGG；虚拟单元格… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
内核-机器 引用于19份文件(2002–2019) 软件作者： 亚历克斯·斯莫拉（Alex Smola）；伯恩哈德·舍尔科夫 相关软件： LIBSVM；UCI-ml；MNIST… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
StratiGraph公司 23篇文献引用(2000–2023) 软件作者： 科格斯特罗姆，波；史蒂芬·约翰逊（Stefan Johansson）；佩德尔·约翰逊 相关软件： MCS工具箱；STCSSP；JDQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；数值分析（65-XX）…
中国科学院 22篇文献引用(1984–2020) 软件作者： Neubüser，J。；Pahlings，H。；普莱斯肯，W。 相关软件： 间隙；ATLAS集团代表；岩浆… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；群论与推广（20-XX）…
密码数据库 22篇文献引用(2013–2023) 软件作者： Raluca Ada Popa、Catherine M.S.Redfield、Nickolai Zeldovich、Hari Balakrishnan 相关软件： github；卡桑德拉；HBase… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
纽尤尔 22篇文献引用(1992–2017) 软件作者： 马库斯·伯克哈特；安德烈亚斯·汉斯洛夫斯基（Andreas Hanselowski）；埃伯哈德 相关软件： Matlab；SIMPACK；Simulink；…模拟链接… 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；变形固体力学（74-XX）…
PrecoSAT公司 22篇文献引用(2010–2022) 软件作者： 比尔，A 相关软件： 弯曲；MiniSat；玲玲… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
跑路者 9份文件引用(2001–2017) 软件作者： 瓦尔特·克雷森齐（Valter Crescenzi）；麦加，Giansalvatore；保罗·梅里亚尔多 相关软件： 利克斯托；无DoSE；XPath… 主要字段： 计算机科学（68-XX）
查龙 17篇文献引用(2000–2017) 软件作者： 拉杰夫·阿鲁尔；格鲁苏，拉杜；Hur，Yerang；库马尔，维杰；李因苏普 相关软件： 高科技；SpaceEx；酯类… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
iMethyl-PseAAC（异甲基苯丙酮） 21篇文献引用（2014年至2019年） 软件作者： 邱，W.R。；Xiao，X。；林伟珍（Lin，W.Z.）。 相关软件： iRSpot-PseDNC；Pse-in-One；iPTM-mLys… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
INQUERY（询问） 6篇文献引用(1997–2006) 软件作者： 詹姆斯·卡伦（James P.Callan）；W.Bruce Croft；史蒂芬·M·哈丁 相关软件： 奥卡皮；狐猴；HySpirit… 主要字段： 计算机科学（68-XX）
Jif公司 引用于19份文件(2006–2021) 软件作者： A.C.Myers、L.Zheng、S.Zdancewic、S.Chong、N.Nystrom 相关软件： FlowFox；CoSMed；CAVA LTL模型检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
BrainNet查看器 18篇文献引用（2018年至2024年） 软件作者： 夏明，王杰，何毅。 相关软件： 大脑连接工具箱；Matlab；连接… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
咯咯笑 5份文件引用(2005–2011) 软件作者： Chervenak，A.，Deelman，E.，Foster，I.，Guy，L.，Hoschek，W.，Iamni tchi，A.，Kesselman，C.，Kunst，P.，Ripeanu，M.，Schwartzkopf，B.，Stockinger，H.，Stocking，K.，Tierney，B。 相关软件： 飞马座；尼姆罗德/G；OptorSim… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
利克斯托 9份文件引用(2001–2022) 软件作者： 罗伯特·鲍姆加特纳；塞尔吉奥·弗莱斯卡；乔治·戈特洛布 相关软件： 罗丹纳；XPath；数据日志… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
洛雷尔 15篇文献引用(1999–2012) 软件作者： Abiteboul，S。；奎斯·D·。；McHugh，J。；Widom，J。；维纳，J.L 相关软件： XPath；XQuery；图形日志… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
卡斯珀* 5份文件引用(2012–2022) 软件作者： Chow、Chi-Yin；Mokbel，Mohamed F。；瓦利德·阿雷夫。 相关软件： 空间扭曲；STR；氯化钠… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）；信息与通信理论，电路（94-XX）
IPSSIS公司 18篇文献引用(2011–2023) 软件作者： 西多纳斯（Xidonas）、帕纳吉奥蒂斯（Panagiotis）；乔治·马夫罗塔斯；佐普尼迪斯，君士坦丁；约翰·帕萨拉斯 相关软件： 电气；GTM；NBI… 主要字段： 统计学（62-XX）；运筹学，数学编程（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
客户端软件产品 8份文件引用(2008–2019) 软件作者： – 相关软件： R；rgdal；rgeos… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；地球物理学（86-XX）…
阿维达 在14份文件中引用(1998–2020) 软件作者： 克里斯托夫·阿达米 相关软件： CONMIN公司；类鸟群 主要字段： 动力系统与遍历理论（37-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
iPhos-PseEvo公司 18篇文献引用(2016–2021) 软件作者： 邱，W.R。；Sun，B.Q。；X.肖。 相关软件： iRNAm5C-PseDNC；pLoc-mEuk；Pse-in-One… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
数学网 16篇文献引用(2000–2016) 软件作者： 杰根·齐默；迈克尔·科尔哈斯 相关软件： TPTP；水獭；PVS… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；常微分方程（34-XX）…
SoDA公司 17篇文献引用（2004年-2023年） 软件作者： 约翰·钱伯斯。 相关软件： R；晶格；质量（R）… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…