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 |
|---|
| Abstract: |
|---|
| 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 |
|---|
