⒈ 数学家。上海人。毕业于上海交通大学。法国斯特拉斯堡大学博士。历任北京大学教授，中科院数学研究所研究员、院士，中国数学会理事长。对拓扑学有重要贡献，并应用其成果解决了电子器件中的布线问题。还从事对策论、机器证明和中国古代数学史等方面的研究，取得一系列成果。
超级辞典收录超过八万个汉字，二十万个词语，基本涵盖了全部常用汉语的释义及用法，是汉语学习的有利工具。