相關詞條
-
自動定理證明
自動定理證明是人工智慧研究領域中的一個非常重要的課題，其任務是對數學中提出的定理或猜想尋找一種證明或反證的方法。因此，智慧型系統不僅需要具有根據假設進行演...
發展歷史 證明系統 模型 證明技術 歸結定理證明 -
幾何新方法和新體系
幾何新方法和新體系，作者，張景中，由科學出版社於2009-8-1出版。
內容簡介 作者簡介 圖書目錄 -
吳文俊
，但於刊印時被刪去。1978年發表微分幾何定理的機械化證明，在全國自然辯證法講習...微分幾何的定理機械化證明”。1981年秋去美國加州大學Berkeley...Catania大學，參加數學自動推理國際會議1987年10月訪問加拿大，參加國際...
個人簡介 工作經歷 社會活動 獎勵情況 主要工作 -
數學機械化
計算機進行自動推理，特別是進行幾何定理的自動證明，是學術界長期研究的課題...方法”也可用於幾何定理的自動發現和未知關係的自動推導。吳文俊先生的開創性成果，打破了國際自動推理界在幾何定理自動證明研究中長期徘徊不前的局面...
基本定義 研究人員 數學 理論基礎 幾何學 -
吳在淵
國外數學著作。吳在淵翻譯的主要著作有《幾何原本》13卷（未完）、《近世幾何學》、《幾何作圖題解法及原理》、《代數方程式入門》、《微分方程式》（兩種...代數學》與《新中學初等幾何學》（1924）。此外，他還發表了大量初等數學...
個人簡介 青少時期 教師生涯 自編教材 翻譯著作 -
《電腦史話》
）。 ●2004年5月，經公示後，被授予“湖北省政府研究系統先進工作者”榮譽稱號...
-
吳文俊[著名數學家、中國科學院院士]
舉辦雙微會議，在首次會議上做報告“初等幾何和微分幾何的定理機械化證明...中學，這才是他正規讀書生涯的開始。吳文俊高中畢業時，其實興趣在物理而不在...，先後在育英中學、培真中學、南洋模範女中、之江大學教書；期間曾失業半年...
人物生平 主要成就 社會兼職 獲獎情況 人物影響 -
《上帝擲骰子嗎》
物理學發展的歷史過程... [color=red]相信只要有中學程度的物理...開關。頓時，電的魔力開始在這個簡單的系統里展現出來：無形的電流穿過裝置里...擊穿，然後整個系統就會形成一個高頻的振盪迴路（LC迴路），但是，他現在...
《上帝擲骰子嗎》 序 第一章 黃金時代 第二章 烏雲 第三章 火流星 -
洪加威
。在數學上，要否定一個幾何定理，找出一個反倒就夠了，但是要證明一個幾何定理...，如果這個例子在誤差範圍內正確，這個幾何定理就被證明了。否則定理不成立。這是...又被分回原單位系統工作，卓有成效的研究又被迫中斷。主要成就他的過人之處...
初露才華 種種考驗 XY語言的研製 走向世界 新的想法 -
張景中
的研究，使幾何定理可讀證明的自動生成這個多年來進展甚小的難題得到突破。（二）創立計算機生成幾何定理可讀證明的原理和算法，這項成果被權威學者認為是使計算機能像處理算術一樣處理幾何工作的“里程碑”。（三）創立定理機器證明...
人物履歷 科研成就 教學成就 科普創作 創作經驗
