論文專著：
出版專著：
1. 《高觀點(diǎn)下的中學(xué)數(shù)學(xué)》，主編， 梁希泉， 北師范大學(xué)出版社，2000 。
2.《線性代數(shù)考研題典》，主編， 梁希泉， 東北大學(xué)出版社 ，2003 。
3. Proceeding of the Third China and Japan Joint Symposium on Applied Mathematics and its related Topic 2001.08
發(fā)表英文論文：
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，F(xiàn)ormalized Mathematics，20（4）：271-274,2012
55.Xiquan Liang，Tao Wang.Some Basic Properties of Some Special Matrices.Part Ⅲ，F(xiàn)ormalized 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
發(fā)表中文論文：
1 基于替加環(huán)素的聯(lián)合用藥方案對(duì)多重耐藥鮑曼不動(dòng)桿菌所致呼吸機(jī)相關(guān)性肺炎的療效分析（英文） 查磊; 徐前程; 楊剛; 陳尚華; 沈雯雯; 梁希泉 贛南醫(yī)學(xué)院學(xué)報(bào) 2016-09-19
2 呼吸窘迫綜合征患者應(yīng)用高頻振蕩呼吸機(jī)治療的臨床效果觀察 梁希泉; 徐前程; 查磊; 陳尚華 臨床肺科雜志 2016-05-08
3 一類服務(wù)率可變的M/M/s/K排隊(duì)模型研究 韓玉群; 梁希泉 青島科技大學(xué)學(xué)報(bào)(自然科學(xué)版) 2014-02-15
4 輸入率與服務(wù)率依賴狀態(tài)的M/M/c排隊(duì)模型 梁希泉; 韓玉群; 荊祿旭 青島科技大學(xué)學(xué)報(bào)(自然科學(xué)版) 2013-02-15
5 基于優(yōu)先級(jí)的M/G/K模型的眼科病床安排研究 梁希泉; 韓玉群; 荊祿旭 科學(xué)技術(shù)與工程 2012-07-18
6 矩陣的證明及運(yùn)算在Mizar系統(tǒng)下的實(shí)現(xiàn) 梁希泉; 劉玲玲; 姜西春 數(shù)字技術(shù)與應(yīng)用 2011-03-15
7 路由器防護(hù)安全設(shè)計(jì) 單杰; 梁希泉 科技信息 2011-03-15
8 編組站調(diào)度計(jì)劃0-1規(guī)劃法 湯志高; 謝冰; 于琳; 梁希泉; 曹華林 數(shù)學(xué)的實(shí)踐與認(rèn)識(shí) 2009-08-23
9 列車編組站調(diào)度計(jì)劃0-1規(guī)劃法.梁希泉，曹華林. 數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),Vol.39,No.16,2009, pp:113-122.
10 郵路規(guī)劃與郵車調(diào)度最優(yōu)化理論研究湯志高; 王繼利; 曹穎瑛; 曹華林; 梁希泉.數(shù)學(xué)的實(shí)踐與認(rèn)識(shí),Vol.38,No.14,2008,pp:201-209.
11機(jī)械臂運(yùn)動(dòng)路徑設(shè)計(jì)問題 賈松松; 顧淼; 王嬌; 曹華林; 梁希泉 數(shù)學(xué)的實(shí)踐與認(rèn)識(shí)，VOL.38,NO.14,pp:111-121,2008.
12 關(guān)于不完全市場(chǎng)經(jīng)濟(jì)的非套利均衡問題，梁希泉，中國當(dāng)代思想寶庫,中國經(jīng)濟(jì)出版社，P480-492,2005.
13 不完全市場(chǎng)經(jīng)濟(jì)的均衡配置、指標(biāo)公式與均衡的存在性，梁希泉 WTO與中國經(jīng)濟(jì)，Vol.4,P58-67,2005.
14 關(guān)于圖的控制數(shù)Vizing’s定理的推廣 齊登記; 梁希泉 東北師大學(xué)報(bào)(自然科學(xué)版) ，N0.1,P24-28，2005.
15 不完全資產(chǎn)與現(xiàn)貨市場(chǎng)的兩期交換經(jīng)濟(jì)的非套利均衡的存在性，梁希泉，經(jīng)濟(jì)數(shù)學(xué)，Vol（17）（3）,P1-14,2000.
16 Hopf流形的全臍實(shí)超曲面 梁希泉; 劉西民 東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.3,P7-10，1999.
17 兩期交換經(jīng)濟(jì)非套利均衡預(yù)算集合與Stiefel流形，梁希泉，東北師大學(xué)報(bào)，NO.2,P1-7，1997.
18 兩期交換經(jīng)濟(jì)contingent資產(chǎn)市場(chǎng)的指標(biāo)公式，梁希泉，東北師大學(xué)報(bào)，NO.3,P1-8,1997.
19 一類光滑4-流形的2-torsion不變量 劉西民; 梁希泉 數(shù)學(xué)年刊A輯(中文版) ，18A,NO.2,P155-158,1997.
20 局部可分空間 周景新; 梁希泉 吉林師范學(xué)院學(xué)報(bào) 1997-02-15
21 P－Sasakian流形是局部積流形的超曲面 梁希泉; 劉西民 東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.3，P1-5，1996.
22 具有嵌入環(huán)面4－個(gè)流形的Donaldson不變量 劉西民; 梁希泉 吉林大學(xué)自然科學(xué)學(xué)報(bào)，NO.3，P13-15，1996.
23 Skew CR Submanifolds of a Sasakian Manifold 劉西民; 梁希泉 東北數(shù)學(xué) 1996-04-20
24 環(huán)面圓叢上Coulomb相對(duì)規(guī)范的存在性，梁希泉，東北師大學(xué)報(bào)(自然科學(xué)版)，NO.4，P11-14，1995.
25 環(huán)面上U（1）叢的Chern-Simons不變量，劉西民，梁希泉，吉林大學(xué)自然科學(xué)學(xué)報(bào)，NO.3，P27-31，1995.
26 Bochner－Kaehler流形的CR子流形 梁希泉; 劉西民 東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.4，P6-11，1994.
27 An Invariant of Gauge Transformations of Contact Riemannian Structures 梁希泉; 劉西民 東北數(shù)學(xué) 1994-10-20
28 局部積流形的半不變子流形 劉西民; 梁希泉 吉林大學(xué)自然科學(xué)學(xué)報(bào) ，NO.2,P21-25,1994.
29 Contact黎曼結(jié)構(gòu)的Ricci與Bochner型曲率張量,梁希泉， 中國數(shù)學(xué)文摘,7(4),1993.
30 Contact黎曼結(jié)構(gòu)的Ricci與Bochner型曲率張量 梁希泉; 周景新 東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.3，P13-19，1992.
31 橫截仿射葉層結(jié)構(gòu)緊致葉的穩(wěn)定性 梁希泉 松遼學(xué)刊(自然科學(xué)版) 1990-10-0
32 微分流形上r階聯(lián)絡(luò)到其叢空間的水平提升及相應(yīng)的曲率與撓率張量 梁希泉 東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.2，P19-27，1990.
33 CONTACT黎曼流形上S.TANNO聯(lián)絡(luò)的數(shù)量曲率 梁希泉; 王聯(lián)群 東北師大學(xué)報(bào)(自然科學(xué)版) ，NO.1,P33-39，1990.
34.辛流形Hamilton系統(tǒng)的幾何解釋，梁希泉，東北師大學(xué)報(bào)，NO.1,P43-47,1989.
35 A note on the S-closed properties,周景新，梁希泉， 中國數(shù)學(xué)文摘,6（4）,1992.
36 關(guān)于正則開分離性，梁希泉，中國數(shù)學(xué)文摘，5（4），P90-91，1991.
梁希泉，男，吉林省農(nóng)安縣人，中共黨員，博士，教授，碩士生導(dǎo)師，留學(xué)歸國人員，現(xiàn)任青島科技大學(xué)數(shù)理學(xué)院教授，曾任青島科技大學(xué)數(shù)理學(xué)院院長。1953年3月28日出生于吉林省農(nóng)安縣。1972年12月參加工作，成為一名中學(xué)教師。
科學(xué)研究：
榮譽(yù)獎(jiǎng)勵(lì)：