梁希泉（1954.3 - ），教授。吉林农安人。中共党员。1996年6月博士毕业于吉林大...

人物志

梁希泉（

1954.3

），教授。吉林农安人。中共党员。

1996

年

6

月博士毕业于吉林大学数学系。

1996

年开始担任东北师范大学数学系教学系主任，现任青岛科技大学数理学院院长兼应用数学所所长。多次受到各级领导表彰和奖励。在国内外重要学术刊物上发表学术论文

40

余篇，论著两部，多次受日本名古屋大学，东京工业大学，信州大学邀请去讲学与合作研究。论文有《不完全市场经济的均衡配置，指标公式及非套利均衡问题》。现在他与他的同事们与波兰华沙大学、日本信州大学的相关学者共同研究“

Mizar

”语言的开发与数学问题的计算机证明。