2025年6月7日，，数学与盘算科学学院乐成举行专题学术报告会。。。学院特邀加拿大曼尼托巴大学的张扬教授、、杨钋教授，，以及澳门科技大学的刘新副教授莅临讲学。。。报告会在北主楼1204课堂举行，，吸引了学院约二十位西席及研究生加入聆听，，现场学术气氛浓重。。。
张扬教授 以《环和群论中的自动推导》为题，，深入介绍了著名一阶逻辑与等式逻辑自动定理证实器 Prover9/Mace4（及其前身Otter）的强盛功效，，详细探讨了使用Prover9在具有对合的环、、知足消去律的半环/半群以及近环等代数结构中举行研究的多种可能性，，展示了怎样在该系统中编码响应的正义系统，，并乐成磨练了雅各布森可交流定理等经典效果。。。尤为引人注目的是，，张教授还运用自动推导手艺证实并推广了群论中涉及幂映射的一系列主要定理。。。
杨钋教授带来了题为 《指示函数及其若干应用》 的精彩报告。。。杨教授首先介绍了指示（多项式）函数的界说，，指出其作为研究部分因子设计的新颖工具，，能够有用表征任何此类设计。。。随后，，他系统叙述了指示函数的若干性子，，并深入探讨了一般两水平因子设计分辨率之间的联系。。。报告中，，杨教授重点研究了由一般两水平因子设计衍生的种种半折叠设计，，乐成将部分通例设计的现有用果拓展至非通例设计领域，，并进一步剖析了区组因子在半折叠设计中的影响。。。
刘新副教授分享了其在一类广义四元数矩阵方程求解方面的最新研究效果。。。刘教授聚焦于求解形式为 AXB+CXD= E的广义四元数矩阵方程，，为攻克此难题，，立异性地提出了两种全新的实体现要领。。�； ；谡庑┬鹿ぞ�，，他建设了该方程多种解的保存性条件及唯一性判据，，并进一步探讨了陪同方程在差别约束条件下的解保存性问题。。。
报告竣事后，，三位专家与在场师生睁开了起劲而深入的互动交流。。。师生们踊跃提问，，围绕报告内容提出了诸多专业问题，，张扬教授、、杨钋教授和刘新副教授均耐心详尽地予以解答。。。张扬教授介绍的 Prover9 自动定理证实器 引发了与会师生的浓重兴趣，，现场围绕其应用潜力睁开了热烈的讨论。。。
别的，，张扬教授和杨钋教授还就加拿大曼尼托巴大学留学深造事宜与师生们举行了简要交流。。。刘新副教授也回应了现场学生关于澳门科技大学访学与深造的咨询。。。（文/图 数学与盘算科学学院）
