概述
北京雙全天地科技發展有限公司是由雙全集團，四川中科院信息技術有限公司、我國著名數學家張景中院士和符紅光教授共同投資建立的一家高科技公司，公司致力於智慧型教育軟體的研製、信息安全技術的開發和智慧型教育網站的建設，同時開展計算機網路設備研發、技術諮詢服務、技術轉讓等信息科技業務。
公司業務
作為中國智慧型教育軟體領域的拓荒者，公司匯集了國內從事智慧型推理技術領域的一流人才，公司視人才為企業競爭力源泉，根據發展戰略與競爭的要求不斷開發員工的核心技能與專長。雙全堅持以宏大事業感召人，優厚待遇吸引人、卓越文化凝聚人，搭建平台成就人，使員工始終處於激活狀態。雙全科技將逐步構築以人力資本為基礎、產業資本為紐帶；以智慧型推理技術為拓展出發點的智慧型教育產業群落，實現價值鏈的延伸。
雙全科技堅信“教育改變人生、科技創造價值”，雙全人專注於智慧型推理、機器證明等高新技術與傳統教育形式的融合與創新，雙全人希望在資訊時代通過當代高新技術與傳統教育的完美結合真正實現先哲“有教育無類”的理想。
幾年來，雙全科技在智慧型教育軟體開發、互動式智慧型校園網路平台建設、智慧型教育入口網站運營等方面已取得了長足進展。公司被國家認定為高新技術企業和軟體企業。公司設在中科院成都計算機研究所研發基地的自動推理實驗室先後承擔了國家863和973項目任務，並被列入國家重點扶持的知識創新工程。
2000年8月30日，公司正式推出中國第一套智慧型教育軟體——雙全智慧型教育軟體，填補了國內該領域的空白，這標誌著“用電腦來解決數理化證明問題”這一被全球科學家所公認的世界性難題不僅在理論研究上取得了重大突破，而且開始進入了套用領域。
雙全智慧型教育軟體是為初、高中學生提供全方位電子教學服務的智慧型型軟體。這套軟體是在“幾何定理機器證明”理論這一世界領先理論的基礎研製開發出來的，具有動態作圖、自動推理、人機互動、智慧型解題等多項強大的功能。
科技成果
2001年9月，《雙全智慧型教育軟體》被列入“國家級火炬計畫”。教育部把該套軟體列入“全國中國小教學用書推薦目錄”和“中國小教育軟體（資源）推薦目錄”。科技部等五個國家部委聯合授予雙全智慧型教育軟體“國家級重點新產品”證書。鑒於“雙全智慧型教育軟體”所擁有的世界領先技術和出色的套用效果，中國軟體行業協會連續3年把雙全智慧型教育軟體列入推薦名單，並於2003年授予雙全軟體最高軟體評選資質—“中國優秀軟體產品”。該產品所獨有的“人機互動、智慧型解題”功能，極大地培養了學生自主創新能力，對我國素質教育的開展有極大的推動作用。
雙全科技將繼續運用國際領先的智慧型推理技術，投身於信息化教育、網路化教育和素質化教育的建設中，從而為中國廣大學生提供先進、實用的教學服務，加速中國智慧型教育產業的發展。
