2025年6月7日，数学与计算科学学院成功举办专题学术报告会。学院特邀加拿大曼尼托巴大学的张扬教授、杨钋教授，以及澳门科技大学的刘新副教授莅临讲学。报告会在北主楼1204教室举行，吸引了学院约二十位教师及研究生到场聆听，现场学术氛围浓厚。

张扬教授 以《环和群论中的自动推导》为题，深入介绍了著名一阶逻辑与等式逻辑自动定理证明器 Prover9/Mace4（及其前身Otter）的强大功能，详细探讨了利用Prover9在具有对合的环、满足消去律的半环/半群以及近环等代数结构中进行研究的多种可能性，展示了如何在该系统中编码相应的公理体系，并成功检验了雅各布森可交换定理等经典结果。尤为引人注目的是，张教授还运用自动推导技术证明并推广了群论中涉及幂映射的一系列重要定理。

杨钋教授带来了题为 《指示函数及其若干应用》 的精彩报告。杨教授首先介绍了指示（多项式）函数的定义，指出其作为研究部分因子设计的新颖工具，能够有效表征任何此类设计。随后，他系统阐述了指示函数的若干性质，并深入探讨了一般两水平因子设计分辨率之间的联系。报告中，杨教授重点研究了由一般两水平因子设计衍生的各类半折叠设计，成功将部分常规设计的现有结果拓展至非常规设计领域，并进一步分析了区组因子在半折叠设计中的影响。

刘新副教授分享了其在一类广义四元数矩阵方程求解方面的最新研究成果。刘教授聚焦于求解形式为 AXB+CXD= E的广义四元数矩阵方程，为攻克此难题，创新性地提出了两种全新的实表示方法。基于这些新工具，他建立了该方程多种解的存在性条件及唯一性判据，并进一步探讨了伴随方程在不同约束条件下的解存在性问题。

报告结束后，三位专家与在场师生展开了积极而深入的互动交流。师生们踊跃提问，围绕报告内容提出了诸多专业问题，张扬教授、杨钋教授和刘新副教授均耐心细致地予以解答。张扬教授介绍的 Prover9 自动定理证明器 引发了与会师生的浓厚兴趣，现场围绕其应用潜力展开了热烈的讨论。

此外，张扬教授和杨钋教授还就加拿大曼尼托巴大学留学深造事宜与师生们进行了简要交流。刘新副教授也回应了现场学生关于澳门科技大学访学与深造的咨询。（文/图 数学与计算科学学院）