×

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

GJ系列

26篇文献引用(1999–2022)
软件作者: 约翰·努南;多龙·泽尔伯格
相关软件: GJsqfree;GJSAW;SPGJ…
主要字段: 组合数学(05-XX);数论(11-XX);范畴理论;同调代数(18-XX)…

径向的

2份文件引用(2019–2021)
软件作者: 弗朗西斯科·萨尔瓦特;JoséM.Fernández-Varea。
相关软件: 床垫;拉格朗日网格;数学…
主要字段: 交换代数(13-XX);光学、电磁理论(78-XX);量子理论(81-XX)…

泊松

1份文件引用(2021)
软件作者: 奥利维尔·比勒内
相关软件: github;MC队列
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学、数学规划(90-XX)

特殊功能边界

1份文件引用(2019)
软件作者: 劳伦斯·保尔森
相关软件: 梅蒂塔斯基;Coq;存档正式证据…
主要字段: 场论与多项式(12-XX);计算机科学(68-XX)

筛选结果依据…