亚当 1801年文献中引用(2016–2024) 软件作者： Diederik P.Kingma、Jimmy Ba 相关软件： TensorFlow；PyTorch；ImageNet… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SIFT公司 382份文件引用(2006–2024) 软件作者： 大卫·罗伊 相关软件： 冲浪；PCA-SIFT；PASCAL VOC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
纽顿图书馆 335篇文献引用(2001–2024) 软件作者： 彼得·德弗哈德（Peter Deufhard）；卢茨·魏曼 相关软件： PETSc；罗德斯；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
冲浪 141份文件引用(2008–2023) 软件作者： 赫伯特·贝；Tinne Tuytelaars公司；吕克·范古尔 相关软件： 筛选；PCA-SIFT；BRISK… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SnapPea公司 167篇文献引用(1992–2024) 软件作者： 帕特里克·J·卡拉汉。；希尔德布兰德，马丁五世。；周，Jeffrey R。 相关软件： SnapPy；捕捉；Regina… 主要字段： 群论与推广（20-XX）；复变量函数（30-XX）；微分几何（53-XX）…
自动图形X 146篇文献引用(1999–2024) 软件作者： 吉尔斯·卡波罗西 相关软件： 涂鸦；图形；nauty… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
GAIO公司 98篇文献引用(2001–2023) 软件作者： djs2股份有限公司；Michael Dellnitz；加里·弗洛伊兰；容格，奥利弗 相关软件： Matlab；自动；ARPACK… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
主持人 60篇文献引用(2017–2024) 软件作者： 丹尼尔·福尔曼·马基、大卫·霍格、达斯汀·朗、乔纳森·古德曼 相关软件： 蟒蛇；SciPy；Matplotlib… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
SsfPack系列 69篇文献引用(1999–2024) 软件作者： 库普曼，Siem Jan；尼尔·谢泼德；Jurgen A.Doornik。 相关软件： 公牛；印章；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
有长椅的 77份文件引用（2003年至2024年） 软件作者： 尤内斯·查拉乌伊（Younes Chahlaoui）；保罗·范·杜伦 相关软件： AAA；勒沃纳；RK工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；近似和展开（41-XX）；变分法与最优控制；优化（49-XX）…
COCO公司 75篇文献引用(2012–2023) 软件作者： Harry Dankowicz；弗兰克·席尔德 相关软件： 自动；MATCONT；AUTO-07P… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
图表之家 69篇文献引用(2012–2024) 软件作者： 冈纳·布林克曼；克里斯·库萨特（Kris Coolsaet）；Goedgebeur，Jan；梅洛特，哈德里安 相关软件： 鹦鹉螺；踪迹；snarkhunter… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
LOCBIF公司 65篇文献引用(1992–2019) 软件作者： 亚历山大一世（Alexander I.Khibnik）。；尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；维克多五世（Victor V.Levitin）。；尤金·尼古拉耶夫。 相关软件： 自动；DSTool；自动-86… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
叫做古迪辛 56篇文献引用(2014–2024) 软件作者： INRIA公司；克莱门特·玛丽亚；Jean-Daniel Boissonnat；马克·格利塞（Marc Glisse）；玛丽埃特·伊维内克 相关软件： 裂土器；PHAT；酒神… 主要字段： 代数拓扑（55-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
FSIM公司 49篇文献引用(2011–2024) 软件作者： 张，L.，牟，X.，张，D。 相关软件： DnCNN；2013年TID2013；PyTorch… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CIRR公司 44篇文献引用(2007–2023) 软件作者： 樱井、铁冢；Hiroto Tadano 相关软件： FEAST；稀疏矩阵；ARPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；复变量函数（30-XX）；近似和展开（41-XX）…
GEMPIC公司 40篇文献引用(2017–2024) 软件作者： 迈克尔·克劳斯（Michael Kraus）；Katharina Kormann；菲利普·莫里森。；埃里克·桑纳德吕克 相关软件： Vador；iPIC3D；struphy… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
EasyLocal公司++ 32篇文献引用（2001年至2022年） 软件作者： Di Gaspero，L.，Schaerf，A 相关软件： 彗星；本地化人员；禁忌搜索… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ASIFT公司 34份文件引用(2009–2022) 软件作者： Jean-Michel Morel，余国深 相关软件： 筛选；冲浪；PCA-SIFT… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PicToSeek 26篇文献引用(2001–2010) 软件作者： Gevers T、Smeulders A 相关软件： VisualSEEk；NeTra；PicHunter… 主要字段： 欧氏空间（42-XX）的调和分析；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
二进制连接 33篇文献引用(2017–2023) 软件作者： 马蒂厄·库巴里奥（Matthieu Courbariaux）、约书亚·本吉奥（Yoshua Bengio）、珍妮·皮埃尔·戴维（Jean-Pierre David） 相关软件： ImageNet；XNOR-Net；AlexNet… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
FracSym公司 33篇文献引用(2014–2023) 软件作者： 杰斐逊，G.F。；J.卡米蒂娜。 相关软件： 德索尔VII；ASP；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
GELDA公司 33篇文献引用(1996–2018) 软件作者： 彼得·昆克尔（Peter Kunkel）、沃尔克·梅尔曼（Volker Mehrmann）、沃纳·拉思（Werner Rath）和约格·威克特（Jörg Weickert） 相关软件： GENDA公司；罗德斯；Modelica… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
托康特 32篇文献引用(2005–2022) 软件作者： F.席尔德 相关软件： 自动；MATCONT；HomCont… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
捕捉 在30份文件中引用(1999–2019) 软件作者： 奥利弗·古德曼 相关软件： SnapPea；SnapPy；岩浆… 主要字段： \（K\）理论（19-XX）；群论与推广（20-XX）；微分几何（53-XX）…
SRRIT公司 29篇文献引用(1980–2023) 软件作者： Bai，Z。；G.W.斯图尔特。 相关软件： ARPACK；JDQZ；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；流体力学（76-XX）…
双回路振幅 在30份文件中引用(2015–2022) 软件作者： 雅各布·L·布尔贾利。；雅罗斯拉夫·特伦卡 相关软件： 正电子体；HyperInt公司；剪切工具… 主要字段： 组合数学（05-XX）；微分几何（53-XX）；粒子力学与系统（70-XX）…
MatContM公司 25篇文献引用(2018–2023) 软件作者： 尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；Hil G.E.Meijer。 相关软件： MatcotM；Matlab；MATCONT公司 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；差分和函数方程（39-XX）…
内部控制系统 17篇文献引用(2009–2023) 软件作者： 克劳斯·诺德豪森（Klaus Nordhausen）、汉努·奥贾（Hannu Oja）、大卫·E·泰勒（David E.Tyler） 相关软件： R；robustbase；REPPlab；…（重排；…）… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SADE公司 23篇文献引用（2011年-2023年） 软件作者： Rocha Filho，Tarcísio M。；Annibal Figueiredo；纳兹、雷哈纳；汗，穆罕默德·丹麦语；伊姆兰·奈姆 相关软件： 宝石；向量场的李代数；德索尔VII… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
比盖布拉 22篇文献引用(1994–2023) 软件作者： 阿布·阿莫维奇，拉法；贝特弗里德·福泽 相关软件： 克利福德；枫树；客户… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）…
可观察性测试 22篇文献引用（2001年至2022年） 软件作者： 亚历山大·塞多拉维奇 相关软件： COMBOS公司；雏菊；西安… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
布里斯克 19份文件引用(2013–2022) 软件作者： Stefan Leutenegger、Margarita Chli、Roland Siegwart 相关软件： 冲浪；筛选；法语… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
拆分步骤资源管理器 21篇文献引用(2016–2023) 软件作者： C.Cedzich、F.A.Grünbaum、C.Stahl、L.Velázquez、A.H.Werner、R.F.Wernner 相关软件： 数学软件 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；概率论与随机过程（60-XX）…
开放式管道流量 18篇文献引用(2017–2024) 软件作者： 阿什利·P·威利斯 相关软件： FFTW；渠流；GitHub… 主要字段： 动力系统与遍历理论（37-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
FunArray（趣味阵列） 18篇文献引用(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；拉迪亚·库索特；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
InvGen公司 在16份文件中引用(2010–2022) 软件作者： Ashutosh Gupta；安德烈·里巴尔琴科 相关软件： z3；PPL；匕首… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
SM溶剂 18篇文献引用(2008–2021) 软件作者： D.A.Bini、B.Meini、S.Steffe、B.Van Houdt 相关软件： MCQueue；na12；Q-MAM… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
测谎仪 4份文件引用(2010–2018) 软件作者： Newsome，J.、Karp，B.、Song，D。 相关软件： 签名；哈马斯；Snort… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
算法854 在16份文件中引用(2000–2018) 软件作者： 彼得·本纳；丹尼尔·克雷斯纳 相关软件： mctoolbox；算法800；LAPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
晶格生成器 在16份文件中引用(2015–2023) 软件作者： L'Ecuyer，P.，Munger，D。 相关软件： sobol.cc；Magic Point Shop；GitHub… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
庞加莱系列 15篇文献引用(2010–2023) 软件作者： 贝德拉修克，L.P。 相关软件： 麦考利2号；Normaliz；枫树… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；非结合环与代数（17-XX）…
qpDUNES公司 在16份文件中引用(2015–2022) 软件作者： Janick Frasch；汉斯·约阿希姆·费罗（Hans Joachim Ferreau）；莫里茨·迪尔；米兰·武科夫 相关软件： qpOASES；ACADO；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EFTofPNG公司 14篇文献引用(2019–2023) 软件作者： 米歇尔·列维（Michele Levi）、扬·斯坦霍夫（Jan Steinhoff） 相关软件： x法案；基拉；LiteRed… 主要字段： 拓扑群，李群（22-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
GENDA公司 15篇文献引用(2004–2019) 软件作者： Peter Kunkel、Volker Mehrmann、Ingo Seufer 相关软件： GELDA；Matlab；NewtonLib… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SchNet公司 14篇文献引用(2019–2023) 软件作者： Schütt，K。；Kinderman，P-J；Felix，H.E S。；Chmiela，S。；Tkatchenko，A。；穆勒，K-R 相关软件： 亚当；TensorFlow；GitHub… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ABC4EFT公司 14篇文献引用(2012–2023) 软件作者： 李浩林；任哲；肖明磊；余、姜浩；郑宇辉 相关软件： Z；REPSN；目标@形状; … 主要字段： 数论（11-XX）；代数几何（14-XX）；偏微分方程（35-XX）…
AIFS公司 14篇文献引用(2001–2011) 软件作者： 科奇，卢比{s} 一个M。 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；测量和集成（28-XX）；动力系统和遍历理论（37-XX）…
C2e2型 14篇文献引用（2016年至2022年） 软件作者： P.Duggirala、S.Mitra、M.Viswanathan、M.Potok 相关软件： SpaceEx；流量*；CORA… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
OPTCON公司 14篇文献引用(1992–2014) 软件作者： 约瑟夫·马图尔卡；颈部，莱因哈德 相关软件： 高斯；光学游戏 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
怪胎 12份文件引用(2013–2021) 软件作者： A.Alahi、R.Ortiz、P.Vandergheynst 相关软件： 筛选；布里斯克；SURF… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
符号 在13份文件中引用(2014–2021) 软件作者： 李毅；Albarghouthi，Aws；扎卡里·金凯；阿里·古芬克尔（Arie Gurfinkel）；玛莎·契契克 相关软件： z3；vZ；OptiMathSAT… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
短吻鳄 12份文件引用(2008–2023) 软件作者： 劳拉·科瓦奇 相关软件： Mathematica；fastZeil；Aligator.jl… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
ckn内核 12份文件引用(2019–2024) 软件作者： 阿尔贝托·比埃蒂；朱利安·迈拉尔 相关软件： ImageNet；AlexNet；亚当… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
德纳 12份文件引用(2019–2023) 软件作者： 玛丽卢·加布里（Marylou Gabrié）、安德烈·马诺埃尔（Andre Manoel）、克莱门特·卢诺（Clément Luneau）、让·巴比尔（Jean Barbier）、尼古拉斯·马克里斯（Nicolas Macris）、弗洛伦特·科扎卡拉（Florent Krzaka 相关软件： lsd；委员会机器；亚当… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
ODE工具 12份文件引用(1997–2021) 软件作者： Cheb-Terrab，E.S。；杜阿尔特，L.G.S。；达莫塔，L.A.C.P。 相关软件： 枫树；PDE工具；交易.ii… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；偏微分方程（35-XX）…
c2i公司 10篇文献引用(2016–2023) 软件作者： 拉胡尔·夏尔马（Rahul Sharma）；亚历克斯·艾肯 相关软件： z3；胡迪尼；Eldarica… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
DEFT公司 8份文件引用(2019–2023) 软件作者： 本·格里帕约、戴夫·萨瑟兰 相关软件： 基本发电机；匹配工具；CoDEx… 主要字段： 可变形固体力学（74-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
基础知识 8份文件引用(2010–2022) 软件作者： 雷吉斯·布朗；托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： AProVE；速度；TiML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CosmoLattice公司 10篇文献引用(2021–2023) 软件作者： 丹尼尔·菲格罗亚。；阿德里安·弗洛里奥；弗朗西斯科·托兰蒂；韦塞尔·瓦尔肯堡 相关软件： 格子设计；拉特菲尔德2；自由… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
CyCADA公司 8份文件引用(2020–2023) 软件作者： 朱迪·霍夫曼（Judy Hoffman）、埃里克·曾荫权（Eric Tzeng）、大兴公园（Taesung Park）、朱俊彦（Jun-Yan Zhu）、菲利普·伊索拉（Phillip Isola）、凯特·桑科（Kate Saenko）、阿列克谢·埃夫罗斯（Alexei A.E 相关软件： AlexNet；ImageNet；CycleGAN… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
四点二 8份文件引用(2013–2020) 软件作者： 克里斯托弗·希勒（Christopher J.Hillar）。；亚伯拉罕·马丁·德尔·坎波 相关软件： symmChainGens；麦考利2号；4ti2… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
格拉斯曼Optim 7份文件引用(2017–2023) 软件作者： 科菲·普莱西德·阿德拉格尼；吴升浩（Seongho Wu） 相关软件： R；Matlab；sg_min… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
QuSpin（QuSpin） 9份文件引用(2019–2023) 软件作者： 菲利普·温伯格，马林·布科夫 相关软件： 碱性磷酸酶；IT传感器；SCHUR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；动力系统与遍历理论（37-XX）；经典热力学，传热（80-XX）…
签名输入变量 10篇文献引用(2019–2023) 软件作者： 乔沙·迪尔（Joscha Diehl）；杰里米·雷森斯坦 相关软件： 签字人；Diffrax；ii签名… 主要字段： 代数几何（14-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
悉尼 10篇文献引用(1996–2022) 软件作者： 沃罗布埃夫，E.M。 相关软件： diffgrob2；SYMMGRP；数学… 主要字段： 总体主题；藏品（00-XX）；拓扑群，李群（22-XX）；偏微分方程（35-XX）…
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
糖果/QA 9份文件引用（1992-2005） 软件作者： 乌尔里克·费代尔；沃尔夫冈·詹森 相关软件： HomCont；Matlab；MATCONT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
决策支持系统 3份文件引用(2008–2022) 软件作者： 保罗·吉尔伯特 相关软件： R；dlm；KFAS… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
基马提奥 4份文件引用(2021–2023) 软件作者： 马修·安德烈（Mathieu Andreux）、托马斯·安格斯（Tomás Angles）、乔治奥·埃萨克基斯（Georgios Exarchakis）、罗伯托·莱昂纳杜齐（Roberto Leonarduzzi）、加斯帕·罗切特（Gaspar Rochette）、路易斯·特里（Louis Thiry）、约翰·扎尔卡（John Zarka）、圣埃芬·马拉特（Stéphane Mallat）、约金·安登（Joakim Andéen）、尤 相关软件： 蟒蛇；ScatNet；Scikit… 主要字段： 欧氏空间（42-XX）的调和分析；计算机科学（68-XX）；流体力学（76-XX）…
Mod-p群上同调 9份文件引用(2010–2022) 软件作者： 西蒙·金、大卫·格林 相关软件： 间隙；SageMath；奇异… 主要字段： 总体主题；藏品（00-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
多协议标签 9份文件引用(2016–2023) 软件作者： 克里斯蒂安·博格纳 相关软件： HyperInt公司；表格；PolyLogTools… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
贝勒罗芬 8份文件引用(2017–2023) 软件作者： Nathan Fulton；斯特凡·米奇；布兰登·伯勒；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
直接DM 5份文件引用(2018–2020) 软件作者： F.Bishara、J.Brod、B.Grinstein、J.Zupan 相关软件： 费恩规则；SMEFTsim；威尔逊… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；相对论与引力理论（83-XX）…
HMC公司 7份文件引用(2014–2021) 软件作者： Jhala，R.、Majumdar，R.和Rybalchenko，A。 相关软件： z3；垫片；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NSIKE公司 8份文件引用(2002–2018) 软件作者： Medic，G.，Mohammadi，B。 相关软件： FEATFLOW；Matlab；SLICOT… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
P绑定 8份文件引用(2013–2020) 软件作者： Kahsai T，Tinelli C公司 相关软件： SeaHorn；CTIGAR；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
投影CAD 8份文件引用（2014年至2020年） 软件作者： 英格兰，马修；戴维·威尔逊（David Wilson）；拉塞尔·布拉德福德（Russell Bradford）；詹姆斯·H·达文波特。 相关软件： 正则链；QEPCAD；MetiTarski… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数几何（14-XX）…
SmeftFR公司 5份文件引用(2019–2024) 软件作者： A.Dedes、M.Paraskevas、J.Rosiek、K.Suxho、L.Trifyllis 相关软件： SMEFTsim；Dsix工具；威尔逊… 主要字段： 组合数学（05-XX）；偏微分方程（35-XX）；粒子力学与系统（70-XX）…
SVCCA公司 8份文件引用(2020–2023) 软件作者： Maithra Raghu、Justin Gilmer、Jason Yosinski、Jascha Sohl-Dickstein 相关软件： CIFAR；ImageNet；MNIST… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
symmChainGens系统 8份文件引用(2013–2020) 软件作者： 克里斯托弗·希勒（Christopher J.Hillar）。；亚伯拉罕·马丁·德尔·坎波 相关软件： 四点二分；4ti2；操作数… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
阿里加托.jl 7份文件引用(2018–2023) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；马克西米利安·亚罗斯切克；劳拉·科瓦奇 相关软件： 鳄鱼；SymPy；z3… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；计算机科学（68-XX）
EinSum公司 6篇文献引用(2002–2018) 软件作者： 奥伦德，K。 相关软件： POOMA；MOLPRO公司；SPHINX… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
快速MMD 6篇文献引用(2015–2023) 软件作者： 赵骥；孟德玉（Deyu Meng） 相关软件： 能量；dslice；ggplot2… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
泡沫Ho 7份文件引用(2013–2023) 软件作者： 卢卡斯·勒瓦克 相关软件： 结景；科卡；knotkit… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；流形和细胞复合体（57-XX）…
格普拉格 4份文件引用(2009–2018) 软件作者： 刘，C。；陈，C。；Han，J。；余，P.S。 相关软件： CCFinder；TALE公司；Pregel… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
ICS输出器 6篇文献引用(2018–2023) 软件作者： 阿奇姆巴德，奥罗雷；克劳斯·诺德豪森；安妮·鲁伊斯·加森 相关软件： 集成电路；R；robustbase… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
INVAR公司 7份文件引用(1996–2008) 软件作者： G.坎佩尔 相关软件： 麦考利2号；间隙；Groebner… 主要字段： 交换代数（13-XX）；群论与推广（20-XX）；常微分方程（34-XX）…
NetLSD公司 4份文件引用(2020–2024) 软件作者： Anton Tsitsulin、Davide Mottin、Panagiotis Karras、Alex Bronstein、Emmanuel Müller 相关软件： 蟒蛇；PyTorch；科学… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
噪音2自身 6篇文献引用(2022–2024) 软件作者： 约书亚·巴特森（Joshua Batson）、洛伊克·罗耶（Loic Royer） 相关软件： 噪声2噪声；噪音2无效；Self2Self… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PnPMPC公司 7份文件引用(2014–2023) 软件作者： Riverso，S.，Battocchio，A.，amp；费拉里·特雷卡特，G。 相关软件： MPT；YALMIP；机器人… 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）
PointConv公司 7份文件引用(2021–2024) 软件作者： 吴文轩、齐忠刚、李福新 相关软件： PointNet；亚当；PointCNN… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Sycraft公司 6篇文献引用(2009–2015) 软件作者： B.Bonakdarpour，S.Kulkarni 相关软件： CUDD；Uppaal；Vertaf… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
VeriFlow公司 7份文件引用（2016年至2022年） 软件作者： A.Khurshid、X.Zou、W.Zhou、M.Caesar、P.B.Godfrey 相关软件： NetKAT；食蚁兽；VeriCon… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）