报告人:
Peter Paule 【Johannes Kepler University Linz, Austria】
报告人单位:
时间:
2017-12-19 16:30-17:30
地点:
卫津路校区6号楼108教室
开始时间:
2017-12-19 16:30-17:30
报告人简介:
年:
日月:
报告人简介
He is a member of the Academy of Europe (Academia Europaea), a professor of mathematics, and the director of the Research Institute for Symbolic Computation (RISC) of the Johannes Kepler University Linz, Austria. His research interests concern the fields of combinatorics and computer algebra.
报告内容介绍
During his lifetime only two papers on Ramanujan's partition congruences have been published: one by himself and one by Hardy based on Ramanujan's notes. Nevertheless, this made the beginning of a fascinating mathematical development. Its initial spark was provided by MacMahon who compiled a table of the first 200 partition numbers. For example, from this data Ramanujan extracted that the total number
p(n) of partitions of
n is divisible by 5 when
n in its decimal expansion is ending with 4 or 9. For instance,
p(4
)=5 because there are 5 partitions of 4: 4, 3+1, 2+2, 2+1+1, 1+1+1+1. The talk discusses various computational aspects connected to such congruences. In particular, new computer algebra tools are discussed which assist in proving and discovery of such identities. Most of the presented algorithmic material originates in recent joint work with Silviu Radu (RISC).
