1992年張景中等提出了幾何定理可讀證明自動生成的理論、算法和方法,並實現為通用的微機程式。用此新方法已經證明近千個非平凡的幾何定理,其中有幾十個非歐幾何的新定理,對多數定理計算機自動生成了簡捷優美的證明。國外著名計算機科學家在公開發表的出版物中稱這一工作是使計算機能像處理算術那樣處理幾何的發展道路上的里程碑,是自動推理領域三十年來最重要的工作。以此成果為主的項目獲中國科學院 1995 年自然科學一等獎,1997年國家自然科學二等獎。
基本介紹
- 中文名:張楊定理
- 發現時間:1992年
- 提出者:張廣厚與楊樂
- 釋義:發現分布論中的兩個概念的聯繫
名稱來源,定理影響,