北京雙全天地科技發展有限公司

作為中國智能教育軟件領域的拓荒者，公司彙集了國內從事智能推理技術領域的一流人才，公司視人才為企業競爭力源泉，根據發展戰略與競爭的要求不斷開發員工的核心技能與專長。雙全堅持以宏大事業感召人，優厚待遇吸引人、卓越文化凝聚人，搭建平台成就人，使員工始終處於激活狀態。雙全科技將逐步構築以人力資本為基礎、產業資本為紐帶；以智能推理技術為拓展出發點的智能教育產業羣落，實現價值鏈的延伸。

雙全科技堅信“教育改變人生、科技創造價值”，雙全人專注於智能推理、機器證明等高新技術與傳統教育形式的融合與創新，雙全人希望在信息時代通過當代高新技術與傳統教育的完美結合真正實現先哲“有教育無類”的理想。

幾年來，雙全科技在智能教育軟件開發、交互式智能校園網絡平台建設、智能教育門户網站運營等方面已取得了長足進展。公司被國家認定為高新技術企業和軟件企業。公司設在中科院成都計算機研究所研發基地的自動推理實驗室先後承擔了國家863和973項目任務，並被列入國家重點扶持的知識創新工程。

2000年8月30日，公司正式推出中國第一套智能教育軟件——雙全智能教育軟件，填補了國內該領域的空白，這標誌着“用電腦來解決數理化證明問題”這一被全球科學家所公認的世界性難題不僅在理論研究上取得了重大突破，而且開始進入了應用領域。

雙全智能教育軟件是為初、高中學生提供全方位電子教學服務的智能型軟件。這套軟件是在“幾何定理機器證明”理論這一世界領先理論的基礎研製開發出來的，具有動態作圖、自動推理、人機交互、智能解題等多項強大的功能。

2001年9月，《雙全智能教育軟件》被列入“國家級火炬計劃”。教育部把該套軟件列入“全國中小學教學用書推薦目錄”和“中小學教育軟件（資源）推薦目錄”。科技部等五個國家部委聯合授予雙全智能教育軟件“國家級重點新產品”證書。鑑於“雙全智能教育軟件”所擁有的世界領先技術和出色的應用效果，中國軟件行業協會連續3年把雙全智能教育軟件列入推薦名單，並於2003年授予雙全軟件最高軟件評選資質—“中國優秀軟件產品”。該產品所獨有的“人機交互、智能解題”功能，極大地培養了學生自主創新能力，對我國素質教育的開展有極大的推動作用。

雙全科技將繼續運用國際領先的智能推理技術，投身於信息化教育、網絡化教育和素質化教育的建設中，從而為中國廣大學生提供先進、實用的教學服務，加速中國智能教育產業的發展。