Synonyms for koutschan or Related words with koutschan
Examples of "koutschan"
In 2016, with Christoph
and Doron Zeilberger he received the David P. Robbins prize of the American Mathematical Society.
is working on computer algebra, particularly on holonomic functions, with applications to combinatorics, special functions, knot theory, and physics.
Together with Doron Zeilberger and Christoph
, Kauers proved two famous open conjectures in combinatorics using large scale
In 2016 he received, together with Manuel Kauers and Christoph
, the David P. Robbins Prize of the American Mathematical Society.
is a German mathematician and computer scientist. He is currently with the Johann Radon Institute for Computational and Applied Mathematics (RICAM) of the Austrian Academy of Sciences.
Together with Doron Zeilberger and Manuel Kauers,
proved two famous open conjectures in combinatorics using large scale computer algebra calculations. Both proofs appeared in the Proceedings of the National Academy of Sciences. The first concerned a conjecture formulated by Ira Gessel on the number of certain lattice walks restricted to the quarter plane. The second conjecture proven by
, Kauers, and Zeilberger was the so-called q-TSPP conjecture, a product formula for the orbit generating function of totally symmetric plane partitions, which was formulated by George Andrews and David Robbins in the early 1980s.
Zeilberger has made numerous important contributions to combinatorics, hypergeometric identities, and q-series. Zeilberger gave the first proof of the alternating sign matrix conjecture, noteworthy not only for its mathematical content, but also for the fact that Zeilberger recruited nearly a hundred volunteer checkers to "pre-referee" the paper. In 2011, together with Manuel Kauers and Christoph
, Zeilberger proved the "q"-TSPP conjecture, which was independently stated in 1983 by George Andrews and David P. Robbins.
(born 12 December 1978 in Dillingen an der Donau, Germany) is a German mathematician and computer scientist. He studied computer science at the University of Erlangen-Nuremberg in Germany from 1999 to 2005 and then moved to the Research Institute for Symbolic Computation (RISC) in Linz, Austria, where he completed his Ph.D. in symbolic computation in 2009 under the supervision of Peter Paule.
formulated by Ira Gessel on the number of certain lattice walks restricted to the quarter plane. This result was later generalized by Alin Bostan and Kauers when they showed, also using computer algebra, that the generating function for these walks is algebraic. The second conjecture proven by Kauers,
and Zeilberger was the so-called q-TSPP conjecture, a product formula for the orbit generating function of totally symmetric plane partitions, which was formulated by George Andrews and David Robbins in the early 1980s.
Copyright © 2017