书目详细信息 : 方程组解的可信计算