數學機械化研究的興趣，是當代數學科學發展的趨勢。本書分五章係統地、深入淺齣地介紹瞭吳文俊先生在機械化數學研究中的學術創造，包括代數方程組求解和數學定理機器證明的基本原理和方法。書中還介紹瞭若乾實例，以加深對這些原理和方法的理解。
本書以教材的形式編寫，可做為大學數學第高年級及研究生的教材，也是有關科學工作者較適宜的參考書。
具體描述
讀後感
評分
評分
評分
評分
評分
用戶評價
评分
评分
评分
评分
评分
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有