本书介绍了代数几何的算法工具及其实验应用。它还介绍了一个软件系统，其中已实现了工具并可以执行实验。