岩浆 4028文件引用(1994–2024) 软件作者: W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件: 间隙;SageMath;PARI/GP… 主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…
间隙 3687份文件引用(1990–2024) 软件作者: GAP集团 相关软件: 岩浆;SageMath;ATLAS集团代表… 主要字段: 组合数学(05-XX);代数几何(14-XX);结合环与代数(16-XX)…
PARI/GP公司 744份文件中引用(1992年至2024年) 软件作者: 亨利·科恩;卡里姆·贝拉巴斯(Karim Belabas);PARI组 相关软件: 岩浆;SageMath;间隙… 主要字段: 数论(11-XX);场论与多项式(12-XX);代数几何(14-XX)…
水獭 326篇文献引用(1988–2023) 软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 数学逻辑与基础(03-XX);有序,格,有序代数结构(06-XX);群论与推广(20-XX)…
sl2泡沫 10篇文献引用(2018–2023) 软件作者: 多纳,彼得罗;乔治·萨诺 相关软件: github;CUDAnative.jl;CUDA.jl… 主要字段: 拓扑群,李群(22-XX);微分几何(53-XX);统计学(62-XX)…