梁希泉——数学问题计算机证明专家

专家信息：

梁希泉，男，吉林省农安县人，中共党员，博士，教授，硕士生导师，留学归国人员，现任青岛科技大学数理学院教授，曾任青岛科技大学数理学院院长。1953年3月28日出生于吉林省农安县。1972年12月参加工作，成为一名中学教师。

教育及工作经历：

1975-1978年：东北师范大学数学系本科毕业后留校任教。

1986-1989年考入东北师范大学硕士研究生后委托到北京大学就读研究生，师从陈维桓教授学习现代微分几何。

1993-1996年考入吉林大学数学所读博士，师从孙以丰教授学习拓扑与微分拓扑学。

1996-1999年东北师范大学任教，数学系副系主任。

1997-1999年去日本东京工业大学大学院信息数学理科访问学者。

2000-至今青岛科技大学任教，数理学院院长、教授。

培养研究生情况：

自1996年担任硕士研究生导师至今，在现代微分几何、微分拓扑、数学问题的计算机证明等研究方向上已培养多名硕士研究生。

招生专业： 应用数学基础数学。

学术兼职：

1、中国亚太经济发展研究中心高级研究员。

科学研究：

研究方向：

长期从事应用数学数学问题的计算机证明。

科研项目：

1.“三维与四维流行中的若干问题” 。

2.“代数拓扑学与不完全市场的经济均衡理论”。

3. 数学问题的计算机证明国际合作研究。

4. 国家自然科学基金项目：经济均衡理论与代数拓扑学。

5. 国家自然科学基金项目：低维流形中的若干问题。

6. 教育部教改项目一项：《高师本科数学专业课程设置与课程内容的改革研究与实践》。

目前正与波兰、日本的相关学者合作研究“Mizar语言结构与数学问题的计算机证明”。

科研成果：

梁希泉教授多次受日本名古屋大学、东京工业大学、信州大学邀请去讲学与合作研究。他撰写的《不完全市场经济的均衡配置，指标公式与非套利均衡问题》等论文观点鲜明，思想深刻，论据充分，思路清晰，被多种专刊转载。现在他与他的同事们与波兰华沙大学、日本信州大学的相关学者共同研究“Mizar语言的开发与数学问题的计算机证明”。1997年至1999年在日本东京工业大学留学期间梁希泉加入了国际Mizar-Group,目前仍是该学会的重要成员之一，多年来与Mizar学会创始人波兰华沙大学计算机学院院长Andrzej Trybulec 教授和信州大学Nakamura Yatsuka 教授等诸多国内外学者专家在该领域内进行了合作研究；组织举办了3次国际应用数学研讨会，力邀国内外学者深入研究探讨数学与数学的计算机证明问题。迄今为止，梁希泉教授在Formalized Mathematics等国际刊物上发表数学、数学问题的计算机证明等方面的学术论文一百余篇，出版专著2部，教材2部，取得了一系列创新性的研究成果。

论文专著：

出版专著：

1. 《高观点下的中学数学》，主编， 梁希泉，北师范大学出版社，2000 。

2.《线性代数考研题典》，主编， 梁希泉，东北大学出版社，2003 。

3. Proceeding of the Third China and Japan Joint Symposium on Applied Mathematics and its related Topic 2001.08

发表英文论文：

1. Xiquan Liang, Dailu Li. On Rough Subgroup of a Group. Formalized Mathematics (Poland). Vol.17,No.3,2009, pp:213-217.

2. Xiquan Liang, Piqing Zhao. Vector Function and Its Differentiation Formulas . Formalized Mathematics (Poland). Vol.17,No.4,2009, pp:251-260.

3. Xiquan Liang, Ling Tang. Difference and Difference Quotient -- Part {III}. Formalized Mathematics (Poland). Vol.17,No.4,2009, pp:272-278.

4. Xiquan Liang and Fuguo Ge. The Quaternion Numbers. Formalized Mathematics (Poland),VOL.14,NO.4,pp:161-169,2006.

5. Xiquan Liang, Tao Sun and Dahai Hu. Some Properties of Line and Column Operations on Matrices. Formalized Mathematics (Poland),VOL.15,NO.3,pp:151-157,2007.

6. Xiquan Liang and Bing Xie. Inverse Trigonometric Functions Arctan and Arccot. Formalized Mathematics (Poland),VOL.16,NO.2,pp:147-158,2008.

7. Xiquan Liang, Li Yan and Junjie Zhao. Linear Congruence Relation and Complete Residue Systems. Formalized Mathematics (Poland),VOL.15,NO.4,pp:185-190,2007.

8. Xiquan Liang, Fuguo Ge and Li Yan. Some Logical Aspects of Mathematical Reasoning. Studies in Logic, Grammar and Rhetoric (Poland), VOL.10,NO.23,pp:33-44,2007.

9. Xiquan Liang, Fuguo Ge and Xiaopeng Yue. Some Special Matrices of Real Elements and Their Properties. Formalized Mathematics (Poland),VOL.14,NO.4,pp:129-134,2006.

10.Xiquan Liang. Solving Roots of Polynomial Equation of Degree 4 with Real Coefficients. Formalized Mathematics(Poland),Vol.11,No.2,pp:185-187,2003.

11.Xiquan Liang. Solving Roots of Polynomial Equations with Real Coefficients. Formalized Mathematics(Poland),Vol.9,No.2,pp:347-350,2001.

12.Xiquan Liang. An invariant of Gauge Transformations of Contact Riemannian Structures. Northeastern Mathematical Journal.Vol.10,No.4,pp:459-463,1994.

13.Dailu Li,Xiquan Liang.Nilpotent Group. Formalized Mathematics (Poland).Vol.17,No.4,2009, pp:311-314.

14.Li Yan, Xiquan Liang and Junjie Zhao. Gauss Lemma and Law of Quadratic Reciprocity. Formalized Mathematics (Poland),VOL.16,NO.1,pp:23-28,2008.

15.Junjie Zhao, Xiquan Liang and Li Yan. Several Higher Differentiation Formulas of Special Functions. Formalized Mathematics (Poland),VOL.16,NO.2,pp:141-145,2008.

16.Bing Xie, Xiquan Liang and Fuguo Ge. Inverse Trigonometric Functions Arcsec and Arccosec. Formalized Mathematics (Poland),VOL.16,NO.2,pp:159-165,2008.

17.Bing Xie, Xiquan Liang, Hongwei Li. Partial Differentiation of Real Binary Functions. Formalized Mathematics (Poland),VOL.16,NO.4,pp:333-338,2008.

18.Xiaopeng Yue and Xiquan Liang. Basic Properties of Circulant Matrices and Anti-Circular Matrices. Formalized Mathematics (Poland),VOL.16,NO.4,pp:355-360,2008.

19.Bing Xie, Xiquan Liang and Xiuzhuan Shen. Second-order Partial Differentiation of Real Binary Functions. Formalized Mathematics (Poland),VOL.17,NO.2,pp:79-86,2009.

20.Xiaopeng Yue, Xiquan Liang, Zhongpin Sun. Some Properties of Some Special Matrices. Formalized Mathematics(Poland),Vol.13,No.4,pp:541-547,2005.

21.Fuguo Ge and Xiquan Liang. On the Partial Product and Partial Sum of Series and Related Basic Inequalities. Formalized Mathematics(Poland),Vol.13,No.4,pp:525-528,2005.

22.Fuguo Ge and Xiquan Liang. On the Partial Product of Series and Related Basic Inequalities. Formalized Mathematics (Poland),Vol.13, No.3,pp:413-416,2005

23.Fuguo Ge, Xiquan Liang and Yuzhong Ding. Formulas and Identities of Inverse Hyperbolic Functions. Formalized Mathematics (Poland),Vol.13,No.3,pp:383-388,2005.

24.Yuzhong Ding and Xiquan Liang. Preliminaries to Mathematical Morphology and Its Properties.Formalized Mathematics(Poland),Vol.13,No.2,pp:221-225,2005.

25.Yan Zhang and Xiquan Liang. Several Differentiable Formulas of Special Functions. Formalized Mathematics (Poland),Vol.13, No.3,pp:427-434,2005.

26.Yuzhong Ding, Xiquan Liang. Solving Roots of Polynomial Equation with Complex Coefficients. Formalized Mathematics (Poland),Vol.12,No.2,pp: 85-92,2004.

27.Yuzhong Ding, Xiquan Liang. Formulas and Identities of Trigonometric Functions. Formalized Mathematics(Poland),Vol.12, No.3,pp:243–246,2004.

28.Yuzhong Ding,Xiquan Liang. Solving Roots of the Special Polynomial Equation with Real Coefficients. Formalized Mathematics(Poland),Vol.12,No.3,pp:247-250,2004.

29.Ximin Liu, Xiquan Liang. Skew CR Submanifolds of a Sasakian Manifold. Northeastern Mathematical Journal,Vol.12,No.2,pp:247-253,1996.

30.Chun Feng, Xiquan Liang. Thin position of Heegaard Splittings. Proceeding of the China and Japan Joint Symposium on Applied Mathematics and its related Topics,pp: 130-135,1997.

31.Takao Inoue,Bing Xie and Xiquan Liang.Partial Differentiation of Real Ternary Functions. Formalized Mathematics (Poland). Vol.17,No.4,2009, pp:131-136.

32.Xiaopeng Yue, Dahai Hu and Xiquan Liang. Some Properties of Some Special Matrices.Part II. Formalized Mathematics (Poland),VOL.14,NO.1,pp:7-12,2006.

33.Bo Li, Yan Zhang and Xiquan Liang. Several Differentiation Formulas of Special Functions.Part III. Formalized Mathematics (Poland),VOL.14,NO.1,pp:37-45,2006.

34.Bo Li, Yan Zhang and Xiquan Liang. Difference and Difference Quotient. Formalized Mathematics (Poland),VOL.14,NO.3,pp:115-119,2006.

35.Cuiying Peng, Fuguo Ge and Xiquan Liang. Several Integrability Formulas of Special Functions. Formalized Mathematics (Poland),VOL.15,NO.4,pp:189-198,2007.

36.Tao Sun, Dahai Hu and Xiquan Liang. Several Classes of {BCK}-algebras and Their Properties. Formalized Mathematics (Poland),VOL.15,NO.4,pp:237-242,2007.

37.Bo Li, Yanping Zhuang and Xiquan Liang. Difference and Difference Quotient.Part II. Formalized Mathematics (Poland),VOL.16,NO.1,pp:45-49,2008.

38.Tao Sun, Junjie Zhao and Xiquan Liang. BCI-algebras with Condition (S) and their Properties. Formalized Mathematics (Poland),VOL.16,NO.1,pp:65-71,2008.

39.Bo Li, Yan Zhang and Xiquan Liang. Several Differentiation Formulas of Special Functions -- Part III. Formalized Mathematics(Poland),Vol.14, No.1,pp:37-45,2006.

40.Fahui Zhai, Jianbing Cao and Xiquan Liang. Circled Sets, Circled Hull, and Circled Family. Formalized Mathematics (Poland),Vol.13,No.4, pp:447-451,2005.

41.Jianbing Cao, Fahui Zhai and Xiquan Liang. Some Differentiable Formulas of Special Functions. Formalized 2athematics (Poland),Vol.13, No.4,pp:505-509,2005.

42.Yan Zhang, Bo Li and Xiquan Liang.Several Differentiable Formulas of Special Functions. Part II.Formalized Mathematics(Poland),Vol.13,No.4,pp:529-535,2005.

43.Jianbing Cao, Fahui Zhai and Xiquan Liang. Partial Sum and Partial Product of Some Series. Formalized Mathematics (Poland),Vol.13, No.4,pp:501-503,2005.

44.Bo Li,Yanhong Men,Dailu Li,Xiquan Liang.Basic Properties of Periodic Functions. Formalized Mathematics (Poland). Vol.17,No.4,2009, pp:247-250.

45.Tao Sun,Weibo Pan,Chenglong Wu ,Xiquan Liang. General Theory of Quasi-Commutative BCI-algebras. Formalized Mathematics(Poland), Vol.16,No.3,pp:250-264,2008.

46.Xiquan Liang. The scalar curvature of S.Tanno’s connection on a contact Riemannian manifold. Mathematical Reviews,92a:53048,pp:276-277,1992.

47.Xiquan Liang. Horizontal lifts of connections of r order on differential manifolds to bundle spaces and their corresponding curvature-torsion tensors. Mathematical Reviews,92a:53c15,pp:201,1992.

48.Xiquan Liang. The Scalar curvature of S.Tanno’s connection on Riemannian contact manifolds. Zentralbatt für Mathematik Band，（German）.729.MAI,pp:252-253,1992.

49.Xiquan Liang. The Ricci-and Bochner-type curvature tensors of contact Riemannian structures. Mathematical Reviews,94h:53043,pp:460-461,1994.

50.Bo Li, Yanping Zhuang, Yanhong Men and Xiquan Liang. Several Integrability Formulas of Special Functions.PartII. Formalized Mathematics (Poland),VOL.17,NO.1,pp:23-35,2009.

51.Bo Li, Pan Wang, Xiquan Liang and Yanping Zhuang. Some Operations on Quaternion Numbers. Formalized Mathematics (Poland),VOL.17,NO.2,pp:61-65,2009.

52.Xiquan Liang，Yuqun Han，Luxu Jing.Substantiation and Operations of Quaternion Numbers in Computer by Software Mizar，2011 International Conference on Computer,Communication and Information Technology(ICCCIT 2011)，2011，42-45

53.Xiquan Liang，Luxu Jing，Yuqun Han.Substantiation and Operations of Congruence in Computer by Software Mizar，Proceeding of the Seventh International Conference of Matrices and Operators，74-77，2012

54.Na Ma，Xiquan Liang.Basic Properties of Primitive Root and Order Function，Formalized Mathematics，20（4）：271-274,2012

55.Xiquan Liang，Tao Wang.Some Basic Properties of Some Special Matrices.Part Ⅲ，Formalized Mathematics，20(1)：73-77,2012

56.Xiquan Liang, Dailu Li. Some Properties of $p$-Groups and Commutative $p$-Groups, Formalized Mathematics 19(1), pages 11-15, 2011.

57.Xiquan Liang, Ling Tang, Xichun Jiang. {D}ifference and Difference Quotient. {P}art {IV}, Formalized Mathematics 19(1), pages 35-39, 2011

58.Dailu Li, Xiquan Liang ,Yanhong Men ,Nilpotent Groups, Formalized Mathematics (Poland) Vol.18.No.1,P53-56,2010

59.Xiquan Liang,Piqing Zhao ,Ou Bai,Vector Function and its Differentiation Formulas in 3-dimensional Euclidean Spaces, Formalized Mathematics (Poland) Vol.18.No.1,P1-10,2010

60.Xiquan Liang, Ling Tang, Difference and Difference Quitient. Part Ⅲ, Formalized Mathematics (Poland) Vol.18.No.1,P57-64,2010

61.Takao Inou\'e, Bing Xie, Xiquan Liang. Partial Differentiation of Real Ternary Functions, Formalized Mathematics 18(1), pages 39-46, 2010

发表中文论文：

1 基于替加环素的联合用药方案对多重耐药鲍曼不动杆菌所致呼吸机相关性肺炎的疗效分析（英文）查磊; 徐前程; 杨刚; 陈尚华; 沈雯雯; 梁希泉 赣南医学院学报 2016-09-19

2 呼吸窘迫综合征患者应用高频振荡呼吸机治疗的临床效果观察 梁希泉; 徐前程; 查磊; 陈尚华临床肺科杂志 2016-05-08

3 一类服务率可变的M/M/s/K排队模型研究韩玉群; 梁希泉 青岛科技大学学报(自然科学版) 2014-02-15

4 输入率与服务率依赖状态的M/M/c排队模型 梁希泉; 韩玉群; 荆禄旭青岛科技大学学报(自然科学版) 2013-02-15

5 基于优先级的M/G/K模型的眼科病床安排研究 梁希泉; 韩玉群; 荆禄旭科学技术与工程 2012-07-18

6 矩阵的证明及运算在Mizar系统下的实现 梁希泉; 刘玲玲; 姜西春数字技术与应用 2011-03-15

7 路由器防护安全设计单杰; 梁希泉 科技信息 2011-03-15

8 编组站调度计划0-1规划法汤志高; 谢冰; 于琳; 梁希泉; 曹华林数学的实践与认识 2009-08-23

9 列车编组站调度计划0-1规划法.梁希泉，曹华林. 数学的实践与认识,Vol.39,No.16,2009, pp:113-122.

10 邮路规划与邮车调度最优化理论研究汤志高; 王继利; 曹颖瑛; 曹华林; 梁希泉.数学的实践与认识,Vol.38,No.14,2008,pp:201-209.

11机械臂运动路径设计问题贾松松; 顾淼; 王娇; 曹华林; 梁希泉 数学的实践与认识，VOL.38,NO.14,pp:111-121,2008.

12 关于不完全市场经济的非套利均衡问题，梁希泉，中国当代思想宝库,中国经济出版社，P480-492,2005.

13 不完全市场经济的均衡配置、指标公式与均衡的存在性，梁希泉 WTO与中国经济，Vol.4,P58-67,2005.

14 关于图的控制数Vizing’s定理的推广齐登记; 梁希泉 东北师大学报(自然科学版) ，N0.1,P24-28，2005.

15 不完全资产与现货市场的两期交换经济的非套利均衡的存在性，梁希泉，经济数学，Vol（17）（3）,P1-14,2000.

16 Hopf流形的全脐实超曲面 梁希泉; 刘西民东北师大学报(自然科学版) ，NO.3,P7-10，1999.

17 两期交换经济非套利均衡预算集合与Stiefel流形，梁希泉，东北师大学报，NO.2,P1-7，1997.

18 两期交换经济contingent资产市场的指标公式，梁希泉，东北师大学报，NO.3,P1-8,1997.

19 一类光滑4-流形的2-torsion不变量刘西民; 梁希泉 数学年刊A辑(中文版) ，18A,NO.2,P155-158,1997.

20 局部可分空间周景新; 梁希泉 吉林师范学院学报 1997-02-15

21 P－Sasakian流形是局部积流形的超曲面 梁希泉; 刘西民东北师大学报(自然科学版) ，NO.3，P1-5，1996.

22 具有嵌入环面4－个流形的Donaldson不变量刘西民; 梁希泉 吉林大学自然科学学报，NO.3，P13-15，1996.

23 Skew CR Submanifolds of a Sasakian Manifold 刘西民; 梁希泉 东北数学 1996-04-20

24 环面圆丛上Coulomb相对规范的存在性，梁希泉，东北师大学报(自然科学版)，NO.4，P11-14，1995.

25 环面上U（1）丛的Chern-Simons不变量，刘西民，梁希泉，吉林大学自然科学学报，NO.3，P27-31，1995.

26 Bochner－Kaehler流形的CR子流形 梁希泉; 刘西民东北师大学报(自然科学版) ，NO.4，P6-11，1994.

27 An Invariant of Gauge Transformations of Contact Riemannian Structures 梁希泉; 刘西民东北数学 1994-10-20

28 局部积流形的半不变子流形刘西民; 梁希泉 吉林大学自然科学学报，NO.2,P21-25,1994.

29 Contact黎曼结构的Ricci与Bochner型曲率张量,梁希泉，中国数学文摘,7(4),1993.

30 Contact黎曼结构的Ricci与Bochner型曲率张量 梁希泉; 周景新东北师大学报(自然科学版) ，NO.3，P13-19，1992.

31 横截仿射叶层结构紧致叶的稳定性 梁希泉 松辽学刊(自然科学版) 1990-10-0

32 微分流形上r阶联络到其丛空间的水平提升及相应的曲率与挠率张量 梁希泉 东北师大学报(自然科学版) ，NO.2，P19-27，1990.

33 CONTACT黎曼流形上S.TANNO联络的数量曲率 梁希泉; 王联群东北师大学报(自然科学版) ，NO.1,P33-39，1990.

34.辛流形Hamilton系统的几何解释，梁希泉，东北师大学报，NO.1,P43-47,1989.

35 A note on the S-closed properties,周景新，梁希泉，中国数学文摘,6（4）,1992.

36 关于正则开分离性，梁希泉，中国数学文摘，5（4），P90-91，1991.

荣誉奖励：

1. 援藏教师荣誉证书。

2. 青岛科技大学先进工作者。

3. 山东省教育工作满三十年荣誉证书。

4. 青岛科技大学第三届“十佳育人标兵”。

5. 青岛市优秀共产党员。

6. 山东省教育系统优秀共产党员荣誉称号。

7. 2001年吉林省省教学成果一等奖。

8. 2005年青岛科技大学教学成果奖一等奖。

9.2005年中国亚太经济发展研究中心高级研究员。

10. 2007年，他又获得国务院专家评定办公室颁发的优秀专家证书。

11.2007年国务院发展研究中心县域经济专家委员会委员。

12.2008年青岛科技大学优秀教师。

13.2009年青岛科技大学教学名师。

14.2009年全国科监委行业发展战略委员会委员。

媒体报道：

1 追求卓越的脚步——记青岛科技大学数理学院梁希泉教授科技促进发展 2011-12-10

2 桃李不言下自成蹊——记青岛科技大学数理学院梁希泉教授作者赵书馨出版源《中国科技成果》 , 2011 (5) :78-79

3 梁希泉:用数学谱写人生华章庄怀敏中国科技财富 2010-03-08

4 十年见证——与数理学院一起成长——记青岛科技大学数理学院院长梁希泉 2010 陈钰 - 《科技创新与品牌》

5 辛勤耕耘结硕果育人标兵终不辍——记青岛科技大学梁希泉教授 2009 赵凡 - 《科技成果管理与研究》

6 把数学写入生命的人——记青岛科技大学数理学院院长梁希泉教授孟凡今日科苑 2008-02-08