Algebra is one of the conventional branches of mathematics. We represent this area in research and education, providing the theoretical foundations used in many other areas of science.
Our institute covers several areas in the field of algebra, including a focus on computer algebra, to develop algorithms that support the automatic solution of algebraic problems. Another focal point is Universal Algebra, focusing on abstract generalizations of conventional algebraic structures. A third focus includes the theory of nearrings, an area in Linz which has advanced significantly over the past decades.
Institute for Algebra
Johannes Kepler University Linz
Altenberger Straße 69
Science Park 2, 3rd floor, Room 372
Tuesday: 12:00 - 5:00 PM
Wednesday: 7:30 AM - 3:30 PM
Thursday: 1:00 - 6:00 PM
+43 732 2468 6850
Manuel Kauers has been appointed member of the editorial board of Mathematics of Computation, a journal published by the American Mathematical Society.
The journal is devoted to research articles of the highest quality in computational mathematics. Areas covered include numerical analysis, computational discrete mathematics, including number theory, algebra and combinatorics, and related fields such as stochastic numerical methods.
Besides this journal, Prof. Kauers is also serving on the editorial board of the Journal of Symbolic Computation, Advances in Applied Mathematics, Journal of Computational Algebra, Annals of Combinatorics, and the Journal of Systems Science and Complexity.
Springer has just released a new textbook by Manuel Kauers about D-finite Functions.
We are pleased to announce that Clemens Hofstadler has successfully defended his Ph.D. studies today. His thesis was written under the joint supervision of Prof. Georg Regensburger and Dr. Clemens Raab. It was started when Georg was still a member of the Institute for Algebra. When he moved to Kassel, Clemens moved with him. The work was sponsored by Regensburger's FWF grant "Symbolic Computation for Identities of Operators". In his thesis, Clemens extends and generalizes modern algorithms for computing Gröbner bases to a non-commutative setting. He applies such general Gröbner bases in order to obtain concrete proofs of abstract operator identities.
Clemens will soon return from Kassel to Linz and join the Institute for Symbolic Artificial Intelligence led by Prof. Seidl. We congratulate Clemens on his achievements and wish him all the best for his future.
We are pleased to announce that our colleague Jakob Moosbauer has successfully defended his Ph.D. studies today. His thesis was written under the supervision of Manuel Kauers, and he was financially supported by the LIT AI Lab. As a member of this lab, Jakob developed new methods to search for better algorithms for multiplying matrices. Using the concept of flip graphs introduced in his thesis, he was able to set a new record for 5x5 matrices as well as some rectangular matrix formats. The thesis has resulted in several publications at high-rank venues in the area of computer algebra, including one ISSAC paper in 2023 which received the ACM Sigsam distinguished paper award. Jakob will soon move to the university of Warwick, where he will continue to work on matrix multiplication as a PostDoc in the group of Christian Ikenmeyer. We congratulate Jakob on his achievements and wish him all the best for his future.