Conference: Groups and Computation, March 24 - 29, 2003, The Ohio State University

会议：群与计算，2003 年 3 月 24 日至 29 日，俄亥俄州立大学

• 批准号: 0200021
• 负责人: Akos Seress
• 金额: --
• 依托单位: Ohio State University Research Foundation -DO NOT USE
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2002
• 资助国家: 美国
• 起止时间: 2002-10-01 至 2003-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0200021&HistoricalAwards=false
• 关键词: Conference; Groups; Computation; March; 24

This award funds a conference in Groups and Computation at theOhio State University, March 24-28, 2003. The conference focuseson the interplay between theory and practice in computing withgroups, algorithms for computation being at the heart of theconference. The primary conference goal is to provide a forumfor computational group theorists, both mathematicians andcomputer scientists, to meet with colleagues in order to learnof recent research developments in this area, to learn of andwork on new open problems, to further existing large projects inthis area, and to develop software for large computer systemsthat handle group computations. A second goal is to give graduatestudents and recent Ph.D's an opportunity to learn of new work andof open problems in the area.Group theory is often described as the algebraic theory ofsymmetry in the abstract. Group theory arises and is used in awide variety of other fields, including solid state physics,chemistry (crystallography), coding theory and cryptography. Understanding the structure of groups is the major task of grouptheory. The subject of the conference is the interaction betweenthis mathematical discipline and algorithmic questions used inextensive computer computations with these fundamental algebraicobjects.

该奖项资助了2003年3月24-28日在俄亥俄州立大学举行的群体与计算会议。会议的重点是理论和实践之间的相互作用，在计算与团体，算法的计算是在会议的核心。 会议的主要目标是为计算群理论家，数学家和计算机科学家提供一个论坛，与同事会面，以了解这一领域的最新研究进展，了解和研究新的开放问题，进一步推进这一领域现有的大型项目，并为处理群计算的大型计算机系统开发软件。 第二个目标是给研究生和最近的博士生一个学习新工作和该领域未解决问题的机会。群论通常被抽象地描述为对称性的代数理论。群论产生并广泛应用于其他领域，包括固体物理学，化学（晶体学），编码理论和密码学。理解群的结构是群论的主要任务。会议的主题是这个数学学科和算法问题之间的相互作用，这些算法问题用于广泛的计算机计算和这些基本的代数对象。