×

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

MapReduce

214篇文献引用(2008–2024)
软件作者: 潘杰;弗莱德里克·马古莱斯;亚恩·勒比安尼克
相关软件: Hadoop;火花;Apache Spark…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

UFL公司

93篇文献引用(2010–2023)
软件作者: Alns,Martin s。;Logg,Anders;克里斯蒂安·加德(Kristian B.lgaard)。;玛丽·罗格内斯(Marie E.Rognes)。;威尔斯,加思·N。
相关软件: FEniCS;PETSc;Firedrake…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

珍妮特

37篇文献引用(2005年至2021年)
软件作者: Blinkov Y、Cid C、Gerdt V、Plesken W、Robertz D
相关软件: 单一;枫树;OreModules;…矿石模块…
主要字段: 交换代数(13-XX);群论与推广(20-XX);偏微分方程(35-XX)…

PSBLAS公司

23篇文献引用(2000–2021)
软件作者: 达安布拉,帕斯卡;迪塞拉菲诺,丹妮拉;萨尔瓦多菲利波内
相关软件: MLD2P4;2LEV-D2P4;特里利诺斯…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

马特佩特

14篇文献引用(1989–2019)
软件作者: 迈克尔·比森
相关软件: 哈斯克尔;动态数学;MathXpert…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);数学教育(97-XX)

火山

6篇文献引用(2000–2018)
软件作者: 格雷夫(G.Graefe)。
相关软件: DB2;潜力;LUBM…
主要字段: 计算机科学(68-XX)

SuSy 2号机组

19份文件引用(1997–2022)
软件作者: 齐莫威特·波波维茨
相关软件: 伪;减少;PDF工具…
主要字段: 非结合环与代数(17-XX);偏微分方程(35-XX);动力系统和遍历理论(37-XX)…

ABC4EFT公司

14篇文献引用(2012–2023)
软件作者: 李浩林;任哲;肖明磊;于江浩;郑宇辉
相关软件: Z;REPSN;瞄准@形状; …
主要字段: 数论(11-XX);代数几何(14-XX);偏微分方程(35-XX)…

加勒比

14篇文献引用(2004–2012)
软件作者: O.Fissoor、I.Gneedig、H.Kirchner
相关软件: 莫德;AProVE;ELAN…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

RTC工具箱

在11份文件中引用(2008–2023)
软件作者: Wandeler E、Thiele L
相关软件: DISCO;NC-Maude;COINC…
主要字段: 计算机科学(68-XX);经典热力学,传热(80-XX);运筹学,数学规划(90-XX)…

税务

6篇文献引用(2002–2013)
软件作者: 贾加迪什,H.V。;Lakshmanan,Laks V.S。;Srivastava,Divesh;基思·汤普森
相关软件: XPath;XQuery;XSEarch…
主要字段: 计算机科学(68-XX)

取消QL

10篇文献引用(2006–2018)
软件作者: 彼得·布内曼(Peter Buneman)、玛丽·费尔南德斯(Mary Fernandez)、丹·苏西乌(Dan Suciu)
相关软件: XPath;XQuery;减少…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)

RALL公司

9份文件引用(1997–2014)
软件作者: 大卫·冯·奥海姆,托马斯·格里茨纳
相关软件: 拉尔夫;Isabelle/HOL;ARA…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

RBDL公司

7份文件引用(2019–2023)
软件作者: M.L.费利斯
相关软件: GitHub;卡萨迪;木偶…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

SParC-LES公司

7份文件引用(2013–2023)
软件作者: 安德烈亚·阿波维托拉;Pasqua D'Ambra;菲利波·德纳罗(Filippo M.Denaro);丹妮拉·迪·塞拉菲诺;Salvatore Filippone公司
相关软件: MLD2P4;PSBLAS;2LEV-D2P4…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);流体力学(76-XX)

克利夫索

6篇文献引用(2010–2020)
软件作者: Gentile A.、Segreto S.、Sorbello F.、Vassallo G.、Vitable S.、Vullo V。
相关软件: 盖根;加洛普;CLU…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

LaraDB公司

6篇文献引用(2018–2023)
软件作者: 迪伦·哈奇森、比尔·豪、丹·苏丘
相关软件: 马特朗;xarray;APL…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)…

Noetherian运算符

5份文件引用(2022–2023)
软件作者: Justin Chen、Yairon Cid-Ruiz、Marc Härkönen、Robert Krone、Anton Leykin
相关软件: 麦考利2号;带微分算子的原语分解;贝尔蒂尼…
主要字段: 交换代数(13-XX);代数几何(14-XX);特殊功能(33-XX)…

超级加州

3份文件引用(1991–1998)
软件作者: W.M.塞勒
相关软件: Mathematica;迪尔;减少…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

Algolib公司

5份文件引用(2004–2022)
软件作者: INRIA的Algo团队
相关软件: 枫树;组织环境信息系统;HOL灯…
主要字段: 阶、格、有序代数结构(06-XX);数论(11-XX);计算机科学(68-XX)

数学合作伙伴

5份文件引用(2017–2022)
软件作者: 马拉斯科诺克,G.I。
相关软件: SymPy;Mathematica;枫树
主要字段: 代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX)…

帕亚

4份文件引用(2016–2019)
软件作者: V.E.Howle、R.C.Kirby、K.Long、B.Brennan和K.Kennedy
相关软件: 特里利诺斯;特科;UFL…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

PyLops公司

1份文件引用(2024)
软件作者: 马特奥·拉瓦西(Matteo Ravasi)、伊万·瓦康塞洛斯(Ivan Vasconcelos)
相关软件: 蟒蛇;数字Py;科学…
主要字段: 近似值和展开值(41-XX)

TenRes公司

5份文件引用(2016–2020)
软件作者: 侯赛因·普尔(Hossein Poor),贾马尔(Jamal);克莱门斯·G·拉布。;乔治·雷根斯堡
相关软件: Mathematica;矿石模块;枫树…
主要字段: 交换代数(13-XX);结合环与代数(16-XX);算子理论(47-XX)…

字段X

3份文件引用(2021–2022)
软件作者: 马库斯·弗罗布
相关软件: x法案;xPert;xTras…
主要字段: 量子理论(81-XX);相对论和引力理论(83-XX)

GA耦合分析仪

4份文件引用(2016–2020)
软件作者: 胡勇;罗文;于兆元;袁林旺;吕国念
相关软件: 盖根;CLUCalc;克利福德…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

If包2

4份文件引用(2018–2023)
软件作者: 普罗科彭科,A。;西弗特,C.M。;胡建杰。;霍姆曼,M。;克林韦克斯,A
相关软件: 特里利诺斯;GitHub;奥尔巴尼…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

A规格配对矩阵

3份文件引用(2014–2021)
软件作者: Ana C.Conceiáo,JoséC.Pereira
相关软件: A规格成对标尺;Mathematica;SInt公司
主要字段: 欧氏空间(42-XX)的调和分析;积分方程(45-XX);算子理论(47-XX)…

A规格成对标尺

3份文件引用(2014–2021)
软件作者: Ana C.Conceiáo,JoséC.Pereira
相关软件: A规格配对矩阵;Mathematica;SInt公司
主要字段: 欧氏空间(42-XX)的调和分析;积分方程(45-XX);算子理论(47-XX)…

克莱戈

3份文件引用(2011–2017)
软件作者: 霍斯特(Christoph Horst);尤尔根路透社
相关软件: E6张量;Mathematica;SOSpin…
主要字段: 群论与推广(20-XX);拓扑群,李群(22-XX);数值分析(65-XX)…

DiffAlg公司

3份文件引用(2016–2021)
软件作者: 曼纽尔·杜宾斯基(Manuel Dubinsky);塞萨尔·马斯里;莫里尼埃沃,阿里尔;费德里科·夸尔布伦
相关软件: 麦考利2
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…

闪光提取

2份文件引用(2020–2021)
软件作者: Le,V.,Gulwani,S。
相关软件: FlashMeta;运输;FlashRelate…
主要字段: 计算机科学(68-XX)

LPDO公司

3份文件引用(2013–2016)
软件作者: 叶卡捷琳娜·舍米亚科娃
相关软件: 枫树;图论
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);积分变换,运算微积分(44-XX)…

梅兰奇

3份文件引用(2019–2023)
软件作者: Degueule T、Combemale B、Blouin A、Barais O、Jézéquel J-M
相关软件: 黑色素;莫德;AToMPM…
主要字段: 计算机科学(68-XX)

东方XA

2份文件引用(2004–2006)
软件作者: 孟晓峰;罗道峰;姜瑜;王,于
相关软件: 潜力;火山;PicoDBMS…
主要字段: 计算机科学(68-XX)

PyLab公司

2份文件引用(2013–2016)
软件作者: SciPy开发人员
相关软件: Matlab;莎莉;威卡…
主要字段: 计算机科学(68-XX)

SNEG公司

1份文件引用(2015)
软件作者: Rok Zitko公司
相关软件: Mathematica;超级钙;Grassmann操作…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);量子理论(81-XX)

SuiteSparse。图形BLAS

3份文件引用(2019–2024)
软件作者: 阿迪蒂·巴特瓦尔(Aditi Barthwal);迈克尔·诺里什
相关软件: KaDE;侵蚀;尼莫…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX);常微分方程(34-XX)…

AWN公司

2份文件引用(2014–2016)
软件作者: 蒂莫西·布鲁克
相关软件: 伊莎贝尔/马戏团;Isabelle/jEdit;TPTP…
主要字段: 计算机科学(68-XX)

GT组件

1份文件引用(2018)
软件作者: Geilhufe,M。;西赫格特。
相关软件: 阿伏伽德罗;Vis5D;FINDSYM…
主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);计算机科学(68-XX)…

Mechkit公司

在0个文档中引用
软件作者: 朱利安·卡尔·鲍尔;菲利普·洛塔尔·基农(Philipp Lothar Kinon);乔纳斯·亨德(Jonas Hund);丽莎·拉图塞克;尼尔斯·迈耶;托马斯·伯尔克
相关软件: 纤维成熟度;蟒蛇;四分卫…
主要字段:

NCAR命令语言

在0个文档中引用
软件作者: 露天矿
相关软件: 蟒蛇;eof;xarray…
主要字段:

DQ机器人

1份文件引用(2021)
软件作者: 布鲁诺·维莱纳·阿多诺(Bruno Vilhena Adorno)、穆里洛·马奎斯·马里尼奥(Murilo Marques Marinho)
相关软件:
主要字段: 数论(11-XX);系统论;控制(93-XX)

外部扩展

在0个文档中引用
软件作者: 卢克·奥丁
相关软件: 麦考利2
主要字段:

快速垫

在0个文档中引用
软件作者: 克里斯托夫·瓦格纳(Christoph W.Wagner);塞巴斯蒂安·森珀(Sebastian Semper);扬·基尔霍夫
相关软件: 稀疏矩阵;FFTW;Pygpc…
主要字段:

FRODO公司

1份文件引用(2005)
软件作者: Angeli,C。;西米拉利亚,R。
相关软件: 单兵携带防空系统
主要字段: 计算机科学(68-XX);量子理论(81-XX)

GenCCSL公司

1份文件引用(2015)
软件作者: Frédéric Mallet;格里戈里·兹霍尔特基维奇
相关软件: TimeSquare;CCSL公司
主要字段: 计算机科学(68-XX)

KL1磅

1份文件引用(2020)
软件作者: 盖贝尔·R。
相关软件: 犰狳;L1-战略性;CoSaMP公司
主要字段: 统计学(62-XX)

拉里布

在0个文档中引用
软件作者: 弗朗西斯科·福里亚尼、朱利奥·马泰拉、阿尔贝托·保卢齐
相关软件: 算法447;CGAL;TensorFlow…
主要字段:

ORDINVAR公司

1份文件引用(1987)
软件作者: 汉斯·德·梅耶(Hans De Meyer);Vanden Berghe,G。;德王尔德,P。
相关软件: 污染物
主要字段: 非结合环与代数(17-XX)

污染物

1份文件引用(1987)
软件作者: 汉斯·德·梅耶(Hans De Meyer);Vanden Berghe,G。;德王尔德,P。
相关软件: ORDINVAR公司
主要字段: 非结合环与代数(17-XX)

QuantumAlgebra.jl公司

在0个文档中引用
软件作者: 约翰内斯·费斯特
相关软件: 分叉套件.jl;赛斯;Matplotlib…
主要字段:

国家林业局

1份文件引用(2000)
软件作者: 文森特·普洛斯珀
相关软件: ACE;SF;马西玛…
主要字段: 特殊功能(33-XX);数值分析(65-XX);计算机科学(68-XX)

SO旋转

1份文件引用(2016)
软件作者: 卡多佐,努诺;艾曼纽尔·科斯塔(Emmanuel-Costa,David);努诺Gonçalves;西蒙斯,C。
相关软件: 形式;克莱戈;苏西诺
主要字段: 拓扑群,李群(22-XX);数值分析(65-XX);计算机科学(68-XX)…

符号计算

1份文件引用(2014)
软件作者: Youngjoo Chung
相关软件: 数学软件
主要字段: 计算机科学(68-XX)

符号数字集成.jl

1份文件引用(2022)
软件作者: 伊朗文,沙赫里亚尔;卡尔·朱利叶斯·马滕森;亚历山德罗·切利;沙什·高达(Shashi Gowda);阿南德·杰恩(Anand Jain);马英波;拉考卡斯,克里斯
相关软件: 建模工具包.jl;SymPy;数据驱动偏移量.jl…
主要字段: 计算机科学(68-XX)

t回收X

1份文件引用(2022)
软件作者: 阿明·斯克林齐
相关软件: 多氧;特征值;FFTW…
主要字段: 数值分析(65-XX);流体力学(76-XX)

矢量33

1份文件引用(1989)
软件作者: D.哈珀
相关软件: 减少
主要字段: 实函数(26-XX);数值分析(65-XX);计算机科学(68-XX)

雷姆

在0个文档中引用
软件作者: 罗德里戈·卡纳莱斯(Rodrigo Canales)、埃尔马尔·佩斯(Elmar Peise)、保罗·比安蒂内西(Paolo Bientinesi)
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件