第一场
报告问题:环和群论中的自动推导
主讲嘉宾:张扬 教授
报告时间:2025年6月7日上午8:00-9:30
报告所在:北主楼1204
主讲嘉宾简介:张扬,,,男,,,博士, 教授。于加拿大西安简陋大学获得博士学位,,,现在为加拿大曼尼托巴大学数学系终身教授。曾任Springer旗下SCI杂志Journal of System Science and Complexity编委,,,现任加拿大国家自然科学和工程基金委盘算机学部会评专家。主要研究矩阵代数、、盘算机代数、、符号盘算及其应用。已在国际自动化顶级期刊Automatica等期刊上揭晓SCI论文60多篇,,,在Springer出书社出书专著1部,,,研究事情一直获得加拿大国家自然科学和工程基金委员会的连续资助。主要研究偏向是环理论,,,盘算机代数,,,自动推理证实,,,矩阵和张量理论等。
第二场
报告问题:指示函数及其一些应用
主讲嘉宾:杨钋 教授
报告时间:2025年6月7日上午9:30-11:00
报告所在:北主楼1204
主讲嘉宾简介:杨钋,,,女,,,博士,,,教授。于麦克马斯特大学获得博士学位,曾任教于芝加哥的德保罗大学。现任加拿大曼尼托巴大学统计系的终身教授,,,副系主任,,,主管研究生事情。主要研究偏向是实验设计与数据剖析,,,区组设计,,,响应优化和贝叶斯要领。曾在Statistica Sinica 和Journal of Quality Technology等国际着名期刊揭晓学术论文,,,她的研究一直受到加拿大国家自然科学和工程基金的资助。现任Taylor &Francis online 旗下的杂志Communications in Statistics编委。
第三场
报告问题:求解广义四元数矩阵方程 AXB + CX?D = E
主讲嘉宾:刘新 副教授
报告时间:2025年6月7日上午11:00-12:30
报告所在:北主楼1204
主讲嘉宾简介:刘新,,,女,,,博士, 副教授,,,澳门科技大学博士生导师。师从上海大学王卿文教授、、瑞士洛桑联邦理工大学Daniel Kressner教授(国家基金委联合作育时代,,,盘算数学)。在Journal of Scientific Computing,,,Numerical Linear Algebra with Applications等海内外主要学术刊物上与海内外专家相助揭晓SCI学术论文30余篇,,,与多位线性代数专家合著书籍一部(Springer出书社),,,且主持了5项高度相关的科研项目。主要研究偏向是广义四元数上的矩阵、、张量理论及其在图像和信号处理中的应用。
接待感兴趣的先生和学生加入!!
数学与盘算科学学院
2025年5月30日