TetGen公司 212篇文献引用(2006–2024) 软件作者： 汉斯 相关软件： 三角形；Gmsh；CGAL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；可变形固体力学（74-XX）…
传奇 173篇文献引用(2015–2024) 软件作者： Aaron Defazio、Francis Bach、Simon Lacoste-Julien 相关软件： 阿达格拉德；LIBSVM；菲尼托… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
收入 87份文件引用(1984–2023) 软件作者： 皮埃尔·莱斯坎 相关软件： RRL；AProVE；蒂罗尔… 主要字段： 数理逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
水母 37篇文献引用(2013–2023) 软件作者： 本杰明·雷赫特（Benjamin Recht）；克里斯托弗·雷伊 相关软件： softImpute；传奇；SDPLR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
ITP公司 31份文件引用(2005–2023) 软件作者： Clavel，M。；帕洛米诺，M。；A.里斯科。 相关软件： 莫德；SCC；咖啡OBJ… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
COOLCAT公司 22篇文献引用(2006–2024) 软件作者： Barbará，D.，Li，Y.，Couto，J。 相关软件： UCI-ml；岩石；clusfind… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
LTSmin公司 25篇文献引用(2011–2023) 软件作者： 阿尔芬斯·拉阿尔曼（Alfons Laarman）；雅各·范德波尔；迈克尔·韦伯；斯特凡·布洛姆 相关软件： 自旋蛋白；Uppaal；迪文尼… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
开放式SMT 26篇文献引用(2010–2018) 软件作者： 罗伯特·布鲁托梅索；埃德加·佩克（Edgar Pek）；娜塔莎·莎莉吉娜；阿里亚克西·齐托维奇 相关软件： z3；数学SAT5；CVC4… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
本地化程序 21篇文献引用(1999–2021) 软件作者： 劳伦特·米歇尔（Laurent Michel）；帕斯卡·范·亨特利克 相关软件： 彗星；SALSA；EasyLocal++… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；通用拓扑（54-XX）…
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AddIntent（添加意向） 15篇文献引用(2004–2021) 软件作者： 范德梅尔，院长；谢尔盖·奥比耶德科夫；德瑞克·库里 相关软件： UCI-ml；FCALGS；SearchSleuth… 主要字段： 阶、格、有序代数结构（06-XX）；统计学（62-XX）；计算机科学（68-XX）…
RRIA公司 16篇文献引用（2004年至2020年） 软件作者： 郑，郑；王国银 相关软件： UCI-ml；LERS；RSBR_… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
PRONTO 2D系列 13份文件引用(1987–2015) 软件作者： L.M.泰勒。；弗拉纳根，D.P。 相关软件： DYNA3D；LS-DYNA；DYNA2D… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
布莱斯 10篇文献引用（2009年至2022年） 软件作者： 基思·博纳维茨（Keith Bonawitz）、维卡什·曼辛加（Vikash Mansinghka）、博·克罗宁（Beau Cronin） 相关软件： bnsoft；推断。网络；R、 … 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
iSAM2系统 9份文件引用(2015–2023) 软件作者： 凯斯，M。；约翰松，H。；罗伯茨，R。；伊拉，V。；Leonard，J。；Dellaert，F。 相关软件： g2o；MonoSLAM；SE同步… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
随机UTV 9份文件引用（2019年至2024年） 软件作者： Martinsson，P.G。；金塔纳-奥尔蒂，G。；北卡罗来纳州希夫纳。 相关软件： UTV；rsvd；算法971… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
TMG公司 9份文件引用(2006–2017) 软件作者： D.泽Impukis；E.加洛普洛斯 相关软件： Matlab；JDQZ；PROPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
奈亚德 7份文件引用(2017–2022) 软件作者： D.G.Murray、F.McSherry、R.Isaacs、M.Isard、P.Barham、M.Abadi 相关软件： StreamQRE；LOLA；哈斯克尔… 主要字段： 计算机科学（68-XX）
RDFox公司 5份文件引用(2020–2023) 软件作者： Nenov，Y.、Piro，R.、Motik，B.、Horrocks，I.、Wu，Z.、Banerjee，J。 相关软件： DBpedia；SPARQL；LUBM… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
标签等级T 6篇文献引用(2016–2021) 软件作者： 谢杰瑞、陈明明、博莱斯瓦夫·西曼斯基 相关软件： C索引器；SELP；GitHub… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
诺以太.lib 7份文件引用(2008–2019) 软件作者： 阿米尔·哈希米 相关软件： 单一；枫树；投影Noether… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
阿达根 6篇文献引用(2019–2022) 软件作者： 伊利亚·托尔斯蒂金、西尔万·盖利、奥利维尔·博斯克、卡尔·约翰·西蒙·加布里埃尔、伯恩哈德·舍尔科夫 相关软件： Wasserstein GAN；像素x像素；CycleGAN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
DILS公司 5份文件引用(2020–2023) 软件作者： 德国González-Almagro；朱利安·卢恩戈；José-Ramón卡诺；萨尔瓦多加西亚 相关软件： SOS-SDP；k-均值++；AS 136… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
StreamQRE（流QRE） 5份文件引用（2019年-2023年） 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
空间排序 4份文件引用(2009–2016) 软件作者： 克里斯托夫·德拉吉；奥利维尔·德维勒 相关软件： CGAL；二维三角剖分；三维三角剖分… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）
沃罗巴克-D 4份文件引用(2021–2022) 软件作者： Ryu，J.，Lee，M.，Kim，D.，Kallrath，J.、Sugihara，K.、Kim，D.S 相关软件： MinPerim公司；CGAL；结图… 主要字段： 流形和细胞复合体（57-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）
葡萄 引用于3份文件(2018–2020) 软件作者： 范文飞；于文元；徐静波；周景仁；罗晓坚；殷、羌；卢平；曹、杨；徐瑞琪 相关软件： 网猪；布洛格尔；GPS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
网格蜘蛛Par 引用于3份文件(2020–2022) 软件作者： E.N.戈洛夫琴科。 相关软件： QHD泡沫；DiMP；DiMP-液压 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
DisPGB.mpl公司 2份文件引用(2017–2019) 软件作者： 阿米尔·哈希米；M.Alizadeh，Benyamin；Mahdi Dehghani Darmian 相关软件： 枫树；单一；IncDisPGB.mpl… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
隐士 1份文件引用(2021) 软件作者： 迈克尔·斯蒂芬努（Michael Stephanou），梅尔文·瓦鲁泽（Melvin Varughese） 相关软件： R；DDSketch；ggplot2… 主要字段： 统计学（62-XX）
AlphaClean公司 1份文件引用(2021) 软件作者： 桑杰·克里希南（Sanjay Krishnan）、尤金·吴（Eugene Wu） 相关软件： AlexNet公司；OpenML-CC18；AlphaD3M… 主要字段： 计算机科学（68-XX）
圆形填料 1份文件引用(2016) 软件作者： 凯文·普拉特；康纳·莱利；唐纳德·希伊 相关软件： github；JavaScript脚本 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）
开放式LORIS 在0个文档中引用 软件作者： 戚舍、范峰、郝新跃、杨启翰、兰传林、文森佐·洛莫纳科、史雪松、王正伟、姚国、张益民、费乔、Rosa H.M.Chan 相关软件： MNIST；流-51；变形金刚… 主要字段： ——
COPRA公司 在0个文档中引用 软件作者： Breitenbach，S.F.M.、Rehfeld，K.、Goswami，B.、Baldini，J.U.L.、Ridley，H.E.、Kennett，D.、Prufer，K.，Aquino，V.V.、Asmerom，Y.、Polyak，V.J.、Cheng，H.、Kurth，J.、Marwan，N 相关软件： —— 主要字段： ——
Trimpack公司 在0个文档中引用 软件作者： Juan M.Tizón。；尼科拉斯·贝塞拉；丹尼尔·贝塞巴尔（Daniel Bercebal）；克劳斯·格拉博夫斯基。 相关软件： —— 主要字段： ——