A System for Symbolic Computation in Hopf Algebras

在过去的十年里，用于执行符号计算以解决数学、科学和工程问题的计算机程序变得非常流行并且非常有用。然而，非对易代数中的符号计算系统并没有达到对易代数系统的通用性。这个项目开发了一个Hopf代数中的符号计算系统，并支持代数和Hopf代数。该项目依赖于代数学家和计算机科学家之间的多学科互动。霍普夫系统使用GAP系统作为基础，在此基础上构建更高级的功能。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.