计算机代数是研究符号计算的算法设计、理论分析和计算机实现的学科。本书介绍计算机代数的基本知识、算法及其理论依据。主要内容包括数据的表示与基本运算、结式与子结式、整系数多项式的模算法、特征列方法、Grobner基方法、实系数多项式的根、实闭域上的量词消去以及形式积分等。本书侧重陈述经典方法,并采用通俗的语言解说算法的数学理论。
无
脑科学研究是全世界科学研究的热点，其中癫痫是我国乃至全球人口健康领域正在面临的重大挑战。由于发作种类繁多、诱因复杂、生理机制至今尚不明确，即便现在有发展前景的神经调控治疗也无法彻底治愈。因此人们对癫痫的认识还需要医学、神经科学、生物学、数学、力学等学科的交叉研究和共同参与。 作者与国内外著名医学院、国际一流癫痫神经外科医生合作，基于真实的临床医学数据或者电生理实验现象以及医学相关报道，借鉴、修正、构建符合生理特性的癫痫功能网络模型，采用动力学与控制分析手段，从分子细胞水平或者系统回路水平解释癫痫的发病原理从而指导临床干预，辅助实现从 对病治疗 提升为 对症治疗 。
本书的*特点是，除收录了古尔德《亚洲鸟类》当中的鸟类图谱之外，还首次引进翻译了原书当中的20余万字的观察笔记。阅读时，除了欣赏到精妙绝伦的鸟类彩图之外，还能欣赏到古尔德观察入微的细致描写，鸟类的生活习性、迁徙路线、繁殖特点、被羽的具体特征等等，再辅以鸟类的中文名、英文名、学名以及生态类群、科、属、种名称等详尽资料，让鸟类图谱升级变成一本深入了解鸟类知识，学习自然观察的伟大工具书，既适合带到户外亲身体验，也能够把你带到令人神往的荒野户外。
本书简要介绍了计算机代数系统 Maple软件的技术特征,并以该软件为基础,给出了 Maple语言在水文学领域几个常见方向(如降水与蒸发、地表水及流域产汇流、地下水问题、水文统计与水文预报、水污染及水质模型与同位素水文)中的应用。针对每个方向,各章都简要介绍了其中的基本概念并列举了典型问题,给出了解决这些问题的基本流程图、相应的 Maple程序源代码和函数,以及程序运行的结果截图。 本书适合有初步编程常识和基本水文背景的读者阅读,也可以作为水文专业本科生和研究生的辅助教材及教学参考用书。同时,本书可以帮助水文工作者和研究人员快速实现计算机代数系统在水文学研究中的应用,从而减轻数学计算特别是符号计算的繁重负担。
本书全面介绍平面非光滑系统全局动力学分析的Me1nikov方法及应用。本书主要包括:平面非光滑系统同宿轨道和次谐轨道的Me1nikov方法，平面非光滑混合系统同宿轨道和异宿轨道的Me1nikov方法，平面双边刚性约束非线性碰撞系统全局动力学的Me1nikov方法和平面非光滑振子的混沌抑制等。本书发展的解析分析方法具有几何直观、Me1nikov函数形式简单、易于工程应用的特点。本书通过与光滑系统的Me1nikov方法的比较，展示了为突破系统非光滑而引入的新概念和摄动技术，通过多个实例验证了发展的Me1nikov方法在平面非光滑非自治系统全局动力学分析及混沌抑制中的有效性，极大地丰富了非光滑系统全局动力学的分析方法，可以引导读者尽快进入本领域的前沿。
本书内容分为三部分：(1)?线性回归分析所需要的矩阵理论、多元正态分布；(2)?线性回归的基本理论和方法，包括线性估计的一般小样本理论、关于线性假设的?F-检验方法、基于线性模型的方差分析理论、变量选择问题的讨论、共线性问题、异常值问题以及?Box-Cox?模型等与线性回归相关的内容；(3)?用于分类响应变量的Logist回归模型的基本理论和方法。本书要求读者具有高等代数(或者线性代数)和概率论与数理统计的良好基础。本书的特点之一是在尽可能少的基础知识要求下讲清线性回归分析的理论问题，同时，本书也附带了一些SAS代码，这将有助于实际应用中的数据处理。本书可供统计学专业、数学专业或者其他相关专业作为本科生回归分析课程教材使用，也可作为非统计学专业的研究人员学习回归分析基础理论的参考书使用。
本书共6章，内容包括绪论，基础理论，扩展有限元法的基本框架，局部网格替代的扩展有限元法，相互作用积分法，LMR-XFEM在线弹性断裂力学中的应用。书后还附有相关资料供读者参考。 本书将理论与实际运算相结合，具有较强的实用性和针对性，可供从事有限元、扩展有限元程序编制和二次开发的研究人员，以及机械、土木、矿业、航空航天工程技术人员和管理人员参考，也可供高等学校力学、土木、矿业和航空航天及相关专业师生参阅。
本书共6章，内容包括绪论，基础理论，扩展有限元法的基本框架，局部网格替代的扩展有限元法，相互作用积分法，LMR-XFEM在线弹性断裂力学中的应用。书后还附有相关资料供读者参考。 本书将理论与实际运算相结合，具有较强的实用性和针对性，可供从事有限元、扩展有限元程序编制和二次开发的研究人员，以及机械、土木、矿业、航空航天工程技术人员和管理人员参考，也可供高等学校力学、土木、矿业和航空航天及相关专业师生参阅。
本书共6章，内容包括绪论，基础理论，扩展有限元法的基本框架，局部网格替代的扩展有限元法，相互作用积分法，LMR-XFEM在线弹性断裂力学中的应用。书后还附有相关资料供读者参考。 本书将理论与实际运算相结合，具有较强的实用性和针对性，可供从事有限元、扩展有限元程序编制和二次开发的研究人员，以及机械、土木、矿业、航空航天工程技术人员和管理人员参考，也可供高等学校力学、土木、矿业和航空航天及相关专业师生参阅。
本书从经典的稀疏表示模型入手，构建了反投影稀疏表示模型。首先从理论上探讨了该模型的可行性和稳定性；然后基于实际问题，结合先验信息对表示模型添加不同的正则项约束，进而采用合适的优化算法完成模型的快速求解，并分析了相应的收敛性，同时也构建了一套量化指标，用于客观地衡量稀疏表示模型的性能； 给出了在人脸识别和基因识别等方面的具体应用。 本书涉及的内容及讨论的难度和深度适合高等院校数学、信息科学、计算机科学与技术、控制科学与工程、电子科学与技术等领域的研究人员，可以为相关专业高年级本科生及研究生提供参考，同时可供模式识别、数学建模及优化求解相关领域的研究人员和工程技术人员参考。
本书从经典的稀疏表示模型入手，构建了反投影稀疏表示模型。首先从理论上探讨了该模型的可行性和稳定性；然后基于实际问题，结合先验信息对表示模型添加不同的正则项约束，进而采用合适的优化算法完成模型的快速求解，并分析了相应的收敛性，同时也构建了一套量化指标，用于客观地衡量稀疏表示模型的性能； 给出了在人脸识别和基因识别等方面的具体应用。 本书涉及的内容及讨论的难度和深度适合高等院校数学、信息科学、计算机科学与技术、控制科学与工程、电子科学与技术等领域的研究人员，可以为相关专业高年级本科生及研究生提供参考，同时可供模式识别、数学建模及优化求解相关领域的研究人员和工程技术人员参考。
