书籍列表

不等式机器证明与自动发现 封面
不等式机器证明与自动发现

作者：杨路，夏壁灿著
计算机代数 封面
计算机代数

作者：王东明，夏壁灿编著
计算机代数 封面
计算机代数

作者：王东明，夏壁灿，李子明编著
返回首页