悬崖数学 23篇文献引用(2012–2021) 软件作者: 雷内·斯科特;斯泰普斯(G.Stacey Staples) 相关软件: 克利夫OC;CliffSymNil;数学… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);计算机科学(68-XX)…
克里夫OC 引用于20份文件(2006–2021) 软件作者: 勒内肖特;斯泰普斯(G.Stacey Staples) 相关软件: 悬崖数学;CliffSymNil;数学… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX)…
模块图形形式 14篇文献引用(2020–2023) 软件作者: 简·E·格肯 相关软件: Mathematica;表格;PSS系统 主要字段: 组合数学(05-XX);数论(11-XX);微分几何(53-XX)…
克莱纳代数 9份文件引用(2015–2022) 软件作者: A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件: 归档正式校对;Isabelle/HOL;大锤… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
Verigraph公司 9份文件引用(2016–2023) 软件作者: 吉尔赫梅·格罗肖(Guilherme Grochau)阿齐兹(Azzi);贝泽拉、乔纳斯·桑托斯;莱拉·里贝罗(Leila Ribeiro);安德烈·科斯塔;罗德里格斯、莱昂纳多·马尔克斯;罗德里戈·马查多 相关软件: AGG;同意;Henshin… 主要字段: 范畴理论;同调代数(18-XX);计算机科学(68-XX)
爱马仕 5份文件引用(2014–2023) 软件作者: 安妮·贝瑞;阿兰·古铁雷斯;玛丽安·胡查德(Marianne Huchard);那不勒斯、阿梅迪奥;阿兰·西盖雷特 相关软件: LatViz;概念浏览器;维克… 主要字段: 阶、格、有序代数结构(06-XX);统计学(62-XX);计算机科学(68-XX)…
血浆.jl 4份文件引用(2019–2022) 软件作者: Jordan Javing、Yankai Cao、Victor M.Zavala 相关软件: JuMP;朱莉娅;Pyomo… 主要字段: 数值分析(65-XX);运筹学,数学编程(90-XX)
AGL评分 3份文件引用(2021–2022) 软件作者: D.阮;G.-W.魏 相关软件: 拓扑网;CliqueTop公司;HERMES… 主要字段: 微分几何(53-XX);代数拓扑(55-XX);流形和细胞复合体(57-XX)…
拉普拉斯语.jl 2份文件引用(2021) 软件作者: Spielman,D.等人。 相关软件: github;LAMG;插值.jl… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
手榴弹大师 2份文件引用(2020–2021) 软件作者: 文森特·达诺斯;托拜厄斯·海因德尔;霍诺拉托·齐梅尔(Honorato Zimmer),里卡多(Ricardo);桑德罗·斯塔基 相关软件: KappaTools;BGL;MedOlDatschgerl… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
图表调查员 2份文件引用(2011–2016) 软件作者: 捷克语,Wojciech;维托尔德·德兹温;Sławomir Goryczka;托马斯·阿罗德;阿卡迪乌斯·杜德克。 相关软件: SpectralNET;StOCNET网络 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
冒险理论 1份文件引用(2017) 软件作者: 乔伊纳(W.David Joyner);卡罗琳·格兰特·梅莱斯 相关软件: SageMath;github 主要字段: 组合数学(05-XX);欧氏空间(42-XX)的调和分析;信息与通信理论,电路(94-XX)