-
科学出版社
- 9787030823373
-
66273336-9
-
2025-12
-
理学
-
数学类
-
数学类
-
本科
内容简介
本书以本科阶段高等代数的知识为起点,以易教易学为写作原则,讲述了计算代数的三部分内容:有限域和有理数域上的一元多项式的因式分解算法;Gr?bner基的基本理论及其在理想的运算和多项式方程组求解中的应用;吴文俊先生的特征列方法及平面几何定理的机器证明理论。在展开计算代数的理论的同时也讲述了传统的域论知识,以及代数零点集理论、Hilbert基定理、Hilbert零点定理等重要的现代数学的知识。