This book constitutes the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Automated Deduction in Geometry, ADG 2010, held in Munich, Germany in July 2010. The 13 revised full papers presented were carefully selected during two rounds of reviewing and improvement from the lectures given at the workshop. Topics addressed by the papers are incidence geometry using some kind of combinatoric argument; computer algebra; software implementation; as well as logic and proof assistants.
€51.16
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● صفحات 259 ● ISBN 9783642250705 ● محرر Pascal Schreck & Julien Narboux ● الناشر Springer Berlin ● مدينة Heidelberg ● بلد DE ● نشرت 2011 ● للتحميل 24 الشهور ● دقة EUR ● هوية شخصية 2247454 ● حماية النسخ Adobe DRM
يتطلب قارئ الكتاب الاليكتروني قادرة DRM
المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر
16٬598 كتب إلكترونية في هذه الفئة
