杨路,夏壁灿著2008 年出版226 页ISBN:9787030207210
本书主要介绍作者及其合作者近10年来在不等式机器证明与自动发现方面的工作,兼顾经典结果和方法。全书共分七章,分别介绍和论述:多项式的伪除与结式;相对单纯分解;多项式的实根;常系数半代数系统的实解隔离;参......
王东明,夏壁灿编著2004 年出版235 页ISBN:7302089434
本书用8章的篇幅介绍了计算机代数的基本概念、基本方法、部分应用及数学软件。内容上侧重于基础知识、经典结果和著名算法,但也包含少量最新研究成果。...
王东明,夏壁灿,李子明编著2007 年出版261 页ISBN:730215919X
本书用8章的篇幅介绍了计算机代数的基本概念、基本方法、部分应用及数学软件。内容上侧重于基础知识、经典结果和著名算法,但也包含少量最新研究成果。...
(唐)陆羽,(清)陆廷灿著;彭书淮编译2007 年出版295 页ISBN:780158872X
本书是系列丛书国学今读大书院的一种。以原文、翻译、并配以故事和插图的形式,对世界上第一部茶叶专著《茶经》的内容进行了介绍。