第一章 計算機代數
......引論
......數據錶示及基本運算
......同態與中國剩餘定理
......多項式的最大公因子
......多項式的因子分解
第二章 幾何定理機器證明
......引論
......吳方法
......應用舉例
......幾何代數法
......例證法
第三章 計算實代數幾何
......實閉域
......多項式實根個數的判定
......多項式的實根隔離算法
......柱形代數分解
......常係數半代數係統的實根隔離
......不等式的機器證明
......參係數半代數係統的實解分類
第四章 幾何造型中的代數計算
......麯綫與麯麵的錶示
......有理麯綫與麯麵的隱式化
......代數麯綫與麯麵的參數化
......交點與交綫、等距綫與等距麵
......代數麯麵的拼接
第五章 微分、積分和微分方程求解
......符號微分
......符號積分
......有理函數的積分算法
......常微分方程的符號解
......非綫性發展方程的孤立波解
......孤立波解的雙麯正切函數展開法
第六章 符號與數值混閤計算
......引論
......概念與記號
......良性近似問題
......病態近似問題
......研究問題及軟件
· · · · · · (收起)