【预订】Computer Algebra and Geometric Algebra with Applications 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540262961 Author 作者 Li Format 版本 平装-胶订 Pages Number 页数 449页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-06-21 Language 语种 英语 Book Contents 内容简介 MathematicsMechanization consistsoftheory,softwareandapplicationofc- puterized mathematical activities such as computing, reasoning and discovering. ItsuniquefeaturecanbesuccinctlydescribedasAAA(Algebraization,Algori- mization, Application). The name “Mathematics Mechanization” has its origin in the work of Hao Wang (1960s), one of the pioneers in using computers to do research in mathematics, particularly in automated theorem proving. Since the 1970s, this research direction has been actively pursued and extensively dev- oped by Prof. Wen-tsun Wu and his followers. It diers from the closely related disciplines like Computer Mathematics, Symbolic Computation and Autom
¥608.00
预订 Computer Algebra and Geometric Algebra with Applications 【全球购】进口原版图书，一般5-8周左右到国内
¥648.00
海外直订Computer Algebra and Geometric Algebra with Applications
¥553.00
Computer Algebra and Geometric Algebra with Applications 计算机
¥596.60
