基于移動互聯(lián)網(wǎng)的幾何證明系統(tǒng)的研究與實現(xiàn).pdf

1、幾何證明系統(tǒng)是一類強大的幾何教學(xué)輔助系統(tǒng)，在幾何教育應(yīng)用中有著舉足輕重的地位。目前成功的幾何證明系統(tǒng)有MathXP、Z+Z智能教育平臺和Geometry Explorer等，由于它們運行在傳統(tǒng)PC之上，無法滿足用戶隨時隨地的應(yīng)用需求。隨著移動互聯(lián)網(wǎng)的發(fā)展，便攜智能終端價格的降低以及處理能力的增強，使得實現(xiàn)一款能夠運行于便攜智能設(shè)備的幾何證明系統(tǒng)成為可能。本文以研究幾何定理自動證明為基礎(chǔ)，結(jié)合幾何命題的構(gòu)造輸入方法，使用目前流行的移動開發(fā)

2、技術(shù)實現(xiàn)了一款基于移動互聯(lián)網(wǎng)的幾何證明系統(tǒng)。
　　本研究主要內(nèi)容包括：⑴研究幾何命題的描述與輸入方法。介紹了使用一階邏輯的幾何命題謂詞描述形式，并介紹了幾何命題的謂詞形式和構(gòu)造形式的輸入方法。在分析和研究兩種輸入方法的基礎(chǔ)上，結(jié)合面向?qū)ο蟮脑O(shè)計思想，提出一種面向?qū)ο蟮男问交}構(gòu)造輸入方法。⑵研究幾何定理自動證明，探索定理自動證明在移動互聯(lián)網(wǎng)上的應(yīng)用方式。研究基于規(guī)則的前推搜索法的幾何定理證明算法，分析了定理證明系統(tǒng)的實現(xiàn)過程，并