Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich,

商家名称	信用等级	购买信息	订购本书
		Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich,
		Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich,

基本信息·出版社：Springer; 1 edition
·页码：325 页
·出版日期：2001年10月
·ISBN：3540425985
·条形码：9783540425984
·版本：1
·装帧：平装
·开本：16开 Pages Per Sheet
·丛书名：Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
·外文书名：几何学中的自动演绎

内容简介 在线阅读本书

Book Description
This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Automated Deduction in Geometry, ADG 2000, held in Zurich, Switzerland, in September 2000.

The 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. Among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semi-algebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs.

Book Dimension
length: (cm)23.3 　　　 　　　　　 　　　　　 width:(cm)14.5

查看更多 下一篇