马格纳斯 swMATH ID: 4278 软件作者: 吉尔伯特·鲍姆斯拉格;查尔斯·米勒(Charles F.III Miller) 描述: 用无限群进行实验和计算。我们描述了一种使用纽约群论合作社开发的名为Magnus的软件包研究无限群的实验方法。这种方法强调无限群以及部分和实验计算。这些计算往往没有结论,可能只是偶尔成功。这样的实验可以指导理论发展,并引出新的有趣的问题。计算机代数系统(CAS)。 主页: http://manpages.ubuntu.com/manpages/lucid/man1/magnus.1.html 关键词: 单词问题;同构问题;夫妻关系问题;Magnus软件包;无限群;计算 相关软件: 间隙;github;CAS/PI公司;伊斯兰教;SageMath软件;麦考利2;坎特/卡什;IBM草稿行;卡达布拉;单一;CoCoA公司;联合通讯社;岩浆 引用于: 7文件 全部的 前5名16位作者引用 2 吉尔伯特·鲍姆斯拉格 2 伊利亚·卡波维奇 1 加布里埃尔·阿奎列拉·维内加斯 1 艾文·科洛普,Atencia-Mc.Killop 1 叶戈尔·布柳霍夫 1 很好,本杰明·L。 1 加兰·加西亚,何塞·路易斯 1 加兰·加西亚,玛丽亚·安格尔 1 文森特·吉拉尔德尔 1 查尔斯·弗雷德里克·米勒三世 1 亚历克谢·米亚斯尼科夫(Alexei G.Myasnikov)。 1 佩德罗·罗德里格斯·西洛斯 1 塞巴斯蒂安·施内贝克 1 Paul E.舒普。 1 弗拉基米尔·什皮林 1 道格拉斯·特洛伊格(Douglas R.Troeger)。 全部的 前5名6篇连载文章中引用 1 代数通讯 1 傅里叶学会年鉴 1 应用数学与计算 1 代数杂志 1 同伦及相关结构杂志 1 组、复杂性、密码学 全部的 前5名在8个字段中引用 5 群论与推广(20-XX) 三 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 1 结合环与代数(16-XX) 1 实际功能(26年X月X日) 1 歧管和细胞复合体(57-XX) 1 概率论与随机过程(60-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文