1958年(nian)
公司創立于1978年(nian)
研制出我國第一(yi)台(tai)電子(zi)票箱群情激、表決(jue)器肯定连、會議(yi)報(bao)到機40年(nian)
數字會議(yi)系統(tong)持續創新300多家
擁(yong)有國內(na)外高端客戶
張景中人形出，中國科學(xue)院院士息低，1959年(nian)畢(bi)業(ye)于北京大學(xue)數學(xue)力學(xue)系结舌。從事計算機科學(xue)源标榜、數學(xue)和數學(xue)教育研究落下层。《計算機應用》期刊(kan)主(zhu)編想借。在機器證明谁信、教育數學(xue)时打断、距離幾何及動(dong)力系統(tong)等(deng)領域(yu)有貢(gong) bi)渍婷。其硶 982年(nian)獲國家發明獎(jiang)二等(deng)獎(jiang)偏转，1995年(nian)獲中科院自(zi)然科學(xue)獎(jiang)一(yi)等(deng)獎(jiang)和中國圖書獎(jiang)剧痛，1997年(nian)獲國家自(zi)然科學(xue)獎(jiang)二等(deng)獎(jiang)匿迹，2003年(nian)獲全國科普創作獎(jiang)一(yi)等(deng)獎(jiang)没名字、五(wu)個一(yi)工(gong)程(cheng)獎(jiang)和國家圖書獎(jiang)级榜里，2005年(nian)和2009年(nian)兩次獲國家科技進步獎(jiang)二等(deng)獎(jiang)接下一。他提(ti)出了三角这一生、幾何你带你、代數相互滲(shen)透的初等(deng)數學(xue)教學(xue)體系；提(ti)出了非ε語言的極限概念(nian)表述和實數理論的連續歸納(na)法；發現了不用極限或無窮小(xiao)建(jian)立微積分的基本理論和方法图纸上。
楊(yang)路青菜，研究員否则绝，博士生導師016360，國家兩屆(jie)攀登項(xiang)目“機器證明及其應用”和“數學(xue)機械化的理論與研究”和國家兩屆(jie)973項(xiang)目“數學(xue)機械化與自(zi)動(dong)推 ping)砥教 tai)”和“數學(xue)機械化及其在信息技術中的應用”專家委員會委員人赞同，國家攀登項(xiang)目“數學(xue)機械化的理論與研究”的首席(xi)科學(xue)家第二击。國家兩屆(jie)攀登計劃朱伯伯、國家兩項(xiang)863計劃注入猛、國家兩屆(jie)973計劃鸟他、國家自(zi)然科學(xue)基金(jin)以 yue)爸泄 蒲 xue)院知識創新項(xiang)目等(deng)重大課題的負責(ze)人卡深。主(zhu)研項(xiang)目《幾何定(ding)理機器證明理論與算法的新進展(zhan)》獲中國科學(xue)院自(zi)然科學(xue)一(yi)等(deng)獎(jiang)我惊喜。該成果是(shi)計算機自(zi)動(dong)推 ping)碚飧黽撲慊 蒲 xue)－數學(xue)交叉領域(yu)的多年(nian)難遇的重大成果死规则，是(shi)國內(na)外計算機科學(xue)界公認的卓越成就(jiu)广播中，在計算機科學(xue)好几岁、數學(xue)段路、教育科學(xue)等(deng)各領域(yu)產生著(zhou)深(shen)遠影響並獲重要(yao)應用甚至修。1997年(nian)獲國家自(zi)然科學(xue)二等(deng)獎(jiang)控制你，2001年(nian)獲全國專利(li)博覽(lan)會金(jin)獎(jiang)男生气，2003年(nian)獲全國“五(wu)一(yi)”勞動(dong)獎(jiang)章出关。
