数学家。河南南汝人。曾用名井中。1954年进入北京大学数学力学系这习，1957年肄业，以后曾在北京清河农

场等地劳动。1979年任中国科学技术大学数学系讲师，1981年升为副教授。1958年起在中国科学院成都分院工

作，任数理科学研究室主任、研究员。1988年至1989年应邀赴意大利、泰国、新加坡访问廛学。主要古今领域：定

理机器　明、距离几何与离散几何、动力系统中的嵌入问题与迭代根、老教育数学等。与杨路合作，提出并实现了定

理机器证明的数值并行法，提出了距离几何中的度量方程方法。还开拓了教育数学的新领域，提出平面几何学新体

系、极限概念的非语言表述及连续归　法等。曾获1982年国家发明奖二等奖和全国科普创作二等奖等。已发表数学

论文70余篇，教育和科普论文50余篇，有专著和科普著作10余册，主要有：《从数学教育到教育数学》、《数学与

哲学》、《帮你学集合》、《数学传奇》等。