2023年 6月16日

开幕式与合影

6月16日 8:30-9:30   海创厅

大会报告(1)		6月16日 9:30-10:30   海创厅
主持人: 于波
9:30 - 10:30 Dual Quaternion and Dual Quaternion Matrices   摘要 祁力群 (香港理工大学)

茶歇		6月16日 10:30-10:40   None

大会报告(2)		6月16日 10:40-11:40   海创厅
主持人: 董波
10:40 - 11:40 从稀疏矩阵计算到矩阵稀疏计算   摘要 高卫国 (复旦大学)

茶歇		6月16日 11:40-11:50   None

S1   分组报告(1)：数值与混合计算		6月16日 11:50-12:20   海创B厅
主持人: 吴文渊
11:50 - 12:05 Inversion And Multiplication of Quaternion Matrices   摘要 陈琦元 (中国科学院数学与系统科学研究院系统科学研究所数学机械化实验室)
12:05 - 12:20 一种改进的奇异两点边值问题三次B样条数值解法   摘要 张晓磊 (浙江工商大学)

S2   分组报告(2): 组合数学		6月16日 11:50-12:20   中关村厅
主持人: 孙怡东
11:50 - 12:05 T-type Digraphs via Kronecker Canonical Form   摘要 胡昊飞 (哈尔滨工业大学)
12:05 - 12:20 Decorated Motzkin Paths, Riordan arrays, and the Colored Ascents   摘要 辛华 (哈尔滨工业大学)

午餐		6月16日 12:20-14:00   None

Y1   青年邀请报告(1)		6月16日 14:00-14:30   海创B厅
主持人: 唐晓弦
14:00 - 14:30 多项式优化与低秩SDP求解   摘要 王杰 (中国科学院数学与系统科学研究院)

Y2   青年邀请报告(2)		6月16日 14:00-14:30   中关村厅
主持人: 林志聪
14:00 - 14:30 On the Expressivity of Convolutional Neural Networks   摘要 熊欢 (哈尔滨工业大学)

JSSC计算机数学论坛(1)		6月16日 14:35-15:35   海创B厅
主持人: 冯如勇
14:35 - 14:50 Permutation symmetric tensors with applications in automated proof of positive definite homogeneous polynomials   摘要 曾振柄 (上海大学理学院)
14:50 - 15:05 二元多项式矩阵等价的新结果   摘要 李冬梅 (湖南科技大学)
15:05 - 15:20 Some Recent Advances in Algebraic Vision   摘要 秦小林 (中国科学院成都计算机应用研究所)
15:20 - 15:35 A Characterization of Perfect Strategies for Mirror Games   摘要 Yu Tianshi (Key Lab of Mathematics Mechanization, AMSS, University of Chinese Academy of Sciences)

S3   分组报告(3)：组合数学		6月16日 14:35-15:35   中关村厅
主持人: 严慧芳
14:35 - 14:50 Total positivity of amazing matrices   摘要 毛建玺 (大连理工大学)
14:50 - 15:05 New equidistributions on plane trees and decompositions of 132-avoiding permutations   摘要 Bai Ziwei (合肥工业大学)
15:05 - 15:20 The number of leaves in a tree with given diameter and maximum degree   摘要 Feng Xing (Jimei University)
15:20 - 15:35 Polynomial \chi-binding Functions for Graphs with Forbidden Configurations   摘要 Xu Yian (Southeast University)

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

JSSC计算机数学论坛(2)		6月16日 15:50-16:50   海创B厅
主持人: 张志芳
15:50 - 16:05 Mahler discrete residues and summability for rational functions   摘要 Zhang Yi (Xi'an Jiaotong-Liverpool University)
16:05 - 16:20 Enforcing continuous symmetries in physics-informed neural network for solving forward and inverse problems of partial differential equations   摘要 张慧 (中央民族大学)
16:20 - 16:35 Two Improved Algorithms to Compute the Minimal Bases of Univariate Matrices   摘要 姚姗姗 (北京邮电大学)
16:35 - 16:50 On the Parameter Selection of LWE-based Encryption Scheme   摘要 徐娟 (中国科学院重庆绿色智能技术研究院)

S4   分组报告(4)：组合数学		6月16日 15:50-16:50   中关村厅
主持人: 宁博
15:50 - 16:05 On the differences between proper coloring and DP coloring   摘要 Zhang Meiqiao (National Institute of Education, Nanyang Technological University)
16:05 - 16:20 A sharp upper bound on the cycle isolation number of graphs   摘要 崔庆 (南京航空航天大学)
16:20 - 16:35 On directed strongly regular Cayley graphs over non-abelian groups with an abelian subgroup of index $2$   摘要 黄雪毅 (华东理工大学)
16:35 - 16:50 Resistance distances and the Moon type formula of a vertex-weighted complete split graph   摘要 Ge Jun (Sichuan Normal University)

JSSC期刊宣讲		6月16日 16:55-17:35   海创B厅
主持人: 冯如勇
16:55-17:35 提升期刊服务水平，扩大期刊影响力 吴国云 (JSSC期刊编辑部)

晚餐		6月16日 17:40-19:30   None

计算机数学专委会会议		6月16日 20:00-22:00   中关村厅
主持人: 陈绍示
20:00-22:00

2023年 6月17日

大会报告(3)		6月17日 9:00-10:00   海创厅
主持人: 陈绍示
9:00 - 10:00 Additive Decompositions in Symbolic Integration   摘要 李子明 (中科院数学与系统科学研究院)

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

Y3   青年邀请报告(3)		6月17日 10:10-10:40   海创B厅
主持人: 程进三
10:10 - 10:40 多项式方程组全部解问题：数值算法及应用   摘要 董波 (大连理工大学)

Y4   青年邀请报告(4)		6月17日 10:10-10:40   中关村厅
主持人: 朱春钢
10:10 - 10:40 Domain Parameterization and Efficient Matrix Assembly for Isogeometric Analysis   摘要 潘茂东 (南京航空航天大学)

S5   分组报告(5)：数值与混合计算		6月17日 10:40-11:10   海创B厅
主持人: 李子佳
10:40 - 10:55 Simple Characteristic Decomposition of Polynomial Sets   摘要 王林朋 (北京航空航天大学)
10:55 - 11:10 Hybrid method for solving polynomial systems   摘要 尹哲东 (大连理工大学)

S6   分组报告(6)：计算几何与数控		6月17日 10:40-11:10   中关村厅
主持人: 李新
10:40 - 10:55 Toric parameterization based isogeometric collocation method for planar multi-sided physical domains   摘要 周沛 (大连理工大学)
10:55 - 11:10 Topology Guaranteed B-Spline Surface/Surface Intersection   摘要 杨婕吟 (中国科学院数学与系统科学研究院)

茶歇		6月17日 11:10-11:25   None

S7   分组报告(7)：数值与混合计算		6月17日 11:25-12:10   海创B厅
主持人: 徐鸣
11:25 - 11:40 连续区间上积分值的二次三角样条插值   摘要 吴金明 (浙江工商大学)
11:40 - 11:55 An efficient Levenberg-Marquardt method for Nonlinear Least-Squares Problems   摘要 Chen Liang (Changzhou Institute of Technology)
11:55 - 12:10 可信距离约束下的B样条曲线拟合   摘要 贺诗涛 (中国科学院大学数学科学学院)

S8   分组报告(8)：符号计算		6月17日 11:25-12:10   中关村厅
主持人: 李伟
11:25 - 11:40 Reducing Hyperexponential Functions   摘要 高艺漫 (中国科学院数学与系统科学研究院)
11:40 - 11:55 Reduction systems and degree bounds for integration   摘要 Du Hao (Beijing University of Posts and Telecommunications)
11:55 - 12:10 Symbolic Computation in Abel's Addition Formulae   摘要 王艺森 (中国科学院数学与系统科学研究院)

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

Y5   青年邀请报告(5)		6月17日 14:00-14:30   海创B厅
主持人: 陈长波
14:00 - 14:30 Factorization of Motion Polynomials   摘要 李子佳 (中国科学院数学与系统科学研究院)

Y6   青年邀请报告(6)		6月17日 14:00-14:30   中关村厅
主持人: 王杰
14:00 - 14:30 Second-Order Methods for Large-Scale Sparse Optimization   摘要 罗自炎 (北京交通大学)

S09   分组报告(9)：数学软件		6月17日 14:35-15:35   海创B厅
主持人: 李楠
14:35 - 14:50 Mathematical modeling for the local flow of a generalized Newtonian fluid in 3D porous media   摘要 Li Shuguang (Dalian Maritime University)
14:50 - 15:05 The Allocation Scheme of Software Development Budget with Minimal Conflict Attributes   摘要 马艳芳 (常州工学院)
15:05 - 15:20 Maple数字孪生应用介绍   摘要 徐俊林 (Maplesoft)
15:20 - 15:35 Isabelle2Cpp的类型推理系统   摘要 付辰曦 (北京林业大学信息学院)

S10   分组报告(10)：计算机数学及其应用		6月17日 14:35-15:35   中关村厅
主持人: 叶科
14:35 - 14:50 张量的低$\alpha$-秩逼近及其应用   摘要 赵新竹 (辽宁大学)
14:50 - 15:05 实数域上单变元平方模的成员判定算法   摘要 尚伟峰 (北京航空航天大学)
15:05 - 15:20 带零点的非负系数Bernstein 展开   摘要 徐嘉 (西南民族大学数学学院)
15:20 - 15:35 A Sample-Driven Solving Procedure for the Repeated Reachability of Quantum Continuous-Time Markov Chains   摘要 蒋慧 (华东师范大学)

茶歇		6月17日 15:35-15:50   None

S11   分组报告(11)：符号计算		6月17日 15:50-17:20   海创B厅
主持人: 牟晨琪
15:50 - 16:05 Signature-based standard basis algorithm under the framework of GVW algorithm   摘要 郑晓鹏 (中国科学院数学与系统科学研究院)
16:05 - 16:20 神经理想的Gronber基与典范形式集   摘要 郑丽翠 (湖南科技大学)
16:20 - 16:35 Restricted Gr\"obner Basis Theory for Normalization of Indexed Differential Riemann Metric Tensor Polynomials   摘要 刘姜 (上海理工大学)
16:35 - 16:50 B´ezout Subresultants for Univariate Polynomials in General Basis   摘要 杨卫 (广西民族大学)
16:50 - 17:05 Stability Problems in Symbolic Summation   摘要 李秀云 (中国科学院数学与系统科学研究院)
17:05 - 17:20 Embedding of unimodular row vectors   摘要 吴弢 (湖南科技大学)

S12   分组报告(12)：计算几何与数控		6月17日 15:50-17:20   中关村厅
主持人: 申立勇
15:50 - 16:05 Adaptive and feature-preserving spline surface fitting with arbitrary topological control mesh   摘要 寇宜博 (中国科学院大学数学科学学院)
16:05 - 16:20 An adaptive collocation method on implicit domains using weighted extended THB-splines   摘要 杨晶晶 (大连理工大学)
16:20 - 16:35 Computing Moving Planes of Rational Parametric Surfaces Using Dixon Resultants   摘要 李凯 (中国科学院数学与系统科学研究院)
16:35 - 16:50 Tool path planning method with effective preservation of sharp features   摘要 马鸿宇 (中国科学院大学)
16:50 - 17:05 基于向量场的全局刀路规划方法   摘要 张朝前 (数学与系统科学研究院)
17:05 - 17:20 基于时间样条的五轴数控的G01代码插补   摘要 吴芹 (中国科学院数学与系统科学研究院)

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

2023年 6月18日

大会报告(4)		6月18日 9:00-10:00   海创厅
主持人: 李志斌
9:00 - 10:00 深度学习与智能数学物理   摘要 闫振亚 (中科院数学与系统科学研究院)

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

Y7   青年邀请报告 (7)		6月18日 10:10-10:40   海创B厅
主持人: 刘日升
10:10 - 10:40 面向开放场景的自适应机器学习初探   摘要 侯臣平 (国防科技大学)

Y8   青年邀请报告(8)		6月18日 10:10-10:40   中关村厅
主持人: 林昌露
10:10 - 10:40 对称密码分析中的若干代数方法及应用   摘要 刘美成 (中国科学院信息工程研究所)

S13   分组报告(13)：人工智能		6月18日 10:40-11:10   海创B厅
主持人: 刘日升
10:40 - 10:55 Developable approximation by deep learning   摘要 曾铮 (中国科学院数学与系统科学研究院)
10:55 - 11:10 A lightweight model for feature points recognition of tool path based on deep learning   摘要 陈硕鹏 (中国科学院大学数学科学学院)

S14   分组报告(14)：密码学		6月18日 10:40-11:10   中关村厅
主持人: 孙瑶
10:40 - 10:55 基于同态加密的隐私保护主成分分析方法   摘要 张金斗 (中国科学院重庆绿色智能技术研究院)
10:55 - 11:10 Functional Bootstrapping for Larger Size Plaintext with Less Memory   摘要 刘登发 (中国科学院数学与系统科学研究院)

茶歇		6月18日 11:10-11:25   None

S15   分组报告(15)：人工智能		6月18日 11:25-12:10   海创B厅
主持人: 王怡洋
11:25 - 11:40 基于多项式抽象的神经网络控制系统的障碍函数构造   摘要 黄程 (浙江理工大学)
11:40 - 11:55 Upper Bounds on the Node Numbers of Hidden Layers in MLPs   摘要 NI Feng (上海理工大学)
11:55 - 12:10 A Residual UNet Denoising Network Based on Multi-scale Feature Extraction and Attention-guided Filter   摘要 Li Zhe (长春理工大学)

S16   分组报告(16)： 符号计算		6月18日 11:25-12:10   中关村厅
主持人: 杨静
11:25 - 11:40 基于强化学习的柱形代数分解变元择序   摘要 钱铖镕 (江苏大学数学科学学院)
11:40 - 11:55 Maple数学四件套及其在STEM教学中的应用   摘要 徐俊林 (Maplesoft)
11:55 - 12:10 一种稀疏三角分解变元序的选取策略   摘要 齐朝星 (北京航空航天大学)

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

S17   分组报告(17)：计算机数学及其应用		6月18日 14:00-15:30   海创B厅
主持人: 张熠
14:00 - 14:15 一元半正定多项式的降次有理平方和表示算法   摘要 黄勇 (广州大学)
14:15 - 14:30 A modified quantum-behavior heuristic algorithm for scheduling optimization problems in container terminals   摘要 李真 (北京邮电大学)
14:30 - 14:45 Birational quadratic maps with generalized complex rational representations   摘要 Han Yuhao (Hohai University)
14:45 - 15:00 Four limit cycles in three-dimensional Lotka-Volterra competitive systems for classes 28, 30 and 31 in Zeeman's classification   摘要 Hu Mingzhi (School of Mathematical Sciences, Sichuan Normal University)
15:00 - 15:15 A class of reduced framework for large scale sparse optimization   摘要 王国强 (上海数字大脑研究院)
15:15 - 15:30 基于图的多尺度空间特征提取与协同融合的高光谱影像分类   摘要 王蕊 (辽宁师范大学)

S18   分组报告(18)：符号计算		6月18日 14:00-15:30   中关村厅
主持人: 郭峰
14:00 - 14:15 Parametric “Non-nested” Discriminants for Multiplicities of Univariate Polynomials   摘要 Yang Jing (Guangxi Minzu University)
14:15 - 14:30 A Field-Theoretic Approach to Unlabeled Sensing   摘要 梁昊 (中国科学院数学与系统科学研究院)
14:30 - 14:45 Subresultant of Bernstein polynomials and Its Applications   摘要 谭美 (广西民族大学)
14:45 - 15:00 Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time   摘要 杨剑霆 (中国科学院数学与系统科学研究院)
15:00 - 15:15 Stability Problems for D-finite Functions   摘要 Guo Zewang (KLMM, Academy of Mathematics and Systems Science Chinese Academy of Sciences, Beijing, 100190, China School of Mathematical Sciences University of Chinese Academy of Sciences Beijing 100049, (China)
15:15 - 15:30 Distance between non-equidimensional positive semidefinite matrices via the fibre bundle structure   摘要 刘鹏 (中国科学院数学与系统科学研究院)

闭幕式		6月18日 15:35-16:00   海创B厅

晚餐		6月18日 17:30-19:30   None