×

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

毫升

516份文件引用(1978–2024)
软件作者: 罗伯特·哈珀;罗宾·米尔纳(Robin Milner);托夫特、麦兹;爱丁堡大学
相关软件: HOL;Coq;伊莎贝尔…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

钠10

53篇文献引用(1996–2022)
软件作者: 达里奥·安德里亚·比尼
相关软件: na20;mctoolbox;隔离…
主要字段: 场论与多项式(12-XX);线性代数和多线性代数;矩阵理论(15-XX);复变量的函数(30-XX)…

根求解(RootSolve)

19份文件引用(2011–2023)
软件作者: 卡琳·索塔特
相关软件: R;解算;BvpSolve…
主要字段: 常微分方程(34-XX);统计学(62-XX);数值分析(65-XX)…

支持某人

15篇文献引用(2015–2022)
软件作者: 中冢由纪夫
相关软件: 切布冯;Chebfun2;贝尔蒂尼…
主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)…

fzn2毫米

4份文件引用(2012–2017)
软件作者: 博菲尔(Bofill,M.)、帕拉西(Palahí)、苏伊(Suy,J.)、维拉雷特(Villaret,M。
相关软件: 微量锌;Gecode公司;SCIP…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

SU3公司

4份文件引用(1996–2021)
软件作者: 托马斯·卡丁。;威廉姆斯,H.托马斯
相关软件: SU3Clebsch;SU3CGVCS;WIGXJPF…
主要字段: 群论与推广(20-XX);拓扑群,李群(22-XX);计算机科学(68-XX)…

芭蕾舞演员

4份文件引用(2010–2022)
软件作者: 贝迪尼,A。;雅各布森,J.L。
相关软件: tutte_bhkk;GiNaC;SageMath…
主要字段:

rootsur.lib公司

引用于3份文件(2015–2020)
软件作者: 托比斯,E。
相关软件: 单一;realclassify.lib;rootisolation.lib…
主要字段: 代数几何(14-XX)

SLV公司

2份文件引用(2016–2019)
软件作者: 伊莱亚斯·齐加里达斯
相关软件: 枫树;ANewDsc;微小的…
主要字段: 场论与多项式(12-XX);数值分析(65-XX);计算机科学(68-XX)

谋杀

2份文件引用(2000–2018)
软件作者: E.S.伯纳德
相关软件: LiE;Z;CHomP…
主要字段: 总体主题;藏品(00-XX);代数几何(14-XX);结合环与代数(16-XX)…

PBURF03.jl公司

1份文件引用(2018)
软件作者: 埃尔南德斯,L.J。
相关软件: 朱莉娅
主要字段: 动力系统与遍历理论(37-XX);一般拓扑(54-XX)

微积分1.0

在0个文档中引用
软件作者: 阿沙·达瓦德克
相关软件:
主要字段:

LabFit实验室

在0个文档中引用
软件作者: 威尔顿·佩雷拉·达席尔瓦;克莱德·佩雷拉·达席尔瓦
相关软件:
主要字段:

部分AR

在0个文档中引用
软件作者: 马修·克莱格
相关软件:
主要字段:

权重-多重性

在0个文档中引用
软件作者: 帕梅拉·哈里斯(Pamela E.Harris)。;彼得·霍兰德;秦,丹尼尔·C。;玛丽亚·罗德里格斯-赫兹
相关软件:
主要字段:

筛选结果依据…

全部的 前5名

相关软件