×

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

APS-1型

30篇文献引用(1992–2023)
软件作者: Letichevskij,A.A。;Krivoj,S.L.公司。
相关软件: APS;存档正式证据;立方体…
主要字段: 数学逻辑与基础(03-XX);群论与推广(20-XX);常微分方程(34-XX)…

尼尔马特

20篇文献引用(2004–2021)
软件作者: Alla Detinko、Bettina Eick、Dane Flannery
相关软件: 岩浆;波伦塔;间隙…
主要字段: 历史与传记(01-XX);组合数学(05-XX);群论与推广(20-XX)…

自动组

15篇文献引用(2008–2022)
软件作者: Yevgen Muntyan,德米特罗·萨夫丘克
相关软件: 法国;间隙;自动机
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…

AClib(AClib)

12份文件引用(2002年至2022年)
软件作者: 贝蒂娜·艾克(Bettina Eick)·卡雷尔·德基姆(Karel Dekimpe)
相关软件: 间隙;多环;波伦塔…
主要字段: 数论(11-XX);群论与推广(20-XX);微分几何(53-XX)…

RCWA公司

6篇文献引用(2005–2017)
软件作者: 科尔·斯特凡
相关软件: 间隙;多环
主要字段: 数论(11-XX);群论与推广(20-XX);实函数(26-XX)…

FGA公司

引用于3份文件(2014–2020)
软件作者: 克里斯蒂安·西弗斯
相关软件: 间隙;前列腺素f;genyoungtabtikz…
主要字段: 组合数学(05-XX);群论与推广(20-XX);流形和细胞复合体(57-XX)…

autgradalg.lib

2份文件引用(2018–2022)
软件作者: 西蒙·凯彻
相关软件: MDS包;格凡;单一
主要字段: 交换代数(13-XX);代数几何(14-XX)

dce公司

1份文件引用(2004)
软件作者: 史蒂夫·林顿
相关软件: 岩浆;间隙
主要字段: 群论与推广(20-XX);计算机科学(68-XX)

深思熟虑

1份文件引用(2019)
软件作者: 霍恩,M。;北瓦格纳。
相关软件: HallPoly;单数;瓜拉纳…
主要字段: 群论与推广(20-XX)

战略

1份文件引用(2006)
软件作者: 托马斯·拜耳
相关软件:
主要字段: 交换代数(13-XX);拓扑群,李群(22-XX)

筛选结果依据…