LMI工具箱 1493年文献中引用(1995–2024) 软件作者： 数学作品；Gahinet，P。；内米洛夫斯基，A。；劳布，A.J。；Chilali，M。 相关软件： Matlab；控制系统工具箱；YALMIP… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；运筹学，数学编程（90-XX）…
GAMS游戏 898份文件引用(1984–2024) 软件作者： GAMS开发公司，GAMS软件有限公司 相关软件： CPLEX；AMPL；MINOS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z树 引用于695份文件(2001–2023) 软件作者： Fischbacher大学。 相关软件： ORSEE；hroot；状态… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
XPath（XPath） 205篇文献引用(2002–2023) 软件作者： w3.org网站 相关软件： XQuery；X标记；Oracle… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
凯格 206篇文献引用(2003–2023) 软件作者： Minoru Kanehisa；Susumu Goto公司 相关软件： 生物导体；R；UniProt… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
单词2vec 264篇文献引用(2015–2024) 软件作者： 托马斯·米科洛夫等人。 相关软件： 全球；节点2vec；DeepWalk… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
SVM灯 214篇文献引用(2000–2023) 软件作者： 托尔斯滕·约阿希姆斯 相关软件： LIBSVM；UCI-ml；SVMTorch… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
BERT（误码率） 引用于179份文件(2019–2024) 软件作者： 雅各布·德夫林、张明伟、肯顿·李、克里斯蒂娜·图塔诺娃 相关软件： Tensor2传感器；亚当；RoBERTa… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
SNAP（快照） 236篇文献引用(2009–2024) 软件作者： 朱尔·莱斯科维奇 相关软件： NetworkX；科内克特；稀疏矩阵… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
PROST公司 184份文件引用(2002–2024) 软件作者： Renardy，Yuriko；迈克尔·雷纳迪 相关软件： 格里斯；SLIC；卡拉肯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
锂离子电池 引用于179份文件（1993年至2024年） 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： Mathematica；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
TISEAN公司 165篇文献引用（1999年-2023年） 软件作者： Rainer Hegger、Holger Kantz、Thomas Schreiber 相关软件： Matlab；K2；科学… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
高尔夫 158份文件引用(1996–2024) 软件作者： 赫克托·J·列夫斯克（Hector J.Levesque）。；雷蒙德·雷特（Raymond Reiter）；Lespérance，伊夫斯；林方珍；理查德·谢尔（Richard B.Scherl）。 相关软件： ConGolog；AgentSpeak；METATEM… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
手套 113篇文献引用(2015–2024) 软件作者： 杰弗里·彭宁顿（Jeffrey Pennington）、理查德·索彻（Richard Socher）、克里斯托弗·曼宁（Christopher D.Manning） 相关软件： 单词2vec；BERT；Tensor2传感器… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
节点2vec 128篇文献引用(2017–2024) 软件作者： 阿迪蒂亚·格罗弗（Aditya Grover），朱尔·莱斯科维奇（Jure Leskovec） 相关软件： DeepWalk；线路；单词2vec… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
港口 133篇文献引用(1996–2024) 软件作者： 克里斯托夫，T。；Reinelt，G。；安德烈亚斯·洛贝尔 相关软件： CPLEX；洛立布；cdd… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
个人资料/偏差 132份文件引用(1979–2021) 软件作者： O.Knüppel。 相关软件： 进入PT_90；C-XSC；国际实验室… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
cdd（光盘） 130篇文献引用(1996–2023) 软件作者： 福田康美 相关软件： 多品牌；格凡；cddplus… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
BEMLIB公司 125篇文献引用(2002–2024) 软件作者： C.波兹里基迪斯。 相关软件： SERBA；特拉维斯CI；DLMF… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
欧兹 110篇文献引用(1994–2023) 软件作者： Henz，M.、Smolka，G.和Würtz，J。 相关软件： 炸薯条；莫扎特；克莱尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
生物-PEPA 97篇文献引用(2008–2024) 软件作者： 费德里卡·乔切塔（Federica Ciocchetta）、玛丽亚·路易莎·格雷耶罗（Maria Luisa Guerriero）、瓦什蒂·加尔宾（Vashti Galpin）、简·希尔斯顿（Jane Hillston）、朱利奥·卡拉瓦尼亚（Giulio Caravagna）、艾伦·克拉克（Allan Clark）、安德烈亚·德加斯佩里（Andrea Degasperi）、亚当·杜吉 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
美食 101篇文献引用(2012–2024) 软件作者： Tang，Ping Tak Peter；埃里克·波利齐 相关软件： CIRR；lobpcg.m；JDQZ… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
DEVEX公司 100篇文献引用(1973–2020) 软件作者： Paula M.J.哈里斯。 相关软件： MINOS；NETLIB LP测试集；CPLEX… 主要字段： 历史与传记（01-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
OMDoc公司 93篇文献引用（2001年至2022年） 软件作者： 迈克尔·科尔哈斯 相关软件： MMT；Coq；Mizar… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
ILOG时间表 87份文件引用(1996–2023) 软件作者： C·勒帕佩 相关软件： CPLEX；炸薯条；JOBSHOP… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
可操纵金字塔 75篇文献引用（1999年-2023年） 软件作者： E.西蒙塞利 相关软件： DT-CWT；ImageNet；AlexNet… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
卡拉卡拉 79份文件引用(2004–2022) 软件作者： 马歇，C。；Paulin-Mohring，C。；Urbain，X。 相关软件： Why3；卡杜克乌斯；JML… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
科内克特 84份文件引用(2014–2023) 软件作者： J.库内吉斯 相关软件： SNAP；plfit；帕杰克… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
格菲 71篇文献引用(2012–2024) 软件作者： M.巴斯蒂安、S.海曼、M.雅各米 相关软件： 力量图谱2；NetworkX；图表… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
VeriFast公司 75篇文献引用(2009–2023) 软件作者： 巴特·雅各布斯；Jan Smans；弗兰克·皮森斯 相关软件： 达夫尼；布吉；z3… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PCA-SIFT公司 53篇文献引用(2006–2021) 软件作者： Y.Ke和R.Sukthankar 相关软件： SIFT；冲浪；ASIFT… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Pfinder（查找器） 33篇文献引用(2000–2023) 软件作者： 雷恩，C.R。；阿扎尔巴耶贾尼，A。；Darrell，T。；A.彭特兰。 相关软件： BraMBLe公司；SIFT；扫描… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
美国汽车协会 80篇文献引用(2017–2024) 软件作者： Yuji Nakatsukasa、Olivier Sète、Lloyd N.Trefethen 相关软件： RK工具箱；切布冯；Loewner… 主要字段： 复变量函数（30-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
统计网 52篇文献引用(2008–2023) 软件作者： Mark S.Handcock；大卫·R·亨特（David R.Hunter）；卡特·巴特斯；史蒂文·古德鲁（Steven M.Goodreau）；Pavel N.Krivitsky；马蒂娜·莫里斯 相关软件： R；能量管理；网络… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
CL_MATCONT公司 73篇文献引用(2003–2024) 软件作者： W.Govaerts；于。A.库兹涅佐夫 相关软件： MATCONT；Matlab；自动… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
LieART公司 70篇文献引用(2012–2023) 软件作者： 罗伯特·费格（Robert Feger）、托马斯·凯普哈特（Thomas W.Kephart） 相关软件： Mathematica；苏西诺；LiE… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；量子理论（81-XX）…
IETI公司 70篇文献引用(2012–2023) 软件作者： S.K.Kleiss、C.Pechstein、B.Juttler、S.Tomar 相关软件： GeoPDE；G+Smo；ISOGAT… 主要字段： 偏微分方程（35-XX）；近似和展开（41-XX）；数值分析（65-XX）…
GALib公司 56篇文献引用(1999–2021) 软件作者： 马修·沃尔 相关软件： 基因组学；VRP；CPLEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
赛车手 53篇文献引用（2001年至2022年） 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
mCRL2型 59篇文献引用(2007–2023) 软件作者： Groote，Jan Friso；Aad Mathijssen；米歇尔·雷尼尔斯（Michel A.Reniers）。；亚罗斯拉夫·乌森科。；蒙克·范·维尔登堡 相关软件： CADP；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
国际学生成绩评估 53篇文献引用(2003–2022) 软件作者： 斯特凡·布鲁勒；马可·劳曼斯；洛塔尔·蒂勒；埃卡特·齐兹勒 相关软件： SPEA2；j金属；ParadisEO-MOEO… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
奈特拉 42篇文献引用(2000–2016) 软件作者： 马维英；B.S.曼朱纳 相关软件： VisualSEEk；简单性；PicToSeek… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）；系统理论；控制（93-XX）…
持久性图像 59篇文献引用（2016年-2023年） 软件作者： 亨利·亚当斯、索菲亚·切普斯塔诺娃、特根·爱默生、埃里克·汉森、迈克尔·柯比、弗朗西斯·莫塔、雷切尔·内维尔、克里斯·彼得森、帕特里克·希普曼、洛里·齐格尔梅尔 相关软件： github；Scikit；Gudhi… 主要字段： 代数拓扑（55-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
TT工具箱 56篇文献引用（2010年-2023年） 软件作者： Oseledets，I.V.公司。 相关软件： github；张量工具箱；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
歌剧 57篇文献引用(2010–2024) 软件作者： 弗拉基米尔·多森科；米凯尔·维杰德莫·约翰逊 相关软件： 组织环境信息系统；二叉树；GitHub… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
ProVerify公司 49篇文献引用(2005–2023) 软件作者： inria.fr；布鲁诺·布兰切特 相关软件： AVISPA；塔马林；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
向前地 55份文件引用(2004–2021) 软件作者： 内拉马尼（Neelamani），R。；Choi，H。；巴拉纽克，R。 相关软件： RecPF；规范化工具；Matlab… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
MMT公司 引用于54份文件(2009–2022) 软件作者： 弗洛里安·拉贝 相关软件： OMDoc；质量管理团队；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
TINA公司 53篇文献引用(2004–2024) 软件作者： 伯托米厄，B。；里贝特，P.-O。；弗纳达特，F。；LAAS/CNRS公司 相关软件： Uppaal；罗密欧；Kronos… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
剪切实验室 52篇文献引用（2010年-2023年） 软件作者： 吉塔·库蒂尼奥克；莫特萨·沙赫拉姆；庄晓生 相关软件： 小波与多尺度库；NSCT工具箱；Matlab… 主要字段： 欧氏空间（42-XX）的调和分析；数值分析（65-XX）；计算机科学（68-XX）…
LEO-II型 52篇文献引用(2008–2021) 软件作者： Benzmüller，C.，Paulson，L.，Theiss，F.，Fietzke，A 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
固化 引用于31份文件(2001–2023) 软件作者： K.J.Dana、B.Van-Ginneken、S.K.Nayar、J.J.Koenderink 相关软件： Outex；SIFT；EMD… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
FRIL公司 38篇文献引用(1987–2022) 软件作者： 鲍德温，J.F。；马丁·T·P。；B.W.皮尔斯沃思。 相关软件： Likelog；FPROLOG测井；XPath… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
信息GAN 40篇文献引用(2017–2024) 软件作者： Xi Chen、Yan Duan、Rein Houthooft、John Schulman、Ilya Sutskever、Pieter Abbeel 相关软件： 亚当；Wasserstein GAN；ImageNet… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；地球物理学（86-XX）…
PHAT公司 39篇文献引用(2014–2023) 软件作者： 乌尔里希·鲍尔；迈克尔·科伯（Michael Kerber）；简·雷宁豪斯（Jan Reininghaus）；休伯特·瓦格纳 相关软件： 古迪；酒神；开膛器… 主要字段： 组合数学（05-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
椰子 40篇文献引用(2003–2023) 软件作者： Hermann Schichl、COCONUT项目、Arnold Neumaier、Oleg Shcherbina、Eric Monfroy、Brice Pajot 相关软件： BARON公司；全球溶胶；AMPL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
JASPAR公司 23篇文献引用(2006–2021) 软件作者： 阿尔宾·桑德林（Albin Sandelin）、维南德·阿尔凯马（Wynand Alkema）、帕尔·恩格斯特罗姆（Pär Engström）、怀斯·W·瓦瑟曼（Wyeth W.Wasserman）、鲍里斯·伦哈德（Boris Lenhard） 相关软件： TRANSFAC公司；KEGG；BioProspector… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
KL-ONE公司 37篇文献引用（2001年至2022年） 软件作者： 弗兰茨·巴德；乌尔里克·萨特勒 相关软件： FaCT++；赛车手；颗粒… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
举起 42篇文献引用(2013–2023) 软件作者： 布莱恩·哈夫曼（Brian Huffman），Ondřej Kunčar 相关软件： 转让；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
棱镜 41篇文献引用(2006–2022) 软件作者： 佐藤，T.，卡梅亚，Y。 相关软件： ProbLog；CP逻辑；PITA… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
SMOTEBoost公司 33篇文献引用(2004–2023) 软件作者： 巴尔南·达斯；Nitesh V.Chawla、Aleksandar Lazarevic、Lawrence O.Hall、Kevin W.Bowyer 相关软件： SMOTE；UCI-ml；AdaCost… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
转让 42篇文献引用(2013–2023) 软件作者： 布莱恩·哈夫曼（Brian Huffman），Ondřej Kunčar 相关软件： 举起；Isabelle/HOL；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
UCPOP公司 40篇文献引用(1993–2022) 软件作者： 彭伯蒂，J.S。；焊接，D。 相关软件： 图形平面图；神童；PDDL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
CIL公司 33篇文献引用(2002–2022) 软件作者： Necula，G.C.，McPeak，S.，Rahul，S.P.，Weimer，W。 相关软件： 爆炸；CBMC；SLAM… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
低碳所 33篇文献引用（2016年-2023年） 软件作者： Laurent Dinh、David Krueger、Yoshua Bengio 相关软件： 亚当；发光；火炬差异… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SKPrime公司 39篇文献引用(2007–2023) 软件作者： D.G.Crowdy、C.C.Green、E.H.Kropf、M.M.S.Nasser 相关软件： 施瓦兹-克里斯托菲尔；SC工具箱；GitHub… 主要字段： 复变量函数（30-XX）；势能理论（31-XX）；偏微分方程（35-XX）…
流氓波 39篇文献引用(2018–2024) 软件作者： 丹尼斯·比尔曼；凌利明；彼得·米勒。 相关软件： DLMF；RH包；OEIS… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
烟尘 32篇文献引用(2004–2023) 软件作者： 瓦列·雷（Valleée-Rai，R.）、加格农（Gagnon，e.）、亨德伦（Hendren，L.J.）、兰姆（Lam，P.）、波明维尔（Pominville，P.，Sundaresan，V.）。 相关软件： 达卡波；方面J；FlowDroid… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
GraRep公司 32篇文献引用(2017–2023) 软件作者： S.Cao、W.Lu、Q.Xu 相关软件： 节点2vec；DeepWalk；线路… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
神童 24篇文献引用(1992–2019) 软件作者： Carbonell，J.、Blythe，J.，Etzioni，O.、Gil，Y.、Joseph，R.、Kahn，D.、Knoblock，C.、Minton，S.、Pérez，M.A.、Reilly，S.，Veloso，M.、Wang，X。 相关软件： UCPOP；图形平面图；KQML… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Qsplat公司 21篇文献引用(2004–2022) 软件作者： Rusinkiewicz S，Levoy M 相关软件： CGAL；权力外壳；OBBTree… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；数值分析（65-XX）…
深面（DeepFace） 32篇文献引用(2015–2023) 软件作者： Taigman Y，Yang M，Ranzato M，Wolf L。 相关软件： ImageNet；AlexNet；FaceNet… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
DSPCA公司 35篇文献引用(2005–2015) 软件作者： 亚历山大·阿斯普雷蒙特（Alexandre d'Aspremont）、劳伦特·埃尔·加维（Laurent El Ghaoui）、迈克尔·乔丹（Michael I.Jordan）、格特·兰克里特（Gert R.G.Lanckriet）、罗尼·卢斯 相关软件： 塞杜米；SDPT3；SDPLR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GCLC公司 34份文件引用(2002–2023) 软件作者： Janičić，普雷德拉格 相关软件： 地质厚度；GeoGebra；GCL校准仪… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；几何（51-XX）…
图形日志 34份文件引用(1990–2022) 软件作者： 康森斯，M。；门德尔松 相关软件： XPath；SPARQL；洛雷尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
NSPCG公司 35篇文献引用(1988–2022) 软件作者： 托马斯·奥佩（Thomas C.Oppe）。；Wayne D.Joubert。；大卫·R·金凯。 相关软件： ELLPACK；CGS；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OBB树 24篇文献引用(2001–2024) 软件作者： Gottschalk，S.，Lin，M.C.，Manocha，D。 相关软件： 球体；Qsplat；CMPGRD… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
DLV公司 29篇文献引用（2001年至2022年） 软件作者： 乔瓦尼·格拉索；萨尔瓦托，伊里塔诺；尼古拉·利昂内（Nicola Leone）；弗朗西斯科·里卡 相关软件： WASP；格林戈；扣… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
天鹅绒 26篇文献引用(2012–2022) 软件作者： D.R.Zerbino和E.Birney 相关软件： ALLPATHS公司；深渊；SPAdes… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计学（62-XX）…
阿丁克拉斯 32篇文献引用(2005–2023) 软件作者： 张燕X。 相关软件： HEPTH工具；LieART；阿丁卡拉… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
旋风分离器 30篇文献引用(2003–2022) 软件作者： 弗雷德里克·史密斯；Dan Grossman；格雷格·莫里塞特（Greg Morrisett）；卢克·霍诺夫（Luke Hornof）；吉姆，特雷弗 相关软件： 哈斯克尔；CCured公司；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
DARTS公司 22篇文献引用(2020–2024) 软件作者： 刘汉晓、卡伦·西蒙扬、杨一鸣 相关软件： ImageNet；十字花科植物；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
地理1.1 引用于31份文件(1996–2021) 软件作者： 王东明 相关软件： GeoGebra；GEX；地理信息… 主要字段： 场论与多项式（12-XX）；几何（51-XX）；数值分析（65-XX）…
Phylo网络 27篇文献引用(2010–2024) 软件作者： 加布里埃尔·卡多纳（Gabriel Cardona）、弗朗西斯科·罗塞洛（Francesc Rosselló）、加布里埃尔·瓦连特（Gabriel-Valiente） 相关软件： PADRE；github；生物钟… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
LFR工具箱 引用于31份文件(2004–2023) 软件作者： 西蒙·赫克（Simon Hecker）；安德拉斯·瓦尔加（Andras Varga）；Jean-François马尼 相关软件： YALMIP；莫塞克；SeDuMi… 主要字段： 动力系统与遍历理论（37-XX）；近似和展开（41-XX）；计算机科学（68-XX）…
PHYSALIS公司 引用于31份文件（2001年至2022年） 软件作者： 黄华雄；高木，舒 相关软件： 变形杆菌；CMPGRD；BiCGstab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
APMC公司 29篇文献引用(2004–2021) 软件作者： 托马斯·Hérault；理查德·拉斯因；弗雷德里克·马涅特；西尔万·佩伦内特 相关软件： 棱镜；Uppaal；风暴… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
南美林猫 23篇文献引用(2007–2022) 软件作者： 埃米娜·托拉克；丹尼尔·杰克逊 相关软件： z3；Isabelle/HOL；尼特皮克… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
花茎 引用于20份文件(2009–2023) 软件作者： D.Anguelov、P.Srinivasan、D.Koller、S.Thrun、J.Rodgers、J.Davis 相关软件： HumanEva；Pfinder；PointNet… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
双回路振幅 30篇文献引用(2015–2022) 软件作者： 雅各布·L·布尔贾利。；雅罗斯拉夫·特伦卡 相关软件： 正电子体；CutTools；黑帽… 主要字段： 组合数学（05-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
FDR3公司 29篇文献引用(2014–2023) 软件作者： 托马斯·吉布森·罗宾逊；菲利普·阿姆斯特朗；亚历山大·布尔加科夫；安德鲁·W·罗斯科 相关软件： CADP；Z；LTS最小值… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
OFMC公司 在25份文件中引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
拉斯塔马特 17篇文献引用(2000–2023) 软件作者： 丹·埃利斯（Dan Ellis）；H.赫尔曼斯基；N.摩根 相关软件： 听觉工具箱；PRMLT；克恩拉布… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；计算机科学（68-XX）…
SETL公司 28篇文献引用(1986–2023) 软件作者： 施瓦茨，J.T。；杜瓦，R.B.K。；杜宾斯基，E。；肖恩伯格，E。 相关软件： Z；JSetL；裁判… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；一般代数系统（08-XX）…
沙雷 6篇文献引用(2020–2023) 软件作者： S霍耶 相关软件： 蟒蛇；数字Py；Matplotlib… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）…
LTSmin公司 在25份文件中引用（2011年-2023年） 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布罗姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
艺术3 16篇文献引用(1992–2012) 软件作者： 盖尔·卡彭特（Gail A.Carpenter）；斯蒂芬·格罗斯伯格 相关软件： 模糊ARTMAP；UCI-ml；LVQPAK… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
dfn工程 27篇文献引用(2017–2023) 软件作者： J.D.Hyman、S.Karra、N.Makedonska、C.W.Gable、S.L.Painter和H.S.Viswanathan，D 相关软件： 普夫洛特兰；三角形；拉格里特… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…