技術編號：6459120
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。定理發現系統本發明名稱為定理發現系統(或數學模型設計系統)定理發現系統是一種能發現數學定理并且可以設計數學模型的系統.本系統具有幫助 人們設計公理系統并從他們所設計的公理系統中求取定理的能力.其特征包括"測試人們 所定義的公理系統合理性的能力"，"幫助人們從所定義的公理系統中求取定理的能力"和 "幫助人們發現新型數學的能力".這是一種邦助數學愛好者設計自己的數學模型的裝置. 附圖說明圖1為本發明的總框圖本發明有三大功能，艮P1. 測試公理系統合理性的能力；...
注意：該技術已申請專利，請尊重研發人員的辛勤研發付出，在未取得專利權人授權前，僅供技術研究參考不得用于商業用途。
該專利適合技術人員進行技術研發參考以及查看自身技術是否侵權，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。