S. Gerhold
- A Computer Proof of Turan's Inequality
2005/09/21 by Stefan Gerhold, S. Gerhold, Manuel Kauers +3 · 1 citation
Computer Science · Mathematics · #26D07 #33C45 #33F10 #Classical Analysis and ODEs (math.CA) #Combinatorics (math.CO) #FOS: Mathematics #Mathematical functions and polynomials #Mathematics and Applications #Polynomial and algebraic computation #math.CA #math.CO #msc:26D07 #msc:33C45 #msc:33F10