数理逻辑与机器证明

工业机器人误差分析

王者之路 机器证明及其应用

空间几何建模及工程应用

本书主要介绍空间几何建模及其在机械工程、控制工程和土木工程中的应用，是紧跟当前科学技术快速发展的需要而编写的。第一章到第四章是空间几何建模，第五、六章为机构啮合基础理论，第八章为常用平面啮合，第九章...

丘成桐大学生数学竞赛试题及解答 2010-2013

丘成桐大学生数学竞赛由著名数学家、微分几何大师丘成桐先生于2010年创办，竞赛旨在提高中国数学本科生的专业水平，使其数学知识面更广，基础更牢。竞赛分为代数与数论、分析与微分方程、应用数学与计算数学、几...

工程数学复变函数积分变换 第4版 同步辅导及习题全解

本书是根据多年的教学经验编写的，与西安交通大学高等数学教研室编的《复变函数》(第四版)以及东南大学数学系张元林编写的《积分变换》（第四版）相配套的辅导用书。本书通过详细的解题过程、独特而华丽的技巧、...

大学物理学习指导及自测

本书是根据国家教育部物理课程指导委员会制定的《工科大学物理课程基本要求》精神而编写的学习指导和自测练习用书。作为课堂教学的补充，供学生复习和准备考试之用。内容包括力学、相对论、机械振动、机械波...

沈阳师范大学学术文库系列丛书 时间序列模型及预测

本书主要介绍时间序列分析的理论和方法。既涵盖了时间序列分析的经典理论内容，又反映了二十一世纪以来时间序列分析理论的最新进展和最新方法。主要内容有：经典的时间序列分析理论及相关内容、基于计算智能的...

平面几何定理的机器证明

数学机器简明教程