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