计算代数圣经.有助于理解像Mathemetica等计算代数系统实现细节.