本书对非线性代数方程组符号求解方法与非线性最优化方法进行简单论述，讨论求解一元高次代数方程实根的定位算法和求代数数根界的算法;讨论多项式商环对偶空间的基的显示表示和最优化中的几个问题解的等价性;对对几何约束问题能产生较少的方程个数的理论和方法进行系统论述,结合非线性代数方程组符号求解方法与数值求解方的优势，系统地给出一个求解几何约束问题的完整算法，最后选取几个典型几何约束问题进行了详细求解。