Automated Deduction in Geometry: Third InternationalWorkshop, ADG 2000 Zurich, Switzerland, September 25–27, 2000 Revised Papers
Christoph M. Hoffmann, Bo Yuan (auth.), Jürgen Richter-Gebert, Dongming Wang (eds.)
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.
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.
Категории:
Год:
2001
Издание:
1
Издательство:
Springer-Verlag Berlin Heidelberg
Язык:
english
Страницы:
328
ISBN 10:
3540425985
Серия:
Lecture Notes in Computer Science 2061 : Lecture Notes in Artificial Intelligence
Файл:
PDF, 2.01 MB
IPFS:
,
english, 2001