2nd Summer School in Symbolic Computation

This summer school will provide an opportunity for Chinese students, young researchers and teachers to learn basic techniques on selected topics of symbolic computation. It will also be a forum for senior researchers working in the area to discuss recent advances and future developments and expansion of symbolic computation in China. Chinese and English will be the working languages in the summer school.

Mini-courses

SSSC 2006 will offer eight mini-courses taught by experienced Chinese professors and researchers:

• Computer Algebra (Ziming Li)
• Mechanical Theorem Proving in Geometry (Xiaorong Hou)
• Computational Commutative Algebra and Algebraic Geometry (Mingsheng Wang)
• Computational Real Algebraic Geometry (Bican Xia)
• Elimination Methods (Dongming Wang)
• Algebraic Computation in Geometric Modeling (Jiansong Deng)
• Differentiation, Integration, and Solving Differential Equations (Zhibin Li)
• Symbolic-Numeric Computation (Lihong Zhi)

Special Lectures

• Bill Chen (Nankai University)
• Fabrice Rouillier (INRIA, France)
• Wen-tsün Wu (Chinese Academy of Sciences)
• Lu Yang (Chinese Academy of Sciences and East China Normal University)
• Kazuhiro Yokoyama (Rikkyo University, Japan)
• Jingzhong Zhang (Chinese Academy of Sciences and Guangzhou University)

Scientific Committee

Organizing Committee

Bican Xia (Peking University), Chair
Rong Xiao (Peking University)
Lihong Zhi (Chinese Academy of Sciences)

Sponsors

Contact