コンピュータ代数の良書はありますか?
一応MAXIMAのソースを読んだりはしているのですが、理論的な側面を身につけたいと思っております。