EAN: 9783642406713

AUTOMATED DEDUCTION IN GEOMETRY KARTONIERT (TB)

This book constitutes the thoroughly refereed post-workshop proceedings of the 9th
International Workshop on Automated Deduction in Geometry  ADG 2012  held in Edinburgh  UK  in
September 2012. The 10 revised full papers presented together with 2 invited papers were
carefully selected during two rounds of reviewing and improvement from the lectures given at
the workshop. The conference represents a forum to exchange ideas and views  to present
research results and progress  and to demonstrate software tools at the intersection between
geometry and automated deduction  the scope of the ADG 2012 moreover has been expanded to cover
topics in dynamic geometry.

Aktuelle Preise zur EAN 9783642406713

Produktinformationen zur 9783642406713