北京双全天地科技发展有限公司是由双全集团，四川中科院信息技术有限公司、我国著名数学家张景中院士和符红光教授共同投资建立的一家高科技公司，公司致力于智能教育软件的研制、信息安全技术的开发和智能教育网站的建设，同时开展计算机网络设备研发、技术咨询服务、技术转让等信息科技业务。

作为中国智能教育软件领域的拓荒者，公司汇集了国内从事智能推理技术领域的一流人才，公司视人才为企业竞争力源泉，根据发展战略与竞争的要求不断开发员工的核心技能与专长。双全坚持以宏大事业感召人，优厚待遇吸引人、卓越文化凝聚人，搭建平台成就人，使员工始终处于激活状态。双全科技将逐步构筑以人力资本为基础、产业资本为纽带；以智能推理技术为拓展出发点的智能教育产业群落，实现价值链的延伸。

双全科技坚信“教育改变人生、科技创造价值”，双全人专注于智能推理、机器证明等高新技术与传统教育形式的融合与创新，双全人希望在信息时代通过当代高新技术与传统教育的完美结合真正实现先哲“有教育无类”的理想。

几年来，双全科技在智能教育软件开发、交互式智能校园网络平台建设、智能教育门户网站运营等方面已取得了长足进展。公司被国家认定为高新技术企业和软件企业。公司设在中科院成都计算机研究所研发基地的自动推理实验室先后承担了国家863和973项目任务，并被列入国家重点扶持的知识创新工程。

2000年8月30日，公司正式推出中国第一套智能教育软件——双全智能教育软件，填补了国内该领域的空白，这标志着“用电脑来解决数理化证明问题”这一被全球科学家所公认的世界性难题不仅在理论研究上取得了重大突破，而且开始进入了应用领域。

双全智能教育软件是为初、高中学生提供全方位电子教学服务的智能型软件。这套软件是在“几何定理机器证明”理论这一世界领先理论的基础研制开发出来的，具有动态作图、自动推理、人机交互、智能解题等多项强大的功能。

2001年9月，《双全智能教育软件》被列入“国家级火炬计划”。教育部把该套软件列入“全国中小学教学用书推荐目录”和“中小学教育软件（资源）推荐目录”。科技部等五个国家部委联合授予双全智能教育软件“国家级重点新产品”证书。鉴于“双全智能教育软件”所拥有的世界领先技术和出色的应用效果，中国软件行业协会连续3年把双全智能教育软件列入推荐名单，并于2003年授予双全软件最高软件评选资质—“中国优秀软件产品”。该产品所独有的“人机交互、智能解题”功能，极大地培养了学生自主创新能力，对我国素质教育的开展有极大的推动作用。

双全科技将继续运用国际领先的智能推理技术，投身于信息化教育、网络化教育和素质化教育的建设中，从而为中国广大学生提供先进、实用的教学服务，加速中国智能教育产业的发展。