水獭 325篇文献引用(1988–2023) 软件作者: 比尔·麦库恩;阿莫尔·蒙塔诺(Amor Montano)、何塞·阿尔弗雷多(Jose Alfredo);米兰达·佩雷亚(Miranda Perea)、法维奥·埃泽奎尔(Favio Ezequiel) 相关软件: TPTP;VAMPIRE公司;SPASS… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);群论与推广(20-XX)…
半群 37篇文献引用(2011–2023) 软件作者: J.D.米切尔。 相关软件: 间隙;组织环境信息系统;Smallsemi… 主要字段: 组合数学(05-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…
自动组 15篇文献引用(2008–2022) 软件作者: Yevgen Muntyan,德米特罗·萨夫丘克 相关软件: 法国;间隙;自动机 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);群论与推广(20-XX)…
自动 13份文件引用(1990–2023) 软件作者: Champarnaud,J.M。;Hansel,G。 相关软件: 圣杯;AMoRE;AG… 主要字段: 一般代数系统(08-XX);群论与推广(20-XX);计算机科学(68-XX)
SgpViz公司 7份文件引用(2006–2020) 软件作者: 曼努埃尔·德尔加多;何塞·莫利斯 相关软件: 间隙;自动机;MuPAD… 主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);动力系统和遍历理论(37-XX)…
S型膨胀 4份文件引用(2018–2021) 软件作者: C.Inostroza、I.Kondrashuk、N.Merino、F.Nadal 相关软件: JAMA;Smallsemi公司 主要字段: 全局分析,流形分析(58-XX);量子理论(81-XX);相对论和引力理论(83-XX)
半群动物 4份文件引用(1997–2019) 软件作者: Jean-Eric别针 相关软件: 半群;间隙;libsemigroups… 主要字段: 组合数学(05-XX);群论与推广(20-XX);计算机科学(68-XX)
SgpDec公司 5份文件引用(2011年至2018年) 软件作者: 艾格里·纳吉,阿提拉;詹姆斯·米切尔(James D.Mitchell)。;克里斯托弗·尼哈尼夫。 相关软件: 间隙;可可;Metalibm… 主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);数值分析(65-XX)…
libsemigroups 引用于2份文件(2019–2023) 软件作者: J.D.Mitchell等人 相关软件: 半群;半群;间隙… 主要字段: 群论与推广(20-XX);计算机科学(68-XX)
AXIOMS公司 引用于2份文件(1998) 软件作者: 拉乌尔·卡瓦加斯(Raoul E.Cawagas)。 相关软件: —— 主要字段: 总体主题;藏品(00-XX);群论与推广(20-XX);计算机科学(68-XX)
朱莉娅 1份文件引用(2012) 软件作者: 里奇·斯坦克维茨 相关软件: 圆形包装;MinSurf工具 主要字段: 总体主题;藏品(00-XX);复变量函数(30-XX);动力系统和遍历理论(37-XX)…