北京双全天地科技发展有限公司是由北京双全集团、中科院成都计算机研究所和我国著名数学家张景中院士共同投资建立的，是一家迅速成长的高科技公司。公司以支持教育产业为使命，并使之迅速与高新技术成果相结合.2000年8月，正式推出中国第一套智能教育软件--双全智能教育软件，这标志着'用电脑来解决数理化证明问题'这一被全球科学家所公认的世界性难题不仅在理论研究上取得了重大突破，而且开始进入了应用领域。　双全智能教育软件是为初、高中学生提供的一套全方位电子教学服务的智能型软件，它基本涵盖了数学、物理、化学等理科的全部教学内容。这套软件是在'几何定理机器证明'理论这一世界领先地位的理论基础上研制开发出来的，并具有动态作图、自动推理、人机交互、智能解题等多项强大的功能。　　　双全智能教育软件系列的核心技术获得了国家自然科学二等奖（该奖为计算机类研究中获得的最高奖项），以及中科院自然科学一等奖。同时，双全智能教育软件项目被列为国家火炬计划，并经国家教育部全国中小学教材审定委员会审定通过，作为教育部推荐软件列入中小学教材图书目录。