Computational techniques for automatics semigroups

自动半群的计算技术

• 批准号: 1795577
• 金额: --
• 依托单位: University of St Andrews
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2016
• 资助国家: 英国
• 起止时间: 2016 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-1795577
• 关键词: Computational; techniques; automatics; semigroups

This project is designed to introduce the student to the area of computational algebra, specifically automatic semigroups andcomputational semigroup theory. The purpose is to investigate automatic semigroups, and their properties by means of computer implementation, for both finite and infinite semigroups. Specific topics considered may include:- development and implementation of tools to detect whether a given semigroup admits an automatic structure- development of algorithms to utilise an automatic structure on a semigroup to solve the word problem, the isomorphism problem, to determine the structure of a semigroup, and so on. - to make available software tools for other researchers- to generally improve the infrastructure for handling finitely presented semigroups and monoids. Please list any agreed training requirements:+ Successful completion of at least 3 SMSTC courses.+ University wide induction for new PhD students+ University induction sessions for new tutors+ Weekly(approx) Pure Maths Colloquia

本专题旨在向学生介绍计算代数领域，特别是自动半群和计算半群理论。目的是研究自动半群，并通过计算机实现的性质，有限和无限半群。考虑的具体议题可能包括：-开发和实施的工具，以检测是否一个给定的半群承认一个自动的结构-发展的算法，利用自动结构的半群，以解决字的问题，同构问题，以确定结构的半群，等等-使其他研究人员提供软件工具-以普遍改善基础设施，以处理非线性提出的半群和幺半群。请列出任何商定的培训要求：+成功完成至少3门SMSTC课程。+大学范围内的新博士生的诱导+大学新导师的诱导会议+每周（约）纯数学座谈会