Кристоф Кучан — немецкий математик и ученый-компьютерщик. В настоящее время он работает в Институте вычислительной и прикладной математики имени Иоганна Радона (RICAM) Австрийской академии наук . [1]
Кристоф Кучан (родился 12 декабря 1978 года в Диллингене-на-Дунае , Германия) — немецкий математик и учёный-компьютерщик . [2] Он изучал информатику в Университете Эрлангена-Нюрнберга в Германии с 1999 по 2005 год, а затем перешёл в Научно-исследовательский институт символьных вычислений (RISC) в Линце, Австрия, где в 2009 году под руководством Петера Пауля защитил докторскую диссертацию по символьным вычислениям . [3] [4]
Кучан работает в области компьютерной алгебры , в частности, над голономными функциями , с приложениями к комбинаторике , специальным функциям , теории узлов и физике.
Вместе с Дороном Зейлбергером и Мануэлем Кауэрсом Кучан доказал две известные открытые гипотезы в комбинаторике, используя крупномасштабные вычисления компьютерной алгебры. Оба доказательства появились в Трудах Национальной академии наук . Первое касалось гипотезы, сформулированной Айрой Гессель о числе определенных решеточных блужданий, ограниченных четвертной плоскостью. Вторая гипотеза, доказанная Кучан, Кауэрсом и Зейлбергером, была так называемой гипотезой q-TSPP, формулой произведения для функции производства орбит полностью симметричных плоских разбиений , которая была сформулирована Джорджем Эндрюсом и Дэвидом Роббинсом в начале 1980-х годов.
В настоящее время он работает в Институте вычислительной и прикладной математики имени Иоганна Радона (RICAM) Австрийской академии наук . [5]
В 2016 году совместно с Мануэлем Кауэрсом и Дороном Зейлбергером он получил премию Дэвида П. Роббинса Американского математического общества .
Кучан женат, имеет двоих детей.