MapReduce 214篇文献引用(2008–2024) 软件作者: 潘杰;弗莱德里克·马古莱斯;亚恩·勒比安尼克 相关软件: Hadoop;火花;Apache Spark… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
UFL公司 93篇文献引用(2010–2023) 软件作者: Alns,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)
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)…
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)…
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)
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)…
GT组件 1份文件引用(2018) 软件作者: Geilhufe,M。;西赫格特。 相关软件: 阿伏伽德罗;Vis5D;FINDSYM… 主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);计算机科学(68-XX)…
Mechkit公司 在0个文档中引用 软件作者: 朱利安·卡尔·鲍尔;菲利普·洛塔尔·基农(Philipp Lothar Kinon);乔纳斯·亨德(Jonas Hund);丽莎·拉图塞克;尼尔斯·迈耶;托马斯·伯尔克 相关软件: 纤维成熟度;蟒蛇;四分卫… 主要字段: –
DQ机器人 1份文件引用(2021) 软件作者: 布鲁诺·维莱纳·阿多诺(Bruno Vilhena Adorno)、穆里洛·马奎斯·马里尼奥(Murilo Marques Marinho) 相关软件: – 主要字段: 数论(11-XX);系统论;控制(93-XX)
快速垫 在0个文档中引用 软件作者: 克里斯托夫·瓦格纳(Christoph W.Wagner);塞巴斯蒂安·森珀(Sebastian Semper);扬·基尔霍夫 相关软件: 稀疏矩阵;FFTW;Pygpc… 主要字段: –
ORDINVAR公司 1份文件引用(1987) 软件作者: 汉斯·德·梅耶(Hans De Meyer);Vanden Berghe,G。;德王尔德,P。 相关软件: 污染物 主要字段: 非结合环与代数(17-XX)
污染物 1份文件引用(1987) 软件作者: 汉斯·德·梅耶(Hans De Meyer);Vanden Berghe,G。;德王尔德,P。 相关软件: ORDINVAR公司 主要字段: 非结合环与代数(17-XX)
SO旋转 1份文件引用(2016) 软件作者: 卡多佐,努诺;艾曼纽尔·科斯塔(Emmanuel-Costa,David);努诺Gonçalves;西蒙斯,C。 相关软件: 形式;克莱戈;苏西诺 主要字段: 拓扑群,李群(22-XX);数值分析(65-XX);计算机科学(68-XX)…
符号数字集成.jl 1份文件引用(2022) 软件作者: 伊朗文,沙赫里亚尔;卡尔·朱利叶斯·马滕森;亚历山德罗·切利;沙什·高达(Shashi Gowda);阿南德·杰恩(Anand Jain);马英波;拉考卡斯,克里斯 相关软件: 建模工具包.jl;SymPy;数据驱动偏移量.jl… 主要字段: 计算机科学(68-XX)
雷姆 在0个文档中引用 软件作者: 罗德里戈·卡纳莱斯(Rodrigo Canales)、埃尔马尔·佩斯(Elmar Peise)、保罗·比安蒂内西(Paolo Bientinesi) 相关软件: – 主要字段: –