庆贺张景中、杨路教授85华诞专辑｜《中国科学：数学》2021年第1期

文章插图
张景中
张景中先生于1936 年 12 月出生于河南省汝南县. 1954 年考入北京大学数学力学系, 1979 年起在中国科学技术大学数学系任教. 1985 年起在中国科学院成都分院工作, 先后担任数理科学研究室研究员、副主任、主任、中国科学院成都计算机应用研究所副所长、名誉所长. 1995 年当选中国科学院院士. 1995 年 8 月参与创建广州师范学院 (今为广州大学) 教育软件研究所, 2005 年参与创建华中师范大学数字化学习工程技术研究中心, 2009 年参与创建电子科技大学计算机推理与可信计算实验室, 2011 年8 月参与创建中国科学院重庆绿色智能研究院自动推理与认知重庆市重点实验室.1999–2007 年担任中国科普作家协会理事长.
杨路

文章插图
杨路先生于1936 年 10 月出生于四川省渠县. 1954 年考入北京大学数学力学系, 1979 年起在中国科学技术大学数学系任教. 1985 年起在中国科学院成都分院工作, 历任数理科学研究室 (机构调整后为中国科学院成都计算机应用研究所自动推理实验室) 研究员、副主任、主任. 1995–2002 年兼任北京大学数学科学学院信息科学系教授、系主任, 同时期兼任广州市数学与人工智能国际交流中心主任. 2003–2012 年兼任华东师范大学软件学院教授、计算机理论研究所所长.
张景中先生和杨路先生早年大学同窗, 从大学时期开始紧密合作, 在艰苦岁月中坚持携手奋斗, 创下了中国数学界几十年合作的佳话. 他们的工作领域十分宽广, 涉及动力系统、距离几何、符号计算、自动推理、人工智能、数学教育等领域.
■专辑篇目
张景中、杨路先生简介. 中国科学：数学，2021，51：1–2
综述
冯勇，陈经纬. 零误差计算. 中国科学：数学，2021，51：3–16
李楠，支丽红. 计算代数方程组孤立奇异解的符号数值方法. 中国科学：数学，2021，51：17–42
刘鎏，余志恒，曾莹莹，张伟年. 一维映射迭代根的非单调性及光滑性. 中国科学：数学，2021，51：43–66
王东明，牟晨琪，董日娜. 多项式组的特征分解. 中国科学：数学，2021，51：67–86
徐赟，吴尉迟，冷岗松. Orlicz Brunn-Minkowski理论. 中国科学：数学，2021，51：87–96
论文
白云军，甘庭，焦莉，薛白，詹乃军. 时延混成系统的切换控制器合成. 中国科学：数学，2021，51：97–114
郭礼权，付尧顺，郁文生. 基于Coq的第三代微积分机器证明系统. 中国科学：数学，2021，51：115–136
胡磊，张子豪，夏时洪. 融合神经网络与数值计算的人体逆向运动学求解. 中国科学：数学，2021，51：137–152
黄巧龙，高小山. 基于Kronecker型替换的黑盒多项式稀疏插值. 中国科学：数学，2021，51：153–166
李昊坤，夏壁灿. 分块平方和分解. 中国科学：数学，2021，51：167–178
李洪波. 共形几何代数中的分阶幂零单项式的几何解释. 中国科学：数学，2021，51：179–208
钱涛，曲伟，黄勇. 算子方程基本问题解的再生核稀疏表示. 中国科学：数学，2021，51：209–224
王晓京，彭行一. 达到渐近GV界的一种线性映射族构造方法——生成Shannon好码渐近序列的新进展. 中国科学：数学，2021，51：225–238
杨文强，吴文渊. 线性常微分方程的全局误差估计和优化求解方法.中国科学：数学，2021，51：239–256
曾振柄，王建林，杨争峰，小林英恒. 点集拓扑之杨忠道定理的一个机械化证明. 中国科学：数学，2021，51：257–288
【 庆贺张景中、杨路教授85华诞专辑｜《中国科学：数学》2021年第1期】邹宇，彭翕成，饶永生. 基于吴方法的几何定理证明的恒等式方法. 中国科学：数学，2021，51：289–300