杨路1936年10月生，广州大学广州市数学与人工智能国际交流中心主任，研究员，博士生导师(1993年起市否诗帮额息任)第十届全国人大代表，国家重点基础研究来自发展规划(97360百科3)专家委员会委员，9服客73项目"构造性实代数几何层星与不等式自动推理"主持人中国科学院知识创新项目"不等式自动推理及其在高技术领域的应用"首席科入神应电测较学家。近期主要从事计算机自动推理与智能软件技术的研究。

• 中文名称 杨路
• 国籍 中国
• 民族 汉族
• 出生日期 1936年10月
• 职称 研究员

人物生平

　　杨路1936年10月生，广州大学广州市数学客混叫或真压别与人工智能国际交流中心主任，研你言市临地赵究员，博士生导师(1993年起任)第十届全国人大代或粒查洲期特龙表，国家重点基础研究发展规划(973)专家委员会委员，973项目"构造性实代数几何与不等式自动推理"主持人中国科学院知识创象行回根敌失围文新项目"不等式自动推理及其在高技术领域的应用"首来自席科学家。近期主要从事乙成计算机自动推理与智能软件技术的研究。所创"多项式完全判别系统"被行内专家认为是"解决了实代数的基本问题"，所开发的"BOTTEMA"等软件是国内外关于不等式机器证明和机器发现的效率最高的软件。发表论著120多篇(部)。研究成果曾获中国科学院自然科学一等奖、国家自然科学二等奖、中矛督曾局威认严推川初做国专利博览会金奖职胞地纪都除一未非料。在数学和计算机两个学科培养博士13名。计算机自动推理(含机器证明)、几何算法、智能软件技术。

获得成就

　　1979 - 1985 中国科技大学数学系，讲师、副教授。1986 - 1991 中国科学院成都数理科学研究室，研究员、副主任。19处培国略坚92 - 中国科学院成都计算机应用研究所360百科，研究员。1992 - 1996 中科院成都计算机所，数学与计算机科学研究中心，主任。1992 - 1996 国家85攀登项目"机器证明及其应用" 专家委员会成员。1993 年 任IMO中国国家代表队领队、主压振矛车论云教练。1995 - 北京大学数学科学学院信息科学系，教授、系主任(兼)。1995 - 广州市布互降对功数学与人工智能中心主任、广州大学软件所，教授(兼)。1997 - 1998 国家95攀登项目"数学机械化的研究与应用" 首席科学家。1988 - 1989 澳大利亚国更克审含精身鲁社亲立大学等四所大学，客座教授。1990 - 1991 意大利理论物理中心、德国Bielefeld大学等，客座教授。1993 - 1994 美国纽约州立大学、Wichita州立大学等，客座教授。1995年11月访问联合国大学国际软件所。1995年12月访问新加坡国立大学。1996年7月 访问款材剂专面迫奥地利符号计算研究所。1997年9月 访问台北中中央研究院、台北清华大学等多个单位。1活支998.3-7月 法国国家科研历发导希才克父田中心，客座研究员。1.195何茶束书9年毕业于北京大学数学系。2.研究员、计算机软件与理论博士生导师、数学博士生导师。3.中国科学院"不等式机器财立色轮兰证明与机器发现"知识创新项目首席科学家。4.国家9胡体较73项目"数学机械阻整足策评化与自动推理平台"(G1998040600)专家委员会成员。5.国家973项目"构造性实代数几何与不等式自动推理"(G1998030602)主持人。

　　1.1995年获中国科学院自然科学一等奖。2.1997年获国家自然科学二等奖。3.2001年获中国第8届专利博览会金奖。4.2003年获全国"五一"劳动奖章。