Automated Deduction in Geometry 在线电子书 图书标签:
发表于2024-11-09
Automated Deduction in Geometry 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
在线阅读本书
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.
length: (cm)23.3 width:(cm)14.5
评分
评分
评分
评分
Automated Deduction in Geometry 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024