PSU Mark
Eberly College of Science Mathematics Department

Meeting Details

For more information about this meeting, contact Mary Anne Raymond.

Title:Guessing and Proving With Computer Algebra: Special Functions Inequalities and q-Series
Seminar:Combinatorics/Partitions Seminar
Speaker:Peter Paule, RISC, Johannes Kepler University of Linz
The talk reports on computer algebra methods developed for computer-supported guessing and proving in the field of special functions and q-series. Illustrative examples are given in two application domains. The first one (joint work with Veronika Pillwein) deals with special functions inequalities related to Victor Moll's log-concavity conjecture (settled by Manuel Kauers and the speaker). The second one concerns q-series (including q-difference/differential equations) and shows a package in action that has been developed by Manuel Kauers and Christoph Koutschan.

Room Reservation Information

Room Number:MB106
Date:11 / 16 / 2010
Time:11:15am - 12:05pm