幾何定理機器證明理論與算法的新進展

1995年

應用技術

成果簡介

該項成果的突出特點在于：
1、提出“消點思想”以幾何新方法為工具給出了世界上第一個能夠自動生成產生幾何定理的可讀證明的算法和程度；
2、提出“數值并行法”，其核心思想是用數值計算代替符號計算以減少計算機內存消耗，實現了用低檔袖珍微機（如PB700），證明非平凡幾何定量以及發現新定理，創立了幾何定理判定的數值并行法第一個通用軟件《L類幾何定理自動證明機...

相關成果

1. q-級數與機器證明
2. 機器人智能控制理論與算法
3. 定理機器證明與自動推理的研究
4. q-特殊函數的機器證明與計算方法研究
5. 視覺計算理論與算法研究
6. 全局優化理論與算法
7. 電路與系統理論的新進展
8. 無網格方法的理論與算法
9. 并行處理的理論/算法與結構
10. 多源數據融合的理論、算法與應用
12. 三維水波理論與算法
13. 最優化理論，算法與應用
14. 機器學習高效算法的研究
15. 寬帶無線通信的理論與算法研究
16. 網絡設計中的組合優化理論、方法與算法
17. 聚類算法中的參數選擇理論
18. 回歸估計理論相合性問題的新進展
19. 集成物流管理的優化理論、模型與算法
20. 關于Erdos猜想的證明

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

幾何定理機器證明理論與算法的新進展

標簽云

猜您想要的成果

相關專家

相關機構


	選擇導出文檔的格式關閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關閉發送短信成功


	提示信息關閉發送短信失敗


	提示信息關閉發送郵件失敗


	提示信息關閉郵件發送成功