数学与系统科学研究院研究员、退休干部石赫同志因病医治无效于2013年8月15日下午5点在北京306医院逝世，享年74岁。

石赫同志1939年2月出生于北京市，1962年参加工作，从事函数论研究，80年代后从事数学机械化研究。他在几何定理机器证明、多项式方程符号求解、陈类计算、杨-Baxter和杨-Mills方程求解等方面做出了创新性工作。

石赫同志是我国最早从事数学机械化研究的学者之一, 曾任数学机械化研究中心副主任，数学机械化重点实验室学术委员会副主任，973项目课题负责人，为数学机械化事业的发展做出了重要贡献。

 

中国科学院数学与系统科学研究院沉痛悼念石赫同志。

石赫同志千古！

 

特此讣告。

 

中国科学院数学与系统科学研究院

二零一三年八月十六日