《幾何定理計算機證明》主要內容包括:為推進高等師範院校數學係課程改革的現代化進程中,開設更多的現代課程來體現高等師範院校數學係的特色。多年來,作者經過3年的教學實驗,修改成《幾何定理計算機證明》一書。將我國數學傢在幾何定理機器證明的研究領域所取得的最新成果總結成這本適閤高等院校數學係的新教材,這是作者一次新的嘗試,這對我國高等教育麵嚮現代化必將起到推進作用。
發表於2024-08-22
幾何定理計算機證明 2024 pdf epub mobi 電子書 下載
圖書標籤: 數學 教育
幾何定理計算機證明 2024 pdf epub mobi 電子書 下載