第六期符号计算暑期讲习班

报告题目：Certified Numerical Real Root Isolation for Bivariate Polynomial Systems (摘要)

报告人程进三 (中国科学院数学与系统科学研究院)

报告题目：Generalized Hermite Reduction, Creative Telescoping and Definite Integration of D-Finite Functions (摘要)

报告人 Frédéric Chyzak (INRIA, France)

报告题目 : Computing the numerical rank of large matrices (摘要)

报告人李宗錂 (国立中山大学)

报告题目：Factorization and Equivalence on Multivariate Polynomial Matrices (摘要)

报告人刘金旺 (湖南科技大学)

报告题目：Real root classification and its applications (摘要)

报告人唐晓弦 (Texas A&M University, USA)

报告题目：Efficient Algorithms for Solving Poly-Power Constraints (摘要)

报告人徐鸣 (华东师范大学)

报告题目：On the connection between lexicographic Groebner bases and triangular sets (摘要)

报告人牟晨琪 (北京航空航天大学)

报告题目：Comprehensive Groebner System: Algorithms and Applications (摘要)

报告人王定康 (中国科学院数学与系统科学研究院)

报告题目：Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming(摘要)

报告人杨争峰 (华东师范大学)

SSSC 2019