×

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

LiE公司

180篇文献引用(1993年至2024年)
软件作者: A.M.Cohen、B.Lisser、M.A.A.van Leeuwen
相关软件: Mathematica;岩浆;麦考利2…
主要字段: 代数几何(14-XX);非结合环与代数(17-XX);群论与推广(20-XX)…

人力资源

27篇文献引用(2002–2022)
软件作者: 西蒙·科尔顿
相关软件: 涂鸦;水獭;梅斯4…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);组合数学(05-XX)…

数学检查

13份文件引用(2015–2021)
软件作者: 明亮,柯蒂斯;维杰·加内什;阿尔伯特·海因勒;科齐里亚斯、伊利亚斯;赛义德·内贾蒂;Czarnecki,Krzysztof;爱德华·祖尔科斯基
相关软件: 山猫;枫树;FFTW…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

矿石形态

12份文件引用(2007–2020)
软件作者: 克鲁佐,T.,Quadrat,A
相关软件: 矿石模块;矿石代数分析;麦考利2…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);结合环与代数(16-XX)…

主PVA

3份文件引用(2017–2018)
软件作者: 马特奥·卡萨蒂(Matteo Casati)、丹尼尔·瓦莱里(Daniele Valeri)
相关软件: WAlg;Mathematica;CDIFF…
主要字段: 非结合环与代数(17-XX);偏微分方程(35-XX);动力系统和遍历理论(37-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)…

SACHS公司

3份文件引用(2009–2015)
软件作者: 安德烈亚·科尔哈斯(Andrea Kohlhase);迈克尔·科尔哈斯
相关软件: OMDoc公司;MMT;Excel…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

拉格朗日网格

1份文件引用(2023)
软件作者: del Valle,J.C.公司。
相关软件: 径向的;MATSLISE公司;数学…
主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);歧管和细胞复合体(57-XX)…

DSR开放实验室

1份文件引用(2000)
软件作者: 科洛德尼茨基,M。;科瓦尔丘克,A。;Kuryata,S。;列维茨基,V。
相关软件: Mathcad;Matlab;数学…
主要字段: 计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件