楊路

所創“多項式完全判別系統”被行內專家認為是“解決了實代數的基本問題”，所開發的“BOTTEMA”等軟體是目前國內外關於不等式機器證明和機器發現的效率最高的軟體。發表論著120多篇（部）。研究成果曾獲中國科學院自然科學一等獎、國家自然科學二等獎、中國專利博覽會金獎。在數學和計算機兩個學科培養博士13名。計算機自動推理（含機器證明）、幾何演演算法、智能軟體技術。

1979—1985中國科技大學數學系，講師、副教授。1986—1991中國科學院成都數理科學研究室，研究員、副主任。1992—中國科學院成都計算機應用研究所，研究員。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月訪問台北中中央研究院、台北清華大學等多個單位。1998．3-7月法國國家科研中心，客座研究員。1.1959年畢業於北京大學數學系。2.研究員、計算機軟體與理論博士生導師、數學博士生導師。3.中國科學院“不等式機器證明與機器發現”知識創新項目首席科學家。4.國家973項目“數學機械化與自動推理平台”（G1998040600）專家委員會成員。5.國家973項目“構造性實代數幾何與不等式自動推理”（G1998030602）主持人。

1.1995年獲中國科學院自然科學一等獎。2.1997年獲國家自然科學二等獎。3.2001年獲中國第8屆專利博覽會金獎。4.2003年獲全國“五一”勞動獎章。