院士寄语

• 来源期刊: 中学生数理化：高二高三版
• 学科: 教育
• 关键词: 广州师范学院 张景中 定理机器证明 并行方法 计算机科学家 数学力学系 教育软件 名誉所长 汝南 非
• 年，卷（期）: 2006,（2X）
• 页码范围: 2-2
• 页数: 1页
• 分类号: G634.3

摘要

【正】张景中,计算机科学家、数学家,河南汝南人。1959年毕业于北京大学数学力学系。中国科学院成都计算机应用研究所研究员、名誉所长,广州师范学院教育软件研究所所长。提出和实现了定理机器证明的数值并行方法。把多年来