问题求解

高等代数问题求解的多向思维

《高等代数问题求解的多向思维》,作者:张之正,刘麦学,张光辉 主编 出版社:科学出版社 ISBN:9787030633514。本书是作者结合多年给数学专业本科生进行高等代数考研辅导的有关内容,和长期的探索积累编著而成的。全书精选包括多项式、行列式、线性方程组、矩阵、二次型、线性空间、线性变换、λ-矩阵、欧几里得空间等内容的典型例题,给出多种证法或解法,反映高等代数各类知识点之间的有机联系,注重问题

方程求解与机器证明 : 基于MMP的问题求解

《方程求解与机器证明 : 基于MMP的问题求解》,作者:高小山[等]著 出版社:科学出版社 ISBN:7030178629。本书介绍了数学机械化软件平台MMP的基本功能与使用方法,通过MM平等运行实例介绍了数学机械化的基本理论与最新进展。