论文部分内容阅读
杨路教授，四川省渠县人。1959年毕业于北京大学数学力学系．现为计算机学科和数学学科博士生指导教师，广州大学计算机教育软件研究所教授，广州市数学与人工智能国际交流中心主任，是国家攀登项目“数学机械化的研究与应用”首席科学家，国家973项目“数学机械化与自动推理平台”(G1998040600)专家委员会成员。