Computer Science – Symbolic Computation
Scientist
Computer Science
Symbolic Computation
Scientist
RISC, Johannes Kepler Universität Linz
INRIA Rocquencourt
A Computer Proof of Turan's Inequality
A method for determining the mod-$2^k$ behaviour of recursive sequences, with applications to subgroup counting
A Non-Holonomic Systems Approach to Special Function Identities
A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)
A Proof of George Andrews' and David Robbins' $q$-TSPP Conjecture
No associations
LandOfFree
Manuel Kauers does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Manuel Kauers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Manuel Kauers will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-115854