桃李不言 下自成蹊——记青岛科技大学数理学院梁希泉教授

梁希泉教授研究方向是微分拓扑学，他是我国数学、数学问题计算机证明等方面的专家，也是国际Mizar—Group的重要成员之一，近10年来，他进行基于Mizar语言的自动推理与证明的研究，取得了一系列创新成果利用Mizar语言和其它相兼容的软件包在计算机上证明了矩阵论、数论、BCI和BCK代数、四元数代数、差分、微分、积分等诸多数学问题。