機械化定理(mechanical theorem)斷言某類命題可機械化判定的定理.關於一門學科的某一部分定理具有機器證明方法的斷言如果成立，便稱為相對於這一學科部分的機械化定理，也稱為這一學科部分是可以機械化的，如歐氏無序幾何是可以機械化的.
機械化定理(mechanical theorem)斷言某類命題可機械化判定的定理.關於一門學科的某一部分定理具有機器證明方法的斷言如果成立，便稱為相對於這一學科部分的機械化定理...
如何利用計算機進行自動推理，特別是進行幾何定理的自動證明，是學術界長期研究的課題。所謂定理的機械化證明，就是對一類定理（這類定理可能成千上萬）提供一種統一...
前兩章是關於幾何機械化的預備知識，集中介紹了常用幾何；後四章致力於幾何的機械化問題。第3章為幾何定理證明的機械化與Hilben機械化定理，第4，5章分別為（常用...
全書共分六章：前兩章是關於幾何機械化的預備知識，集中介紹了常用幾何；後四章致力於幾何的機械化問題。第三章為幾何定理證明的機械化與Hilbert機械化定理，第四...
前兩章是關於幾何機械化的預備知識，集中介紹了常用幾何；後四章致力於幾何的機械化問題。第3章為幾何定理證明的機械化與Hilbert機械化定理，第4，5章分別為（常用...
數學的機械化 幾何定理的機器證明 數學的機械化問題 數學中的公理化與機械化思想 幾何定理機器證明 初等幾何判定問題與機械化證明 幾何學機械化方法及其套用 數學的...
前兩章是關於幾何機械化的預備知識，集中介紹了常用幾何；後四章致力於幾何的機械化問題。第3章為幾何定理證明的機械化與Hilbert機械化定理，第4，5章分別為（常用...
本卷收錄了吳文俊在數學機械化領域發表的46篇論文，內容包括：幾何定理機器證明的吳方法、多項式系統符號求解的Ritt-吳特徵列方法、構造性微分代數幾何理論、不等式機器...
本書共分六章，前兩章是關於幾何機械化的預備知識，集中介紹了常用幾何；後四章致力於幾何的機械化問題。第3章為幾何定理證明的機械化與Hilben機械化定理，第4、...
大家熟悉的《摩登時代》影片中，卓別林高超的演技為我們活靈活現地展現出資本主義初期，流水線等機械化設備得到了廣泛運用，為提高生產率，工人被訓練為標準化作業，...
"數學機械化"是我國數學家吳文俊先生在七十年代末開始倡導的一個研究領域，是腦力勞動機械化在數學科學的學術實踐。數學機械化思想繼承了中國古代數學的傳統，它的...
機械化養蜂車是以定型汽車底盤改裝的各種類型養蜂汽車和養蜂半掛汽車列車。機械化養蜂車簡介 1．養蜂汽車 2．養蜂半掛汽車列車 裝置有能裝載蜜蜂箱、養蜂機具的貨箱...
希爾伯特模式(Hilbert mode)亦稱希爾伯特機械化定理.論證幾何問題的一種模式.它出現於希爾伯特(Hilbert , D.)的名著《幾何基礎》第六章之末.原敘述為:“設一種...
機械化進程 來自美國哈佛大學工程與套用科學學院的研究人員和哈佛大學生物工程研究所聯合公布了一項最新的研究，這項最新的研究成果就是一群具有自我組織能力的Termes...
為此，笛卡爾發明了坐標系；萊布尼茲構想過推理機器；希爾伯特在其名著（幾何基礎）中給出了一類幾何命題的機械化定理。電子計算機的出現推動了數學機械化。50年代，...