2020年 6月5日

开幕式与合影

6月5日 8:30-9:00   宴会厅

S1   大会邀请报告(1)		6月5日 9:00-10:00   宴会厅
主持人: 陈绍示
9:00-10:00 组合数学中的符号计算问题 侯庆虎（天津大学）

茶歇		6月5日 10:00-10:20   None

Y1   青年邀请报告(1)		6月5日 10:20-10:50   宴会厅
主持人: 刘建明
10:20-10:50 四元数代数在彩色图像处理中的应用研究 蓝如师（桂林电子科技大学）

Y2   青年邀请报告(2)		6月5日 10:20-10:50   榕湖厅
主持人: 郁文生
10:20-10:50 最优化观点下的深度学习：从单层到多层最优化学习 刘日升（大连理工大学）

分组报告(1)   “计算机数学及其应用”专题		6月5日 10:55-12:10   宴会厅
主持人: 支丽红
10:55 - 11:10 用符号计算证明Ramsey定理的机械化方法   摘要 鲁健 (上海大学数学系)
11:10 - 11:25 The convergence of an efficient Levenberg-Marquardt method for nonlinear equations under Holderian local error bound   摘要 Liang Chen (Huaibei Normal University)
11:25 - 11:40 Isogeometric Analysis-based Topological Optimisation for Heterogeneous Parametric Porous Structures   摘要 胡传丰 (浙江大学)
11:40 - 11:55 Lazy Hermite Reduction and Creative Telescoping for Algebraic Functions   摘要 Du Lixin (School of Mathematical Sciences University of Chinese Academy of Sciences)
11:55 - 12:10 The subresultant of several univariate polynomials   摘要 Yang Jing (Guangxi University for Nationalities)

分组报告(2)   “人工智能”专题		6月5日 10:55-12:10   榕湖厅
主持人: 蓝如师
10:55 - 11:10 Improve the Robustness and Accuracy of Deep Neural Network with L2,∞ Normalization   摘要 于立佳 (中国科学院数学与系统研究院)
11:10 - 11:25 Analyzing the barren plateau phenomenon in training quantum neural networks with the ZX-calculus   摘要 赵宸 (中国科学院数学与系统科学研究院)
11:25 - 11:40 基于超像素合并的超像素级高光谱图像分类   摘要 李旭 (辽宁师范大学)
11:40 - 11:55 Attention-Based DenseNet for Pneumonia Classification   摘要 王凯 (合肥工业大学数学学院)
11:55 - 12:10 Autotuning the Performance of Matrix Multiplication and Convolution for Deep Learning on CPU   摘要 陈长波 (中国科学院重庆绿色智能技术研究院)

午餐		6月5日 12:10-14:00   None

Y3   青年邀请报告(3)		6月5日 14:00-14:30   宴会厅
主持人: 夏壁灿
14:00-14:30 Multistability of Small Reaction Networks 唐晓弦（北京航空航天大学）

Y4   青年邀请报告(4)		6月5日 14:00-14:30   榕湖厅
主持人: 杨争峰
14:00-14:30 New Constructions of Optimal Cyclic $(r, \delta)$ Locally Repairable Codes from Their Zeros 郑大彬 （湖北大学）

分组报告(3)   “符号计算”专题		6月5日 14:35-15:50   宴会厅
主持人: 杨静
14:35 - 14:50 Sparse Multiplication of Multivariate Linear Differential Operators   摘要 Huang Qiao-Long (山东大学数学与交叉科学研究中心)
14:50 - 15:05 A Companion Curve Tracing Method for Rank-Deficient Polynomial Systems   摘要 陈长波 (中国科学院重庆绿色智能技术研究院)
15:05 - 15:20 有理数域上一类多项式可约性的一个判别法   摘要 赵世忠 (华东师范大学)
15:20 - 15:35 几类多元多项式矩阵等价问题的研究   摘要 郑丽翠 (湖南科技大学)
15:35 - 15:50 Smith form of triangular multivariate polynomial matrix   摘要 Li Dongmei (湖南科技大学)

分组报告(4)   “密码数学”专题		6月5日 14:35-15:50   榕湖厅
主持人: 孙瑶
14:35 - 14:50 Ramp schemes based on CRT for polynomial ring over finite field   摘要 Ding JIAN (福建师范大学)
14:50 - 15:05 An Optimal Quantum Error-Correcting Procedure Using Quantifier Elimination   摘要 Mei Jingyi (East China Normal University)
15:05 - 15:20 Dynamic contest model with bounded rationality   摘要 Zhang Ming (山东大学)
15:20 - 15:35 Computing [1,2] open locating domination number in some families of graphs   摘要 Raza Hassan (University of Shanghai for Science and Technology)
15:35 - 15:50 高维多项式微分系统 Zero-Hopf 分岔分析及算法推导   摘要 黄博 (北京航空航天大学)

茶歇		6月5日 15:50-16:15   None

分组报告(5)   “符号计算”专题		6月5日 16:15-17:30   宴会厅
主持人: 李冬梅
16:15 - 16:30 New results on the equivalence of bivariate polynomial matrices   摘要 Zheng Xiaopeng (中国科学院数学与系统科学研究院)
16:30 - 16:45 The Invertibility of Rational Univariate Representations   摘要 肖水晶 (南昌大学)
16:45 - 17:00 Asymptotic normality in t-stack sortable permutations   摘要 陈曦 (大连理工大学)
17:00 - 17:15 稀疏三角分解在生物动力系统平衡点计算中的应用   摘要 巨雯雯 (北京航空航天大学)
17:15 - 17:30 Efficient Algorithms for Determining Constant Residues   摘要 高艺漫 (中国科学院数学与系统科学研究院)

分组报告(6)   “计算机数学及其应用”专题		6月5日 16:15-17:30   榕湖厅
主持人: 徐 鸣
16:15 - 16:30 Evolutionary behavior and novel collision of abundant wave solutions to a novel KP-like equation   摘要 Feng Yueyang (Inner Mongolia University of Technology)
16:30 - 16:45 On the probability of generating a primitive matrix   摘要 Chen Jingwei (CIGIT, CAS)
16:45 - 17:00 verifying the positivity of a function over a finite set   摘要 杨剑霆 (中国科学院数学与系统科学研究院)
17:00 - 17:15 基于Isabelle/HOL程序规范的C++代码生成   摘要 许博 (北京林业大学信息学院)
17:15 - 17:30 1884-2016 年香港气候变化特征及其分析   摘要 孙翔 (上海大学数学系)

晚餐		6月5日 17:30-20:00   金桂厅

计算机数学专业委员会会议		6月5日 20:00-22:00   榕湖厅
主持人: 贾晓红

2020年 6月6日

S2   大会邀请报告(2)		6月6日 9:00-10:00   宴会厅
主持人: 雷娜
9:00-10:00 机器学习中的一种高效和有效的模型选择策略--Leave Zero Out 陈松灿（南京航空航天大学）

茶歇		6月6日 10:00-10:20   None

Y5   青年邀请报告(5)		6月6日 10:20-10:50   宴会厅
主持人: 侯庆虎
10:20-10:50 Pattern avoidance and lattice walks 林志聪（山东大学）

Y6   青年邀请报告(6)		6月6日 10:20-10:50   榕湖厅
主持人: 申立勇
10:20-10:50 方向场驱动的六面体网格剖分 黄劲（浙江大学）

分组报告(7)   “组合数学”专题		6月6日 10:55-12:10   宴会厅
主持人: 汪荣华
10:55 - 11:10 A note on the Tur\'{a}n number of non-bipartite graphs   摘要 Yuan Long-Tu (华东师范大学)
11:10 - 11:25 The balanced edge cover decompositions of graphs   摘要 Yu Minghui (Shandong Normal University)
11:25 - 11:40 Efficient Rational Creative Telescoping   摘要 Huang Hui (Dalian University of Technology)
11:40 - 11:55 F-factors in quasi-random hypergraphs   摘要 孙淑敏 (山东大学)
11:55 - 12:10 A Ramsey--Turán theory for tilings in graphs   摘要 杨东雷 (山东大学)

分组报告(8)   “计算几何”专题		6月6日 10:55-12:10   榕湖厅
主持人: 徐 岗
10:55 - 11:10 Quasi-interpolation for data mining   摘要 Gao Wenwu (Anhui University)
11:10 - 11:25 Generation of Escher-like Rosette Drawings   摘要 欧阳培昌 (广西科技大学)
11:25 - 11:40 Introduction of Continuous Collision Detection of Truncated Ellipsoids   摘要 Wu Chengran (中国科学院数学与系统科学研究院)
11:40 - 11:55 Isogeometric analysis with error-based local adaptivity for structural vibration   摘要 Yu Peng (Guangxi University)
11:55 - 12:10 逼近误差有界的重新网格化   摘要 傅孝明 (中国科学技术大学)

午餐		6月6日 12:10-14:00   None

Y7   青年邀请报告(7)		6月6日 14:00-14:30   金桂厅
主持人: 陈长波
14:00-14:30 无人机集群代数优化协调控制及应用 秦小林（中科院成都计算机应用研究所）

分组报告(09)   “组合数学”专题		6月6日 14:35-15:50   金桂厅
主持人: 杨立波
14:35 - 14:50 A new bijection between RNA secondary structures and plane trees and its consequences   摘要 陈小锋 (合肥工业大学)
14:50 - 15:05 Non-linear Hamilton cycles in linear quasi-random hypergraphs   摘要 舒希超 (山东大学)
15:05 - 15:20 On sequences associated to the invariant theory of rank two simple Lie algebras   摘要 Zhang Yi (Department of Applied Mathematics, School of Science, Xi'an Jiaotong-Liverpool University, China)
15:20 - 15:35 Integer colorings with forbidden rainbow sums   摘要 周文玲 (山东大学)
15:35 - 15:50 Properly colored cycles in edge-colored complete graphs containing no monochromatic triangles: a vertex-pancyclic analogous result   摘要 李若楠 (西北工业大学)

分组报告(10)   “计算几何”专题		6月6日 14:35-15:50   榕湖厅
主持人: 朱春钢
14:35 - 14:50 Curvature-based r-adaptive isogeometric analysis with injectivity-preserving multi-sided domain parameterization   摘要 纪野 (大连理工大学数学科学学院)
14:50 - 15:05 Interactive Design of cubic IPH spline curves with Control Polygon   摘要 Zhang Jingjing (安徽大学)
15:05 - 15:20 A Neural Network Solver for Knot Placement in B-spline Approximation   摘要 康红梅 (苏州大学)
15:20 - 15:35 基于B++样条和Toric曲面的非连续界面力学问题等几何分析   摘要 祝雪峰 (大连理工大学)
15:35 - 15:50 Salience-Driven Image Mosaic Method by Edge-Weighted Centroidal Voronoi Tessellations   摘要 Xiang Bingjin (Hangzhou Dianzi University)

茶歇		6月6日 15:50-16:10   None

分组报告(11)   “组合数学”专题		6月6日 16:10-16:55   金桂厅
主持人: 林志聪
16:10 - 16:25 Factors in randomly perturbed hypergraphs   摘要 Chang Yulin (Shandong University)
16:25 - 16:40 Largest family without a pair of posets on consecutive levels of the Boolean lattice   摘要 肖继孟 (西北工业大学)
16:40 - 16:55 Y_{k,b} -tiling and Hamilton \ell -cycles in k-uniform hypergraphs   摘要 孙琳 (山东大学)

分组报告(12)   “符号计算”专题		6月6日 16:10-16:55   榕湖厅
主持人: 荆瑞娟
16:10 - 16:25 双变元 Bernstein 展开的逆问题   摘要 姚勇 (中科院成都计算机应用研究所)
16:25 - 16:40 Computing Strong Regular Characteristic Pairs with Groebner Bases   摘要 董日娜 (中国科学院重庆绿色智能技术研究院)
16:40 - 16:55 预知分母可能因子的有理函数恢复算法   摘要 夏朋 (辽宁大学)

Maple 宣讲会

6月6日 17:00-18:00   金桂厅

分组报告(12')   “符号计算”专题		6月6日 17:00-18:00   榕湖厅
主持人: 李子佳
17:00 - 17:15 Gr\"obner Basis Restriction Theory for Normalization of Indexed Differentials   摘要 刘姜 (上海理工大学)
17:15 - 17:30 Minimal Representation of a polyhedron and its projections   摘要 荆瑞娟 (江苏大学)
17:30 - 17:45 整数分拆的符号计算初探   摘要 李永彬 (电子科技大学)

晚餐		6月6日 18:00-20:00   None

2020年 6月7日

S3   大会邀请报告(3)		6月7日 9:00-10:00   宴会厅
主持人: 牟晨琪
9:00-10:00 密码分析中的代数思想 林东岱（中科院信息工程研究所）

茶歇		6月7日 10:00-10:20   None

分组报告(13)   “组合数学”专题		6月7日 10:20-11:35   宴会厅
主持人: 程民权
10:20 - 10:35 RAINBOW SPANNING STRUCTURES IN GRAPH AND HYPERGRAPH 2 SYSTEMS   摘要 王斌 (山东大学)
10:35 - 10:50 Nonlinear inverse relations of the Bell polynomials via the Lagrange inversion formula (II)   摘要 王瑾 (浙江师范大学数学与计算机科学学院)
10:50 - 11:05 The log-concavity of Kazhdan-Lusztig polynomials of uniform matroids   摘要 解红叶 (天津理工大学)
11:05 - 11:20 The maximum size of an edge 2-neighborhood in P5-free graphs   摘要 许伟伦 (山东师范大学)
11:20 - 11:35 Reverse gamma-expansion for Eulerian polynomials   摘要 赵彤远 (中国石油大学（北京）)

分组报告(14)   “计算机数学及其应用”专题		6月7日 10:20-11:35   榕湖厅
主持人: 冯如勇
10:20 - 10:35 基于多样化技术的确定性稀疏插值算法   摘要 戚妞妞 (桂林电子科技大学数学与计算科学学院)
10:35 - 10:50 Heights of the points on a plane algebraic curve   摘要 冯爽 (中国科学院大学)
10:50 - 11:05 Machine Checked Proof for Some Integral Inequalities   摘要 方敬轩 (中国科学院数学与系统科学研究院)
11:05 - 11:20 有限集上偏序关系的符号计算   摘要 张升荣 (电子科技大学数学科学学院)
11:20 - 11:35 Sparse Interpolation With Errors in Chebyshev Basis Beyond Redundant-Block Decoding   摘要 Zhi-Hong Yang (Shenzhen University)