“组合复兴”国际会议

"数学机械化"是首届国家最高科技奖获得者吴文俊院士倡导的一个研究领域，被科技部在"21世纪科学发展趋势"的报告中列为重大科学问题。组合恒等式的机器证明是数学机械化领域的一个重要方向，其中一个标志性成果为Zeilberger算法，其开创者Doron Zeilberger教授为此获得了美国数学会的Steele奖。.组合数学中心在组合恒等式的机器证明领域取得了多项突出成果，其中给出的证明q-级数等式的系统机械化方法，得到了同行的高度评价。为了与国际同行在这一领域开展进一步的交流与合作，且使青年学者接触更多的研究课题，开阔视野，特此在南开大学举办The Renaissance of Combinatorics国际会议。预计与会学者100人，其中国外学者30人左右。