Manuel Kauers (nacido el 20 de febrero de 1979 en Lahnstein , Alemania Occidental ) es un matemático e informático alemán . Trabaja en álgebra informática y sus aplicaciones a las matemáticas discretas . Actualmente es profesor de álgebra en la Universidad Johannes Kepler (JKU) en Linz , Austria , y líder del Instituto de Álgebra de la JKU. Antes de eso, estuvo afiliado al Instituto de Investigación de Computación Simbólica (RISC) de esa universidad.
Kauers estudió informática en la Universidad de Karlsruhe en Alemania de 1998 a 2002 y luego se trasladó a RISC, donde completó su doctorado en computación simbólica en 2005 bajo la supervisión de Peter Paule . Obtuvo su habilitación en matemáticas de la JKU en 2008.
Junto con Doron Zeilberger y Christoph Koutschan , Kauers demostró dos famosas conjeturas abiertas en combinatoria utilizando cálculos de álgebra por computadora a gran escala. Ambas pruebas aparecieron en las Actas de la Academia Nacional de Ciencias . El primero se refería a una conjetura formulada por Ira Gessel sobre el número de ciertos recorridos de la red restringidos al cuarto de plano. Este resultado fue generalizado más tarde por Alin Bostan y Kauers cuando demostraron, también utilizando álgebra informática, que la función generadora de estos paseos es algebraica . La segunda conjetura probada por Kauers, Koutschan y Zeilberger fue la llamada conjetura q-TSPP, una fórmula producto para la función generadora de órbitas de particiones planas totalmente simétricas , que fue formulada por George Andrews y David Robbins a principios de la década de 1980.
En 2009, Kauers recibió el Start-Preis , considerado el premio más prestigioso para jóvenes científicos en Austria. En 2016 recibió , junto con Christoph Koutschan y Doron Zeilberger, el premio David P. Robbins de la American Mathematical Society.