Computing with matrix groups and Lie algebras: new concepts and applications

点击翻译按钮获取中文摘要

Computational algebra combines symbolic computation and pure research in algebra, and is concerned with the design of algorithms for solving mathematical problems endowed with algebraic structure. Matrix groups and Lie algebras are prominent algebraic objects describing the natural concept of symmetry. Despite being very common and important in science, there is a paucity of algorithms to study their structure. This project will develop deep new mathematical theories for computing with these objects, leading to ground-breaking advances in computational algebra, and providing powerful tools facilitating new research, including in other sciences. The new functionality will be used to solve two classification problems in group and Lie theory.