×

找到13个软件包(结果1-13)

悬崖数学

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)…

GADAR公司

2份文件引用(1994–2004)
软件作者: 亚历山大·施利普
相关软件: 数学软件
主要字段: 组合数学(05-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)

筛选结果依据…

全部的 前5名

相关软件