A System for Symbolic Computation in Hopf Algebras

在过去的十年里，执行符号计算以解决数学、科学和工程问题的计算机程序已经变得流行并且非常有用。 然而，非交换代数的符号计算系统还没有达到交换代数系统的一般性。 这个项目开发了一个系统的符号计算在霍普夫代数，并支持代数和霍普夫代数。该项目依赖于代数学家和计算机科学家之间的多学科互动。霍普夫系统使用差距系统作为基础，在此基础上构建更高级的功能。 GAP和霍普夫系统一样可以在互联网上自由发布。 Hopf系统能够支持非交换代数的高级研究及其在科学，特别是数学和物理学中的应用。

Computer programs to perform symbolic calculations to solve mathematical, scientific, and engineering problems have become popular and highly useful in the last decade. However, systems for symbolic computation in noncommutative algebras have not attained the generality of systems for commutative algebra. This project develops a system for symbolic computation in Hopf algebras, and supports algebras and Hopf algebras. The project relies on multidisciplinary interaction between algebraists and computer scientists. The Hopf system uses the GAP system as a foundation upon which to build more advanced functions. GAP is freely distributed over the Internet, as is the Hopf system. The Hopf system is able to support advanced research in noncommutative algebras and their applications to science, especially mathematics and physics.