2024年 6月13日

注册报到		6月13日 10:00-18:00   闽江世纪金源会展大饭店大堂

晚餐		6月13日 18:00-19:30   大宴会A厅

2024年 6月14日

注册报到		6月14日 8:00-8:30   闽江世纪金源会展大饭店大堂
8:00-8:30

开幕式与合影

6月14日 8:30-9:00   大宴会C厅

大会邀请报告 (1): 范更华		6月14日 9:00-10:00   大宴会C厅
主持人: 支丽红
9:00 - 10:00 四色问题与子图覆盖   摘要 范更华 (福州大学)

茶歇		6月14日 10:00-10:10   大宴会厅公区

大会邀请报告 (2): 王华雄		6月14日 10:10-11:10   大宴会C厅
主持人: 唐春明
10:10 - 11:10 Algebra, Combinatorics and Cryptography   摘要 王华雄 (新加坡南洋理工大学)

大会邀请报告 (3): 邢朝平（线上）		6月14日 11:10-12:10   大宴会C厅
主持人: 李洪波
11:10 - 12:10 Fast Fourier Transform via automorphism groups of rational function fields   摘要 邢朝平 (上海交通大学)

午餐		6月14日 12:10-14:00   大宴会A厅

青年邀请报告 (1): 高奕博		6月14日 14:00-14:30   重庆厅
主持人: 牟晨琪
14:00 - 14:30 Symmetric structures in the Bruhat order   摘要 高奕博 (北京国际数学研究中心)

青年邀请报告 (2): 唐春明		6月14日 14:00-14:30   昆明厅
主持人: 周正春
14:00 - 14:30 Linear codes from Boolean functions with high (fast) algebraic immunity   摘要 唐春明 (西南交通大学)

分组报告 (1): 计算机代数		6月14日 14:30-15:30   重庆厅
主持人: 黄巧龙
14:30 - 14:45 COMPLEXITY OF SKEW POLYNOMIAL MULTIPLICATION   摘要 陈琦元 (中科院数学与系统科学研究院)
14:45 - 15:00 Applicability of the Cayley Transform   摘要 陆镜宇 (中国科学院数学与系统科学研究院)
15:00 - 15:15 Sparse Polynomial Interpolation With Error Correction: Higher Error Capacity by Randomization   摘要 杨志红 (中南大学数学与统计学院)
15:15 - 15:30 Reduced Grobner Bases of Schubert Determinantal Ideals   摘要 宋秋叶 (北京航空航天大学)

分组报告 (2): 编码与密码		6月14日 14:30-15:30   昆明厅
主持人: 张俊
14:30 - 14:45 Lightweight Dynamic Broadcast Proxy Re-Encryption for Data Sharing in Clouds   摘要 胡慧丹 (福建师范大学)
14:45 - 15:00 Linear Complementary Dual Codes Constructed from Reinforcement Learning   摘要 吴严生 (南京邮电大学计算机学院)
15:00 - 15:15 Generalized Hamming weights of linear codes from defining sets   摘要 刘超 (湖北大学)
15:15 - 15:30 基于双循环编码的同态密文矩阵操作   摘要 杨林翰 (重庆交通大学信息科学与工程学院)

茶歇		6月14日 15:30-15:50   重庆厅门口

青年邀请报告 (3): 上官冲		6月14日 15:50-16:20   重庆厅
主持人: 祝宝宣
15:50 - 16:20 Recent progress on graph chromatic thresholds and graph homomorphism thresholds   摘要 上官冲 (山东大学)

青年邀请报告 (4): 薛白		6月14日 15:50-16:20   昆明厅
主持人: 吴文渊
15:50 - 16:20 A Framework for Safe Probabilistic Invariance Verification of Stochastic Dynamical Systems   摘要 薛白 (中国科学院软件所)

分组报告 (3): 组合数学与计算机代数		6月14日 16:20-17:50   重庆厅
主持人: 黄辉
16:20 - 16:35 Unimodality of certain partition polynomials   摘要 Guo Wan-Ming (School of Mathematical Sciences, Qufu Normal University)
16:35 - 16:50 Explicit formulas for a family of hypermaps beyond the one-face case   摘要 Bai Ziwei (合肥工业大学)
16:50 - 17:05 Fast Numerical Evaluation of Generalized Todd Polynomials   摘要 张英瑞 (中国科学院数学与系统科学研究院)
17:05 - 17:20 多元多项式矩阵等价的进一步的结果   摘要 关剑成 (湖南科技大学)
17:20 - 17:35 The Smith normal form and reduction of weakly linear matrices   摘要 吴弢 (湖南科技大学)
17:35 - 17:50 三维空间中顶点同构型的多面体   摘要 武斌 (上海财经大学浙江学院)

分组报告 (4): 人工智能与数学软件		6月14日 16:20-17:20   昆明厅
主持人: 王杰
16:20 - 16:35 Hybrid Controller Synthesis for Nonlinear Systems Subject to Safety Constraints   摘要 Qi Niuniu (East China Normal University)
16:35 - 16:50 滤子扩张原则的Coq形式化   摘要 窦国威 (北京邮电大学)
16:50 - 17:05 基于Lean的组合恒等式自动化证明   摘要 熊贝贝 (华东师范大学)
17:05 - 17:20 Maple 2024新功能介绍   摘要 林成青 (Maplesoft)

JSSC期刊宣讲		6月14日 17:20-17:50   昆明厅
主持人: 冯如勇
17:20-17:50 提升期刊服务水平，扩大期刊影响力 吴国云 (JSSC 期刊编辑部)

晚餐		6月14日 18:00-19:30   大宴会A厅

计算机数学专业委员会会议

6月14日 20:00-22:00   重庆厅

2024年 6月15日

大会邀请报告 (4): 丁剑		6月15日 9:00-10:00   大宴会C厅
主持人: 夏壁灿
9:00 - 10:00 Recent progress on random graph matching problems   摘要 丁剑 (北京大学)

茶歇		6月15日 10:00-10:10   大宴会厅公区

大会邀请报告 (5): 冯勇		6月15日 10:10-11:10   大宴会C厅
主持人: 王定康
10:10 - 11:10 零误差计算   摘要 冯勇 (中国科学院重庆绿色智能技术研究院)

大会邀请报告 (6): 杨立波		6月15日 11:10-12:10   大宴会C厅
主持人: 冯如勇
11:10 - 12:10 Symbolic approach to combinatorial relations   摘要 杨立波 (南开大学)

午餐		6月15日 12:10-14:00   大宴会A厅

青年邀请报告 (5): 胡胜龙		6月15日 14:00-14:30   重庆厅
主持人: 叶科
14:00 - 14:30 Quantifying low rank approximations of third order symmetric tensors   摘要 胡胜龙 (杭州电子科技大学)

青年邀请报告 (6): 袁骁		6月15日 14:00-14:30   昆明厅
主持人: 邵长鹏
14:00 - 14:30 Quantum advantage for near-term and fault-tolerant quantum computers   摘要 袁骁 (北京大学前沿计算研究中心)

分组报告 (5): 计算机代数		6月15日 14:30-15:30   重庆厅
主持人: 李楠
14:30 - 14:45 Krylov subspace methods based quaternion tensor form for generalized Sylvester quaternion tensor equation with application to color video denoising   摘要 吴玉玲 (福建师范大学)
14:45 - 15:00 Structural Analysis by Generalized Embedding Method for Integro-differential-algebraic Equations   摘要 杨文强 (中国科学院重庆绿色智能技术研究院)
15:00 - 15:15 Computation of Regular Tucker Decompositions by Tensor QR Method   摘要 Zhai Ziqi (苏州科技大学)
15:15 - 15:30 Logarithmic norm minimization of quaternion matrix decomposition for color image sparse representation   摘要 蔡小敏 (福建师范大学)

分组报告 (6): 量子算法		6月15日 14:30-15:30   昆明厅
主持人: 徐鸣
14:30 - 14:45 Quantum spectral method for gradient and Hessian estimation   摘要 张宇欣 (中国科学院数学与系统科学研究院)
14:45 - 15:00 Quantum-Inspired Classical Algorithms for Solving Linear Feasibility Problems   摘要 Zuo Qian (Peking University)
15:00 - 15:15 Quantum recurrent neural networks for sequential learning   摘要 Wang Zhimin (Ocean University of China)
15:15 - 15:30 Quantum circuits for block encoding of structured matrices in ocean acoustics   摘要 Yao Hongmei (Harbin Engineering University)

茶歇		6月15日 15:30-15:50   重庆厅门口

分组报告 (7): 计算机代数		6月15日 15:50-17:35   重庆厅
主持人: 李冬梅
15:50 - 16:05 Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets   摘要 代梓灏 (中国科学院数学与系统科学研究院)
16:05 - 16:20 Qualitative Investigation of the Lorenz-84 System Using Computer Algebra Methods   摘要 Song Jichao (Beihang University)
16:20 - 16:35 Efficient detection of redundancies in systems of linear inequalities   摘要 谢岩峰 (中国科学院数学与系统科学研究院)
16:35 - 16:50 Computing the greatest common divisor of several parametric univariate polynomials via generalized subresultant polynomials   摘要 Jing Yang (Guangxi Minzu University)
16:50 - 17:05 The Geometry of Cylindrical Algebraic Decomposition   摘要 陈日增 (北京大学数学科学学院)
17:05 - 17:20 Exploiting Sign Symmetries in Minimizing Sums of Rational Functions   摘要 郭峰 (大连理工大学)
17:20 - 17:35 Strengthening Lasserre's Hierarchy in Real and Complex Polynomial Optimization   摘要 王杰 (中国科学院数学与系统科学研究院)

分组报告 (8): 组合数学		6月15日 15:50-17:35   昆明厅
主持人: 陈绍示
15:50 - 16:05 Algorithms for Hadamard products of rational functions   摘要 Chen Shaoshi (中国科学院数学与系统科学研究院)
16:05 - 16:20 Symbolic Summation in Multivariate Difference Fields   摘要 卫亚蓉 (天津理工大学)
16:20 - 16:35 基于图运算的多智能体系统通信拓扑优化   摘要 徐仝友 (安徽建筑大学)
16:35 - 16:50 Parity statistics on restricted permutations and the Catalan-Schett polynomials   摘要 刘静 (山东大学)
16:50 - 17:05 Critical Points of Symmetric Forms over the Unit Sphere   摘要 Xu Jia (Department of Mathematics, Southwest Minzu University)

晚餐		6月15日 18:00-20:00   大宴会A厅

2024年 6月16日

青年邀请报告 (7): 李昊坤		6月16日 9:00-9:30   重庆厅
主持人: 詹博华
9:00 - 9:30 无量词非线性公式可满足性问题的求解方法   摘要 李昊坤 (华为2012可信费马实验室)

青年邀请报告 (8): 郑晓朋		6月16日 9:00-9:30   昆明厅
主持人: 李新
9:00 - 9:30 结构化网格生成中的关键问题及其计算共形几何解决方案   摘要 郑晓朋 (大连理工大学)

分组报告 (9): 人工智能与数学软件		6月16日 9:30-10:30   重庆厅
主持人: 秦小林
9:30 - 9:45 Numerical simulation of heat transfer and entropy generation due to the nanofluid natural convection with viscous dissipation in an inclined square cavity   摘要 吕龙杰 (大连海事大学)
9:45 - 10:00 A heuristic quantum-behavior algorithm for scheduling optimization problems   摘要 李真 (北京邮电大学)
10:00 - 10:15 A dataset for suggesting variable orderings for cylindrical algebraic decompositions   摘要 Zhao Yuegang (Jiangsu University)
10:15 - 10:30 A study on denoising seismic signals based on convolutional self-encoder   摘要 霍雨欣 (国防科技大学应用数学研究中心)

分组报告 (10): 计算几何与智能制造		6月16日 9:30-10:30   昆明厅
主持人: 袁春明
9:30 - 9:45 连续区间上积分值的三次三角样条插值   摘要 吴金明 (浙江工商大学)
9:45 - 10:00 Tolerance-Based Geometry Constraint Update Scheme for High-precision Direct Modeling   摘要 Chen Hui (University of Chinese Academy of Sciences)
10:00 - 10:15 Efficient tool path planning and CAM process development   摘要 马鸿宇 (中国科学院大学)
10:15 - 10:30 High quality LSPIA method for NURBS curves and surfaces with weights and knots optimization   摘要 Lan Lin (大连理工大学)

茶歇		6月16日 10:30-10:50   重庆厅门口

分组报告 (11): 人工智能与数学软件		6月16日 10:50-12:05   重庆厅
主持人: 李树光
10:50 - 11:05 数据驱动的复杂系统建模   摘要 朱群喜 (复旦大学)
11:05 - 11:20 基于改进黏菌算法的风电场布局优化研究   摘要 谢嘉诚 (广西民族大学)
11:20 - 11:35 Utilizing symmetry-enhanced physics-informed neural network to obtain the solution beyond sampling domain for partial differential equations   摘要 Li Jie-Ying (Minzu University of China)
11:35 - 11:50 Symmetry group based domain decomposition to enhance physics-informed neural networks for solving partial differential equations   摘要 Liu Ye (Minzu University of China)
11:50 - 12:05 脉冲噪声下鲁棒的盲图像去模糊算法   摘要 李喆 (长春理工大学)

分组报告 (12): 计算几何与智能制造		6月16日 10:50-12:05   昆明厅
主持人: 张举勇
10:50 - 11:05 High speed corner trajectory planning method for CNC machining with confined jerk   摘要 孟可欣 (中国科学院数学与系统科学研究院)
11:05 - 11:20 点云曲面上的Voronoi图   摘要 张子扬 (山东大学)
11:20 - 11:35 实体钣金建模   摘要 王文嵩 (山东大学计算机科学与技术学院)

午餐		6月16日 12:05-14:00   大宴会A厅

分组报告 (13): 计算机代数		6月16日 14:00-15:30   重庆厅
主持人: 黄博
14:00 - 14:15 Rational Solutions of First-Order Algebraic Ordinary Difference Equations   摘要 Zhang Yi (Xi'an Jiaotong-Liverpool University)
14:15 - 14:30 Hilbert's Irreducibility Theorem for Linear Differential Operators   摘要 陆伟 (湖北大学)
14:30 - 14:45 Two complete reduction systems for Airy functions   摘要 Du Hao (Beijing University of Posts and Telecommunications)
14:45 - 15:00 An Additive Decomposition in Exponential Extensions   摘要 高艺漫 (中国科学院数学与系统科学研究院)
15:00 - 15:15 Fast Normalization of Indexed Differentials   摘要 刘姜 (上海理工大学)
15:15 - 15:30 Safety Verification for Regime-Switching Jump Diffusions via Barrier Certificates   摘要 刘凯荣 (北京航空航天大学)

分组报告 (14): 编码与密码		6月16日 14:00-15:30   昆明厅
主持人: 林富春
14:00 - 14:15 TFHE-like Functional Bootstrapping in General Cyclotomic Ring   摘要 刘登发 (中国科学院数学与系统科学研究院)
14:15 - 14:30 Fast, Lagre Scale Dimensionality Reduction Schemes Based on CKKS   摘要 Yuan Haonan (Chongqing Key Laboratory of Secure Computing for Biology, Chongqing Institute of Green and Intelligent Technology, Chinese Academy of Sciences)
14:30 - 14:45 Leveled homomorphic encryption based on NTRU without relinearization   摘要 代小康 (中科院重庆绿色智能技术研究院)
14:45 - 15:00 Classification of a class of planar quadrinomials   摘要 Chan Chin Hei (香港科技大学)
15:00 - 15:15 基于全同态加密的高效隐私保护聚类算法   摘要 杨晨 (中国科学院重庆绿色智能技术研究院)
15:15 - 15:30 基于可解正交阵列的Ramp密钥共享方案   摘要 邓扬眉 (中国民航大学)

茶歇		6月16日 15:30-15:50   重庆厅门口

分组报告 (15): 计算机代数		6月16日 15:50-17:05   重庆厅
主持人: 郑涛
15:50 - 16:05 A Basis-preserving Algorithm for Computing the B´ezout Matrix of Newton Polynomials   摘要 Yang Wei (Guangxi Minzu University)
16:05 - 16:20 Affine geodesic convex polynomials are rare   摘要 王愚 (中国科学院数学与系统科学研究院机械化实验室)
16:20 - 16:35 A Generalization of Habicht's Theorem for Subresultants of Several Univariate Polynomials   摘要 蒙嘉奇 (广西民族大学)
16:35 - 16:50 Extensions of S-Lemma for Noncommutative Polynomials   摘要 闫斯卓 (中国科学院数学与系统科学研究院)
16:50 - 17:05 基于强弦图的 F_2 上三角分解的复杂度分析   摘要 齐朝星 (北京航空航天大学)

分组报告 (16): 计算机代数		6月16日 15:50-17:05   昆明厅
主持人: 鲁东
15:50 - 16:05 Monotonic optimization with application to the selection of parameters for LWE-based encryption schemes   摘要 徐娟 (中国科学院重庆绿色智能技术研究院)
16:05 - 16:20 A Positivstellensatz on the Matrix Algebra of Finitely Generated Free Group   摘要 Liang Hao (Academy of Mathematics and Systems Science)
16:20 - 16:35 An algorithm for computing comprehensive order basis systems of parametric polynomial matrices   摘要 杨润河 (中国科学院信息工程所)
16:35 - 16:50 Gröbner Basis of the Defining Ideal of Quaternionic Polynomial Ring in Symbolically Many Quaternionic Variables   摘要 王正阳 (中国科学院数学与系统科学研究院数学机械化重点实验室)
16:50 - 17:05 Construction of three class of at most four-weight binary linear codes and their applications   摘要 张同慧 (福建师范大学)

闭幕式		6月16日 17:10-17:30   重庆厅

晚餐		6月16日 18:00-19:30   大宴会A厅