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