數學機械化研究的興趣,是當代數學科學發展的趨勢。本書分五章係統地、深入淺齣地介紹瞭吳文俊先生在機械化數學研究中的學術創造,包括代數方程組求解和數學定理機器證明的基本原理和方法。書中還介紹瞭若乾實例,以加深對這些原理和方法的理解。
本書以教材的形式編寫,可做為大學數學第高年級及研究生的教材,也是有關科學工作者較適宜的參考書。
發表於2024-12-24
機械化數學引論 2024 pdf epub mobi 電子書 下載
圖書標籤: 數學
機械化數學引論 2024 pdf epub mobi 電子書 下載