Go to JKU Homepage
LIT Robopsychology Lab
What's that?

Institutes, schools, other departments, and programs create their own web content and menus.

To help you better navigate the site, see here where you are at the moment.

JKU Mathematicians Receive Distinguished Paper Award

Their computing method even beat an AI's world record and the related paper was recently presented with the ISSAC award.

Moosbauer and Kauers at the ISSAC awards ceremony; photo credit: Alicia Dickenstein
Moosbauer and Kauers at the ISSAC awards ceremony; photo credit: Alicia Dickenstein

Last year, Prof. Manuel Kauers and PhD candidate Jakob Moosbauer (JKU Institute of Algebra) broke the institute’s world record: As part of a special matrix multiplication (5x5 matrices), the two succeeded in developing a 95-step solution. An AI had just set the previous world record of 96 steps just a few weeks earlier.

The paper related to their success was presented at the ISSAC conference in Tromsø, Norway in July and received the Distinguished Paper Award. Considering that the "International Symposium on Symbolic and Algebraic Computation" (ISSAC) is the first annual conference to present and discuss new developments and original research findings in the fields of symbolic mathematical computation, the award is a significant accolade.

Click here to learn more about the world record.